Verifying linearizability with Hindsight
- Peter W. O'Hearn
- Noam Rinetzky
- et al.
- 2010
- PODC 2010
Publications
Date
Featured collections
Popular topics
4 results at PODC 2010
Brief announcement: Network traffic can optimize consolidation during transformation to virtualization
- Kewei Sun
- Ying Li
- et al.
- 2010
- PODC 2010
Brief announcement: Sources of instability in data center multicast
- Dmitry Basin
- Ken Birman
- et al.
- 2010
- PODC 2010
Data caching as a cloud service
- Gregory Chockler
- Guy Laden
- et al.
- 2010
- PODC 2010