Papers from the May 1994 workshop on specification techniques for concurrent systems. Topics include techniques for distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, and the impact of specification techniques on compilation and runtime performance. Annotation copyright Book News, Inc. Portland, Or.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 399 pages. 10.50x7.25x1.00 inches. In Stock. Bestandsnummer des Verkäufers __0821802534
Anzahl: 2 verfügbar
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Hardback. Zustand: New. This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems. Bestandsnummer des Verkäufers LU-9780821802533
Anzahl: 1 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions. Editor(s): Blelloch, Guy E.; Chandy, K. Mani; Jagannathan, Suresh. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 399 pages. BIC Classification: PBWH; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 267 x 184. Weight in Grams: 936. . 1995. hardcover. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780821802533
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In English. Bestandsnummer des Verkäufers ria9780821802533_new
Anzahl: 2 verfügbar
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Hardback. Zustand: New. This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems. Bestandsnummer des Verkäufers LU-9780821802533
Anzahl: 1 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions. Editor(s): Blelloch, Guy E.; Chandy, K. Mani; Jagannathan, Suresh. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 399 pages. BIC Classification: PBWH; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 267 x 184. Weight in Grams: 936. . 1995. hardcover. . . . . Bestandsnummer des Verkäufers V9780821802533
Anzahl: 1 verfügbar