Distributed and Parallel Computing

27

FTDCS
1997
IEEE

127views Distributed And Parallel Com...» more FTDCS 1997»

A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis

13 years 11 months ago

This paper deals with the problem of scheduling aperiodic groups of tasks in distributed systems. It proposes two contributions, namely: i) a distributed scheduling algorithm to b...

Paolo Bizzarri, Andrea Bondavalli, Felicita Di Gia...

claim paper

Read More »

25

click to vote

SPAA
2000
ACM

167views Distributed And Parallel Com...» more SPAA 2000»

Compact, multilayer layout for butterfly fat-tree

13 years 11 months ago

Download www.seas.upenn.edu

Modern VLSI processing supports a two-dimensional surface for active devices along with multiple stacked layers of interconnect. With the advent of planarization, the number of la...

André DeHon

claim paper

Read More »

19

click to vote

SPAA
2000
ACM

84views Distributed And Parallel Com...» more SPAA 2000»

Efficient on-line communication in cellular networks

13 years 11 months ago

Download www.ceid.upatras.gr

Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...

claim paper

Read More »

19

click to vote

SPAA
2000
ACM

78views Distributed And Parallel Com...» more SPAA 2000»

Generalized connection caching

13 years 11 months ago

Download www2.informatik.hu-berlin.de

Cohen et al. [5] recently initiated the theoretical study of connection caching in the world-wide web. They extensively studied uniform connection caching, where the establishment...

Susanne Albers

claim paper

Read More »

18

click to vote

EUROPAR
1997
Springer

81views Distributed And Parallel Com...» more EUROPAR 1997»

The Performance Potential of Value and Dependence Prediction

13 years 11 months ago

Download www.ece.wisc.edu

Abstract. The serialization constraints induced by the detection and enforcement of true data dependences have always been regarded as requirements for correct execution. We propos...

Mikko H. Lipasti, John Paul Shen

claim paper

Read More »

40

click to vote

BANFF
1995

147views Distributed And Parallel Com...» more BANFF 1995»

An Automata-Theoretic Approach to Linear Temporal Logic

13 years 11 months ago

Download people.na.infn.it

The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program speciﬁcation, veriﬁcation, and synthesis. Both programs ...

Moshe Y. Vardi

claim paper

Read More »

27

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

13 years 11 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

21

click to vote

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

13 years 11 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

25

click to vote

PVM
2000
Springer

93views Distributed And Parallel Com...» more PVM 2000»

Runtime Checking of Datatype Signatures in MPI

13 years 11 months ago

Download www.ipd.anl.gov

Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...

William Gropp

claim paper

Read More »

26

click to vote

PVM
2000
Springer

88views Distributed And Parallel Com...» more PVM 2000»

Validation of Dimemas Communication Model for MPI Collective Operations

13 years 11 months ago