Specification of Parallel Algorithms

Inbunden, Engelska, 1994

Del i serien DIMACS: Series in Discrete Mathematics and Theoretical Computer Science

1 430 kr

Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1994-12-30
Vikt:936 g
Format:Inbunden
Språk:Engelska
Serie:DIMACS: Series in Discrete Mathematics and Theoretical Computer Science
Förlag:American Mathematical Society
ISBN:9780821802533

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Tillämpad matematik inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Innehållsförteckning

A case study in irregular parallel programming by A. Chien, M. Straka, J. Dolby, V. Karamcheti, J. Plevyak, and X. Zhang BSP programming by W. F. McColl Beyond computable functions or escape from the Turing tarpit by P. Wegner Compositional specifications of parallel programs: Nondeterministic data flow by K. M. Chandy and B. A. Sanders Building categorical data type programs by D. B. Skillicorn The concurrency factory--Practical tools for specification, simulation, verification, and implementation of concurrent systems by R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. Sokolsky, and S. Zhang Operational implication of conditional unity properties by Y.-K. Tsay and R. L. Bagrodia On the implementation of set-based parallel algorithms by S. F. Hummel On granularity of events in distributed computations by M. Hurfin, N. Plouzeau, and M. Raynal Atomic transactions for multiprocessor programming: A formal approach by N. Lynch A practical parallel programming model by L. Snyder A program building tool for parallel applications by S. Ahmed, N. Carriero, and D. Gelernter Higher-order multiset programming by D. Le Metayer Specifying parallel programs in a functional language: The EPL experience by B. K. Szymanski Developing molecular dynamics simulation codes using mixed language programming by T. DeBoni, J. Feo, H. Caffey, and F. Hausheer Actor languages for specification of parallel computations by G. Agha, W. Kim, and R. Panwar The mode system of moded flat GHC by K. Ueda ABCL/$f$: A future-based polymorphic typed concurrent object-oriented language--Its design and implementation by K. Taura, S. Matsuoka, and A. Yonezawa TLA in pictures by L. Lamport Specification, transformation, and programming of concurrent systems in rewriting logic by P. Lincoln, N. Marti-Oliet, and J. Meseguer Constraint satisfaction as a basis for designing nonmasking fault-tolerance by A. Arora, M. Gouda, and G. Varghese A discipline of multiprogramming by J. Misra Specification and development of parallel algorithms with the proteus system by A. Goldberg, P. Mills, L. Nyland, J. Prins, J. Reif, and J. Riely.