Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By American Mathematical Society

9780821802533, 9781470439767

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The mode system of moded flat GHC

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/17 ◽

1994 ◽

pp. 259-274

Author(s):

Kazunori Ueda

Keyword(s):

Download Full-text

A practical parallel programming model

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/11 ◽

1994 ◽

pp. 143-160 ◽

Author(s):

Lawrence Snyder

Keyword(s):

Parallel Programming ◽

Programming Model ◽

Parallel Programming Model

Download Full-text

Atomic transactions for multiprocessor programming: A formal approach

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/10 ◽

1994 ◽

pp. 125-142

Author(s):

Nancy Lynch

Keyword(s):

Formal Approach ◽

Atomic Transactions

Download Full-text

On the implementation of set-based parallel algorithm specifications

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/08 ◽

1994 ◽

pp. 101-114 ◽

Author(s):

Susan Hummel

Keyword(s):

Parallel Algorithm

Download Full-text

BSP programming

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/02 ◽

1994 ◽

pp. 21-35 ◽

Author(s):

Bill McColl

Download Full-text

The concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/06 ◽

1994 ◽

pp. 75-89 ◽

Author(s):

Rance Cleaveland ◽

J Gada ◽

P Lewis ◽

Scott Smolka ◽

O Sokolsky ◽

...

Keyword(s):

Concurrent Systems

Download Full-text

Specification and development of parallel algorithms with the Proteus system

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/23 ◽

1994 ◽

pp. 383-399 ◽

Author(s):

Allen Goldberg ◽

Peter Mills ◽

Lars Nyland ◽

Jan Prins ◽

John Reif ◽

...

Keyword(s):

Parallel Algorithms

Download Full-text

A discipline of multiprogramming

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/22 ◽

1994 ◽

pp. 357-381 ◽

Author(s):

Jayadev Misra

Download Full-text

Constraint satisfaction as a basis for designing nonmasking fault-tolerance

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/21 ◽

1994 ◽

pp. 341-356 ◽

Author(s):

Anish Arora ◽

Mohamed Gouda ◽

George Varghese

Keyword(s):

Fault Tolerance ◽

Constraint Satisfaction

Download Full-text

ABCL/f: A future-based polymorphic typed concurrent object-oriented language-Its design and implementation

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/18 ◽

1994 ◽

pp. 275-291 ◽

Author(s):

Kenjiro Taura ◽

Satoshi Matsuoka ◽

Akinori Yonezawa

Keyword(s):

Object Oriented ◽

Design And Implementation

Download Full-text