Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program fast » programs fast, program first, program master
fast https » east https, east http
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program fast » programs fast, program first, program master
fast https » east https, east http
1
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... of the Stream Cipher DECIM -- Block Ciphers -- On Feistel Structures Using a Diffusion Switching Mechanism...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Tam Metin Erişim
Elektronik
Ekitap
5
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2015
İçindekiler:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Algorithms -- Register Pressure in Software-Pipelined Loop Nests: Fast Computation and Impact on Architecture...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Schema Subtraction -- XML Modeling -- Fast Detection of Functional Dependencies in XML Data -- TP+Output...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Subcellular Localization -- Fast Target Set Reduction for Large-Scale Protein Function Prediction: A Multi...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Fairness-Free Periodic Scheduling with Vacations -- Online Bin Packing with Cardinality Constraints -- Fast...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...”Tam Metin Erişim
Elektronik
Ekitap



