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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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):

Moded Flat Ghc

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 10

Author(s):

Bill McColl

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 19

Author(s):

Kenjiro Taura ◽

Satoshi Matsuoka ◽

Akinori Yonezawa

Keyword(s):

Object Oriented ◽

Design And Implementation

Download Full-text

Actor languages for specification of parallel computations

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

10.1090/dimacs/018/16 ◽

1994 ◽

pp. 239-258 ◽

Cited By ~ 6

Author(s):

Gul Agha ◽

WooYoung Kim ◽

Rajendra Panwar

Keyword(s):

Parallel Computations

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

The mode system of moded flat GHC

A practical parallel programming model

Atomic transactions for multiprocessor programming: A formal approach

On the implementation of set-based parallel algorithm specifications

BSP programming

Specification and development of parallel algorithms with the Proteus system

A discipline of multiprogramming

Constraint satisfaction as a basis for designing nonmasking fault-tolerance

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

Actor languages for specification of parallel computations

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