The following pages link to Horus (Q33612):
Displaying 12 items.
- A brief introduction to distributed systems (Q333510) (← links)
- Tight bounds for FEC-based reliable multicast (Q598189) (← links)
- Extensible block-level storage virtualization in cluster-based systems (Q666185) (← links)
- Dynamic load balancing with group communication (Q861278) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Cooperative computing with fragmentable and mergeable groups (Q1827289) (← links)
- Byzantine-resistant total ordering algorithms. (Q1854265) (← links)
- The Bancomat problem: An example of resource allocation in a partitionable asynchronous system (Q1870529) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- On the interconnection of message passing systems (Q2380084) (← links)
- (Q4790655) (← links)
- A framework for protocol composition in Horus (Q5361441) (← links)