Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994
Author(s)
Bibliographic Information
Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994
(DIMACS series in discrete mathematics and theoretical computer science, v. 18)
American Mathematical Society, c1994
Available at 14 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."
"This DIMACS volume on Specification of Parallel Algorithms contains papers from talks at a workshop held at Princeton University, May 9-11, 1994"--T.p. verso
Includes bibliographical references
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"