1
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
2
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
3
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
4
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Environment -- Empirical Study on Knowledge Management’s Effect on Organizational Effectiveness -- Calculation...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... -- Density Functional Molecular Orbital Calculations on Longer DNA–DNA and PNA–DNA Double Strands -- A...
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 2014
Table of Contents: ... -- Analysis of Geometrical Force Calculation Algorithms for Cable-Driven Parallel Robots with a Threefold...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...
View full text
Electronic eBook