Horus
From MaRDI portal
Software:33612
No author found.
Related Items (12)
On the interconnection of message passing systems ⋮ A brief introduction to distributed systems ⋮ Dynamic load balancing with group communication ⋮ Innovations in computational type theory using Nuprl ⋮ Tight bounds for FEC-based reliable multicast ⋮ A framework for protocol composition in Horus ⋮ Extensible block-level storage virtualization in cluster-based systems ⋮ Unnamed Item ⋮ A modular framework for verifying versatile distributed systems ⋮ Cooperative computing with fragmentable and mergeable groups ⋮ Byzantine-resistant total ordering algorithms. ⋮ The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
This page was built for software: Horus
