Search alternatives:
"parallel programming" » "parallel processing"
Cover Image
Read Now

481
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... flow analysis for parallel program debugging -- ProHos-1 — A vector processor for the efficient...”
Cover Image
Read Now

482
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...: Programming Models -- Can Transactions Enhance Parallel Programs? -- Design and Use of htalib – A Library...”
Cover Image
Read Now

483
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Partial Derivative -- TAGED Approximations for Temporal Properties Model-Checking -- Verifying Parallel...”
Cover Image
Read Now

484
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- High-Level Parallel Programming of an Adaptive Mesh Application Using the Illinois Concert System...”
Cover Image
Read Now

485
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Cover Image
Read Now

486
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Conclusions -- 6.6 References -- 7 Extending the Techniques to Parallel Programs -- 7.1 Formal synthesis...”
Cover Image
Read Now

487
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- The LINPACK Benchmark: An explanation -- Cluster-partitioning approaches to mapping parallel programs onto a...”
Cover Image
Read Now

488
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming -- Tutorials -- Using MPI-2: A...”
Cover Image
Read Now

489
by Nagel, Christian
Published 2021
Wrox
Cover Image
Read Now

490
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Concurrent Semantics for a Simple Parallel Programming Language -- Specification Refinement with System F...”
Cover Image
Read Now

491
Published 1996
Springer US
Table of Contents: “...-Independent Parallel Programming Using the Divide-Andconquer Paradigm -- 7 Load Balancing and Data Locality...”
Cover Image
Read Now

492
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of parallel programs -- Design and implementation of multimedia environment for simulation -- TurboBrain: A...”
Cover Image
Read Now

493
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Parallel Programs in the Grid -- Implementations of a Service-Oriented Architecture on Top of Jini, JXTA...”
Cover Image
Read Now

494
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-Order Processes -- A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs...”
Cover Image
Read Now

495
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Directed Performance Model Construction for Parallel Programs -- A Method for Accurate High-Level...”
Cover Image
Read Now

496
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Parallel Programming Through a Data Balancing Service --...”
Cover Image
Read Now

497
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Programming Tools for MPI and PVM -- Application Recovery in Parallel Programming Environment -- IP...”
Cover Image
Read Now

498
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... analysis and automatic data distribution for a skeleton-based language -- Optimising data-parallel programs...”
Cover Image
Read Now

499
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... distribution -- Estimating cache performance for sequential and data parallel programs -- A bus arbitration...”
Cover Image
Read Now

500
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Engine for Genetic Parallel Programming -- Operator-Based Distance for Genetic Programming: Subtree...”