1
Udgivet 2010
Indholdsfortegnelse: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Få fuldtekst
Electronisk eBog
12
Indholdsfortegnelse: ... -- Graphics, Multimedia, and Printing -- Database Access -- Networking -- Security and Cryptography...
Få fuldtekst
Electronisk eBog
13
Udgivet 2015
Indholdsfortegnelse: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Få fuldtekst
Electronisk eBog
15
Udgivet 2014
Indholdsfortegnelse: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Få fuldtekst
Electronisk eBog
17
Udgivet 2015
Indholdsfortegnelse: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... Salesman Problem -- Improved Inapproximability for Submodular Maximization -- Approximation Algorithms...
Få fuldtekst
Electronisk eBog