Articles liés à Specification of Parallel Algorithms: Dimacs Workshop...

Specification of Parallel Algorithms: Dimacs Workshop May 9-11, 1994 - Couverture rigide

American Mathematical Society

 
9780821802533: Specification of Parallel Algorithms: Dimacs Workshop May 9-11, 1994
Couverture rigide
ISBN 10 : 0821802534 ISBN 13 : 9780821802533
Editeur : American Mathematical Society, 1994

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
American Mathematical Society
Date d'édition
1994
Langue
anglais
ISBN 10 
0821802534
ISBN 13 
9780821802533
Reliure
Relié
Nombre de pages
399
Coordonnées du fabricant
non disponible
Personne responsable
non disponible