1
Published 2013
Table of Contents: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
View full text
Electronic eBook
5
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
7
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Fault Injection Framework for Evaluating Multicore Systems -- Meeting Real-Time Requirements with Multi...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
View full text
Electronic eBook