Specification of parallel algorithms: DIMACS workshop, May 9-11, 1994/ Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors.
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 18.Publication details: [Providence, RI]: American Mathematical Society, 1994.Description: xii, 399 p.: ill.; 27 cmISBN:- 0821802534 (recycled, acid-free paper)
- 005.1 S741
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.1 S741 1994 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000163090 |
Includes bibliographical references.
A case study in irregular parallel programming / A. Chien ... [et al.] -- BSP programming / W.F. McColl -- Beyond computable functions or escape from the turing tarpit / Peter Wegner -- Compositional specifications of parallel programs : nondeterministic data flow / K. Mani Chandy and Beverly A. Sanders -- Building categorical data type programs / D.B. Skillicorn -- The concurrency factory : practical tools for specification, simulation, verification, and implementation of concurrent systems / R. Cleaveland ... [et al.] -- Operational implication of conditional unity properties / Yih-Kuen Tsay and Rajive L. Bagrodia -- On the implementation of set-based parallel algorithms / Susan Flynn Hummel -- On granularity of events in distributed computations / Michael Hurfin, NoÌel Plouzeau, and Michel Raynal -- Atomic transactions for multiprocessor programming : a formal approach / Nancy Lynch -- A practical parallel programming model / Lawrence Snyder -- A program building tool for parallel applications / Shakil Ahmed, Nicholas Carriero, and David Gelernter -- Higher-order multiset programming / Daniel Le Métayer -- Specifying parallel programs in a functional language : the EPL experience / Boleslaw K. Szymanski -- Developing molecular dynamics simulation codes using mixed language programming / Thomas DeBoni ... [et al.] -- Actor languages for specification of parallel computations / Gul Agha, Wooyoung Kim, and Rajendra Panwar -- The mode system of moded flat GHC / Kazunori Ueda -- ABCL/f : a future-based polymorphic typed concurrent object-oriented language, its design and implementation / Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa -- TLA in pictures / Leslie Lamport -- Specification, transformation, and programming of concurrent systems in rewriting logic / Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer -- Constraint satisfaction as a basis for designing nonmasking fault-tolerance / Anish Arora, Mohamed Gouda, and George Varghese -- A discipline of multiprogramming / Jayadev Misra -- Specification and development of parallel algorithms with the Proteus system / Allen Goldberg ... [et al.] .
There are no comments on this title.