Fault-tolerance of functional programs based on the parallel graph reduction

Proceedings 2001 Pacific Rim International Symposium on Dependable Computing ◽

10.1109/prdc.2001.992715 ◽

2002 ◽

Author(s):

M. Kitakami ◽

S. Kubota ◽

H. Ito

Keyword(s):

Fault Tolerance ◽

Graph Reduction ◽

Parallel Graph

Download Full-text

An approach to fault tolerance and error recovery in a parallel graph reduction machine: MaRS—a case study

ACM SIGARCH Computer Architecture News ◽

10.1145/48675.48679 ◽

1988 ◽

Vol 16 (3) ◽

pp. 25-32 ◽

Cited By ~ 1

Author(s):

Alessandro Contessa

Keyword(s):

Fault Tolerance ◽

Error Recovery ◽

Graph Reduction ◽

Reduction Machine ◽

Parallel Graph

Download Full-text

An abstract machine for parallel graph reduction

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99387 ◽

1989 ◽

Cited By ~ 7

Author(s):

Lal George

Keyword(s):

Graph Reduction ◽

Abstract Machine ◽

Parallel Graph

Download Full-text

Locality and false sharing in coherent-cache parallel graph reduction

Lecture Notes in Computer Science - PARLE '93 Parallel Architectures and Languages Europe ◽

10.1007/3-540-56891-3_26 ◽

1993 ◽

pp. 329-340

Author(s):

Andrew J. Bennett ◽

Paul H. J. Kelly

Keyword(s):

Graph Reduction ◽

False Sharing ◽

Parallel Graph

Download Full-text

Design and evaluation of a multi-threaded architecture for parallel graph reduction

Lecture Notes in Computer Science - Parallel Computing Technologies ◽

10.1007/3-540-60222-4_129 ◽

1995 ◽

pp. 411-426

Author(s):

Francis Caudal ◽

Bernard Lecussan

Keyword(s):

Graph Reduction ◽

Parallel Graph

Download Full-text

The parallel graph reduction machine, ALICE

Graph Reduction - Lecture Notes in Computer Science ◽

10.1007/3-540-18420-1_55 ◽

1987 ◽

pp. 181-202 ◽

Cited By ~ 6

Author(s):

P. G. Harrison ◽

M. J. Reeve

Keyword(s):

Graph Reduction ◽

Reduction Machine ◽

Parallel Graph

Download Full-text

High-performance parallel graph reduction

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3540512845_40 ◽

1989 ◽

pp. 193-206 ◽

Cited By ~ 15

Author(s):

Simon L Peyton Jones ◽

Chris Clack ◽

Jon Salkild

Keyword(s):

High Performance ◽

Graph Reduction ◽

Parallel Graph

Download Full-text

A Distributed Virtual Machine for Parallel Graph Reduction

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) ◽

10.1109/pdcat.2007.4420187 ◽

2007 ◽

Author(s):

Peter M. Kelly ◽

Paul D. Coddington ◽

Andrew L. Wendelborn

Keyword(s):

Virtual Machine ◽

Graph Reduction ◽

Parallel Graph

Download Full-text

Speculative parallel graph reduction for lambda calculus

Proceedings of ICICS, 1997 International Conference on Information, Communications and Signal Processing. Theme: Trends in Information Systems Engineering and Wireless Multimedia Communications (Cat. No.97TH8237) ◽

10.1109/icics.1997.652110 ◽

2002 ◽

Author(s):

Yong-Hack Lee ◽

Suh-Hyun Cheon

Keyword(s):

Lambda Calculus ◽

Graph Reduction ◽

Parallel Graph

Download Full-text

A Distributed Virtual Machine for Parallel Graph Reduction

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) ◽

10.1109/pdcat.2007.64 ◽

2007 ◽

Cited By ~ 2

Author(s):

Peter M. Kelly ◽

Paul D. Coddington ◽

Andrew L. Wendelborn

Keyword(s):

Virtual Machine ◽

Graph Reduction ◽

Parallel Graph

Download Full-text

Toward the design of a parallel graph reduction machine the MaRS project

Graph Reduction - Lecture Notes in Computer Science ◽

10.1007/3-540-18420-1_54 ◽

1987 ◽

pp. 160-180 ◽

Cited By ~ 1

Author(s):

Michel Castan ◽

Guy Durrieu ◽

Bernard Lecussan ◽

Michel Lemaître ◽

Alessandro Contessa ◽

...

Keyword(s):

Graph Reduction ◽

Reduction Machine ◽

Parallel Graph

Download Full-text