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

581
by Shields, Michael W.
Published 1997
Springer London
Table of Contents: ... Transition System Semantics for General -- Nets -- 23.4. Hybrid Transition System Semantics for Parallel...

582
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Clusters -- Detecting Unaffected Message Races in Parallel Programs -- A Combined Technique of Non-uniform...

583
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Finance Applications on the Open Grid Service Environment -- Localized Communications of Data Parallel...

584
Published 2011
Springer Berlin Heidelberg
...R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational...

585
by Feijen, W.H.J., Gasteren, A.J.M. van
Published 1999
Springer New York
... largely unexplored, namely the question of how to design parallel programs from their specification...

586
by Gebali, Fayez
Published 2011
Wiley
... using today's software parallel program development tools. The tools need manual intervention...

587
Published 2019
Springer International Publishing
... difficult. A number of tools addressing parallel program development and analysis has emerged from the high...

588
by Czech, Zbigniew J.
Published 2016
Cambridge University Press
..., and standards for parallel program implementation, in particular MPI and OpenMP interfaces. Each chapter...

589
Published 2017
Springer International Publishing
... difficult. A number of tools addressing parallel program development and analysis have emerged from the high...

590
Published 2021
Springer International Publishing
... parallel program development and analysis has emerged from the high-performance computing community over...

591
Published 2009
Springer Berlin Heidelberg
..., knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis...

592
Published 1991
Springer Berlin Heidelberg
... languages is addressed: one paper even argues that parallel programs with side-effects can be "more...

593
by Stefanescu, Gheorghe
Published 2000
Springer London
... results on the algebraic theory of networks, recent results on the algebraic theory of models for parallel...

594
Published 1994
Springer London
... programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation...

595
Published 1991
Springer London
... circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard...

596
Published 1993
Springer Berlin Heidelberg
... for running parallel programs. The contributed presentations comprise the final chapter...

597
by Fesenko, Tatiana
Published 2019
Packt Publishing
...-on examples demonstrating how to write concurrent and parallel programs, and quizzes to help you to retain...

598
Published 1983
Springer Berlin Heidelberg
..., transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro...

599
by Ben Abdallah, Abderazek
Published 2017
Springer Nature Singapore
... in helping programmers create high-performance software. Programmers should make sure that their parallelized...

600
by Munshi, Aaftab
Published 2011
Addison-Wesley
... complex parallel programs that decompose workloads across many different devices. They also present all...