EUROMICRO
1996
IEEE
14 years 4 days ago
1996
IEEE
EUROMICRO
1996
IEEE
14 years 4 days ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
EUROMICRO
1996
IEEE
14 years 4 days ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
ARCS
1997
Springer
14 years 4 days ago
1997
Springer
ARCS
1997
Springer
14 years 4 days ago
1997
Springer
Before it can achieve wide acceptance, parallelcomputation must be made significantlyeasier to program. One ain obstacles to this goal is the current usage of memory, both abstra...
ARCS
1997
Springer
14 years 4 days ago
1997
Springer
The paper examines a simple conceptual modification of the operation unit of a RISC processor. We propose to substitute a part of the conventional general purpose register file by...
ARCS
1997
Springer
14 years 4 days ago
1997
Springer
This paper introduces a powerful novel sequencer hardware for controlling computational machines and for structured DMA (direct memory access) applications. The paper introduces t...
ARCS
1997
Springer
14 years 4 days ago
1997
Springer
To provide a computing system to be dependable fault tolerance mechanisms have to be included. Especially massive parallelism represents a new challenge for fault tolerance. In th...
AMAST
1997
Springer
14 years 4 days ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
AMAST
1997
Springer
14 years 4 days ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...