Pages that link to "Item:Q5361429"
From MaRDI portal
The following pages link to Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Q5361429):
Displaying 26 items.
- Issues in distributed control for ATM networks (Q5361430) (← links)
- Fault-local distributed mending (extended abstract) (Q5361431) (← links)
- Sub-linear distributed algorithms for sparse certificates and biconnected components (Q5361432) (← links)
- Faster computation on directed networks of automata (Q5361433) (← links)
- Distributed dynamic channel allocation for mobile computing (Q5361435) (← links)
- Collecting cyclic distributed garbage by controlled migration (Q5361436) (← links)
- On distributed object checkpointing and recovery (Q5361437) (← links)
- On the relevance of communication costs of rollback-recovery protocols (Q5361438) (← links)
- A framework for protocol composition in Horus (Q5361441) (← links)
- Algebraic spans (Q5361442) (← links)
- Failure detectors and the wait-free hierarchy (extended abstract) (Q5361443) (← links)
- More on <i>t</i>-resilience vs. wait-freedom (extended abstract) (Q5361444) (← links)
- Crumbling walls (Q5361445) (← links)
- Achieving independence efficiently and securely (Q5361446) (← links)
- Lower bounds for convergence function based clock synchronization (Q5361447) (← links)
- Reasoning about meta level activities in open distributed systems (Q5361448) (← links)
- Knowledge-based programs (Q5361449) (← links)
- Formal semantics for expressing optimism (Q5361451) (← links)
- Formal verification of timed properties of randomized distributed algorithms (Q5361452) (← links)
- Universal constructions for multi-object operations (Q5361453) (← links)
- Long-lived renaming made fast (Q5361455) (← links)
- Software transactional memory (Q5361456) (← links)
- Lock-free linked lists using compare-and-swap (Q5361457) (← links)
- Memory requirement for universal routing schemes (Q5361458) (← links)
- Optimal distributed algorithm for minimum spanning trees revisited (Q5361459) (← links)
- Fast distributed construction of <i>k</i>-dominating sets and applications (Q5361460) (← links)
