1
Publicat 2013
Taula de continguts: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obtenir text complet
Electrònic eBook
4
Publicat 2013
Taula de continguts: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Obtenir text complet
Electrònic eBook
6
Publicat 2015
Taula de continguts: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Obtenir text complet
Electrònic eBook
13
Publicat 2005
Taula de continguts: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obtenir text complet
Electrònic eBook
14
Publicat 2014
Taula de continguts: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Obtenir text complet
Electrònic eBook
17
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...
Obtenir text complet
Electrònic eBook