Sciweavers

4044 search results - page 12 / 809
» The Evolution of a Distributed Operating System
Sort
View
78
Voted
CLUSTER
2003
IEEE
15 years 7 months ago
A Kernel Running in a DSM - Design Aspects of a Distributed Operating System
Ralph Göckelmann, Michael Schöttner, Ste...
POPL
2009
ACM
16 years 2 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge