Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
by Michael Yoeli,Rakefet Kol
ISBN 13: 9780471704492
Format: Hardcover (231 pages) Publisher: Wiley-Blackwell Published: 15 Apr 2008
Save for later
Advanced Parallel Processing Technologies: 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642036439
Format: Paperback (478 pages) Publisher: Springer Published: 06 Aug 2009
Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers
by Barry Wilkinson,Michael Allen
ISBN 13: 9780131405639
Format: Paperback (496 pages) Publisher: Prentice Hall Published: 04 Mar 2004
Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)
by Oliver Sinnen
ISBN 13: 9780471735762
Format: Hardcover (296 pages) Publisher: Wiley-Blackwell Published: 25 May 2007
An Introduction to Parallel and Vector Scientific Computation (Cambridge Texts in Applied Mathematics)
by Ronald W. Shonkwiler,Lew Lefton
ISBN 13: 9780521683371
Format: Paperback (300 pages) Publisher: Cambridge University Press Published: 14 Aug 2006 Other Format: Illustrated
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Distributed and Parallel Systems: In Focus: Desktop Grid Computing
ISBN 13: 9780387794471
Format: Hardcover (220 pages) Publisher: Springer Published: 15 Aug 2008
Job Scheduling Strategies for Parallel Processing: 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540786986
Format: Paperback (189 pages) Publisher: Springer Published: 11 Apr 2008
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - ... / Programming and Software Engineering)
ISBN 13: 9783540754152
Format: Paperback (396 pages) Publisher: Springer Published: 18 Sep 2007
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines (Studies in Computational Intelligence)
by Alakananda Bhattacharya,Amit Konar,Ajit K. Mandal
ISBN 13: 9783540334583
Format: Hardcover (304 pages) Publisher: Springer Published: 07 Jul 2006
Parallel and Distributed Processing and Applications: Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540297697
Format: Paperback (1185 pages) Publisher: Springer Published: 21 Oct 2005
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
by Andreas Wieferink,Heinrich Meyr,Rainer Leupers
ISBN 13: 9781402085741
Format: Hardcover (176 pages) Publisher: Springer Published: 15 Jul 2008