1
Publicat 2005
Taula de continguts: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ... to IP Core-Based Embedded System Chips -- Performance of Keyword Connection Algorithm in Nested Mobility...
Obtenir text complet
Electrònic eBook
5
Publicat 2015
Taula de continguts: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
Obtenir text complet
Electrònic eBook
6
Publicat 2007
Taula de continguts: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Obtenir text complet
Electrònic eBook
7
Publicat 2007
Taula de continguts: ... -- Block-Based Approach to Solving Linear Systems -- Numerical Tests with Gauss-Type Nested Implicit Runge...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Obtenir text complet
Electrònic eBook
9
Publicat 2012
Taula de continguts: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... Optimization -- Nested Space Mapping Technique for Design and Optimization of Complex Microwave Structures...
Obtenir text complet
Electrònic eBook
11
Publicat 2014
Taula de continguts: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
Obtenir text complet
Electrònic eBook