Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
Title: A Survey of Verification Techniques for Parallel Programs, Author: Howard Barringer
Title: Parallel MIMD Computation: HEP Supercomputer and Its Applications, Author: Janusz S. Kowalik
Title: The Massively Parallel Processor, Author: Jerry L. Potter
Title: Distributed Database Systems, Author: Wesley W Chu
Title: Analysis and Algorithms of Optimization Problems, Author: Kazimierz Malanowski
Title: Actors: A Model of Concurrent Computation in Distributed Systems, Author: Gul Agha
Title: Distributed Processing Systems, Author: Wesley W Chu
Title: Assignment Problems in Parallel and Distributed Computing / Edition 1, Author: Shahid H. Bokhari
Title: integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning / Edition 1, Author: James A. Hendler
Title: Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings / Edition 1, Author: Marisa Venturini Zilli
Title: Supercomputers: A Key to U.S. Scientific, Technological, and Industrial Preeminence, Author: Bloomsbury Academic
Title: Parallel Computation and Computers for Artificial Intelligence / Edition 1, Author: J.S. Kowalik
Title: Introduction to Parallel and Vector Solution of Linear Systems / Edition 1, Author: James M. Ortega
Title: Japanese Supercomputing: Architecture, Algorithms, and Applications / Edition 1, Author: Raul H. Mendez
Title: State-Space Models of Lumped and Distributed Systems, Author: Vojislav Kecman
Title: Parallel Models of Associative Memory: Updated Edition / Edition 1, Author: Geoffrey E. Hinton
Title: Data Organization in Parallel Computers / Edition 1, Author: Harry A.G. Wijshoff
Title: Parallel Computing: Methods, Algorithms and Applications / Edition 1, Author: D.J Evans
Title: Algorithms for Parallel Polygon Rendering, Author: Theoharis Theoharis

Pagination Links