1
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
4
.... This was in parallel with initial improvement in MRCSS and mRS, observed among 88.9% and 77.8% of the patients...
View full text
Article
5
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...-Parallel Algorithms for 1-Dimensional Fast Fourier Transform -- Towards Solving NP-Complete Problems...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Multiscale Flows – Towards the Petascale Generation of Mesoscale Numerical Weather Prediction -- Parallel...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment...
View full text
Electronic eBook
16
by Arapura, Donu., Arapura, Donu.
Published 2012
Table of Contents: ... -- 8. The Hodge Theorem for Riemann Manifolds -- 9. Toward Hodge Theory for Complex Manifolds -- 10...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... and Recommendations -- Toward Social Health for a Global Community.-Parallel Global Processes: Fragmentation of Human...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- Formations of Energy: modelling toward an understanding of open thermodynamic systems -- Thinking Massively...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...Towards Integrative Functional Genomics Using Yeast as a Reference Model -- Metabolomics...
View full text
Electronic eBook