EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
EUROMICRO
1996
IEEE
13 years 9 months 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
13 years 9 months 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 ...