1
Gepubliceerd in 2008
Inhoudsopgave: ... -- History-Independent Cuckoo Hashing -- Building a Collision-Resistant Compression Function from Non...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2007
Inhoudsopgave: ... Classification -- Design of Electronic Circuits Using a Divide-and-Conquer Approach -- Implementing Multi-VRC...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2014
Inhoudsopgave: ...-Dimensional Functions -- E. Herrholz, D. Lorenz, G. Teschke, and D. Trede: Sparsity and Compressed Sensing...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2013
Inhoudsopgave: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2005
Inhoudsopgave: ... and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2015
Inhoudsopgave: ..., Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2010
Inhoudsopgave: ... for XML Using g-String -- Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2008
Inhoudsopgave: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2010
Inhoudsopgave: ... Segmentation from Ultrasound Images Using Active Contour Model -- On the Power of Topological Kernel...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2005
Inhoudsopgave: ... -- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2008
Inhoudsopgave: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2010
Inhoudsopgave: ... on the Reduced-Round Compression Functions of Skein and BLAKE -- Public Key Cryptography -- Practical Algebraic...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... -- A QoE Fuzzy Routing Protocol for Wireless Mesh Networks -- Multimedia Sharing over the Internet from...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2010
Inhoudsopgave: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Volledige tekst
Elektronisch E-boek