Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994
著者
書誌事項
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
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"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
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より
