Sciweavers

2 search results - page 1 / 1
» ats 1995
Sort
View
ATS
1995
IEEE
91views Hardware» more  ATS 1995»
13 years 8 months ago
Deterministic test generation for non-classical faults on the gate level
Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck
PODC
1995
ACM
13 years 8 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...