Distributed and Parallel Computing

We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...

Martín Abadi, Leslie Lamport

claim paper

Read More »

19

click to vote

HPDC
1992
IEEE

79views Distributed And Parallel Com...» more HPDC 1992»

A Requirement Analysis for High Performance Distributed Computing over LANs

14 years 3 months ago

Download nsfcac.rutgers.edu

Manish Parashar, Salim Hariri, A. Gaber Mohamed, G...

claim paper

Read More »

39

click to vote

PARLE
1994

129views Distributed And Parallel Com...» more PARLE 1994»

Time-Optimal Nearest-Neighbor Computations on Enhanced Meshes

14 years 3 months ago

Download www.site.uottawa.ca

Stephan Olariu, Ivan Stojmenovic

claim paper

Read More »

41

click to vote

PARLE
1994

143views Distributed And Parallel Com...» more PARLE 1994»

Using Reference Counters in Update-Based Coherent Memory

14 years 3 months ago

Download dcs.ics.forth.gr

Abstract. As the disparity between processor and memory speed continues to widen, the exploitation of locality of reference in shared-memory multiprocessors becomes an increasingly...

Evangelos P. Markatos, Catherine E. Chronaki

claim paper

Read More »

34

click to vote

PARLE
1994

119views Distributed And Parallel Com...» more PARLE 1994»

Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms

14 years 3 months ago

Download www.csse.monash.edu.au

Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...

David Abramson, M. Cope, R. McKenzie

claim paper

Read More »

43

click to vote

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

14 years 3 months ago

Download www.dsc.ufcg.edu.br

Kurt Jensen

claim paper