1
Udgivet 2010
Indholdsfortegnelse: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... -- Computer Aided Reconstruction and Motion Analysis of 3D Mitral Annulus -- Volumetric Analysis of the Heart...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
Få fuldtekst
Electronisk eBog
11
Udgivet 2005
Indholdsfortegnelse: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...
Få fuldtekst
Electronisk eBog
16
Udgivet 2007
Indholdsfortegnelse: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Boundary Between Service And Desktop Grids -- P2P-based Job Assignment For Public Resource Computing...
Få fuldtekst
Electronisk eBog
18
Udgivet 2015
Indholdsfortegnelse: ...-Free String Factorisations -- Towards the Effective Descriptive Set Theory -- On Computability...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Få fuldtekst
Electronisk eBog