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: Parcella '86: Proceedings of the III. International Workshop on Parallel Processing by Cellular Automata and Arrays held in Berlin (GDR), September 9-11, 1986, Author: Tamás Legendi
Title: Assignment Problems in Parallel and Distributed Computing, Author: Shahid H. Bokhari
Title: integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning, Author: James A. Hendler
Title: Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings, 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, Author: J.S. Kowalik
Title: Introduction to Parallel and Vector Solution of Linear Systems, Author: James M. Ortega
Title: Japanese Supercomputing: Architecture, Algorithms, and Applications, Author: Raul H. Mendez
Title: State-Space Models of Lumped and Distributed Systems, Author: Vojislav Kecman
Title: Parallel Models of Associative Memory: Updated Edition, Author: Geoffrey E. Hinton
Title: Parcella '88, Author: Gottfried Wolf
Title: Data Organization in Parallel Computers, Author: Harry A.G. Wijshoff

Pagination Links