FTDCS
1997
IEEE
14 years 3 months ago
1997
IEEE
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...
SPAA
2000
ACM
14 years 3 months ago
2000
ACM
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...
SPAA
2000
ACM
14 years 3 months ago
2000
ACM
SPAA
2000
ACM
14 years 3 months ago
2000
ACM
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...
EUROPAR
1997
Springer
14 years 3 months ago
1997
Springer
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...
BANFF
1995
14 years 3 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
BANFF
1995
14 years 3 months ago
1995
BANFF
1995
14 years 3 months ago
1995
PVM
2000
Springer
14 years 3 months ago
2000
Springer
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...
PVM
2000
Springer
14 years 3 months ago
2000
Springer
