Search alternatives:
"parallel programming" » "parallel processing"

421
by Troelsen, Andrew W.
Published 2010
Apress
Table of Contents: ... -- Multithreaded and Parallel Programming -- File I/O and Object Serialization -- ADO.NET Part I: The Connected...

422
Published 2015
Springer International Publishing
Table of Contents: ... Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...

423
Published 1982
Springer Berlin Heidelberg
Table of Contents: ... for nondeterministic, parallel programs -- A formalized proof system for total correctness of while programs...

424
by Skowron, Andrzej
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... approach -- A methodology for improving parallel programs by adding communications -- Extension of PDL...

425
by Troelsen, Andrew, Vrat Agarwal, Vidya
Published 2010
Apress
Table of Contents: ... -- Multithreaded and Parallel Programming -- File I/O and Object Serialization -- ADO.NET Part I: The Connected...

426
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... End-to-End Timeliness -- RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel...

427
Published 2014
Springer International Publishing
Table of Contents: ... an Mey, and Matthias S. Müller: Suitability of Performance Tools for OpenMP Task-parallel Programs...

428
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- First-Class Structures for Standard ML -- Constraint-Based Inter-Procedural Analysis of Parallel...

429
Published 1997
Springer Netherlands
Table of Contents: ... for Structured Parallel Programming -- Extending Data-Parallel Languages for Irregularly Structured Applications...

430
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...

431
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... for a PVM-Linux Environment -- Interoperability of OCM-Based On-Line Tools -- Parallel Program Model...

432
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Generic Approach to the Design of Simulation- Visualization Complexes -- On Parallel Programming Language...

433
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... derivations -- Automatic datadistribution -- Some synthesis aspects for data parallel programming -- Influence...

434
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum-Objective...

435
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...di_pSystem: A Parallel Programming System for Distributed Memory Architectures -- Parallel NLP...

436
Published 2018
Springer International Publishing
Table of Contents: ... Optimization in Processor Load Balancing for Distributed Programs -- Workshop on Language-Based Parallel...

437
Published 2023
Springer Nature Switzerland
... at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis...

438
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... -- The owner concept for PRAMs -- Actors as a parallel programming model -- Average case analysis...

439
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...Performance issues in parallel programming -- Combining Petri Nets and other formal methods...

440
by Logan, Martin
Published 2011
Manning Pub.
... for concurrent programming--a completely different way of tackling the problem of parallel programming from...