Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Proactive Recovery in a Byzantine-Fault-Tolerant System Miguel Castro, Barbara Liskov Symposium on Operating Systems Design and Implementation (OSDI’00) | October 2000
Publication Protocol Independent Multicast MIB for IPv4 K. McCloghrie, D. Farinacci, Dave Thaler, B. Fenner October 2000 RFC 2934
Publication Emulation of Multi-Hop Wireless Ad Hoc Networks Qifa Ke, Dave Maltz, David B. Johnson The 7th International Workshop on Mobile Multimedia Communications (MoMuC) | October 2000 The 7th International Workshop on Mobile Multimedia Communications (MoMuC)
Publication Robust Annotation Positioning in Digital Documents A.J. Brush, David Bargeron, Anoop Gupta, JJ Cadiz MSR-TR-2000-95 | September 2000
Publication Application-independent reconciliation for nomadic applications Marc Shapiro, Ant Rowstron, Anne-Marie Kermarrec Proc. SIGOPS European Workshop: “Beyond the PC: New Challenges for the Operating System” | September 2000 Proc. SIGOPS European Workshop: "Beyond the PC: New Challenges for the Operating System" \urlhttp://www-sor.inria.fr/ shapiro/papers/sigops-ew-2000-logmerge.html
Publication Proving the correctness of optimising destructive and non-destructive reads over tuple spaces Rocco De Nicola, Rosario Pugliese, Ant Rowstron International Conference on Coordination Languages and Models | September 2000 ISBN: 978-3-540-45263-8
Publication Content-based Classification and Retrieval of Audio Using the Nearest Feature Line Method Stan. Z. Li September 2000
Publication RIMA: Router for Integrated Mobile Access Thomas La Porta, Kazutaka Murakami, Ramachandran Ramjee IEEE PIMRC ‘2000 | September 2000
Publication Partitioning Digital Worlds: Focal and Peripheral Awareness in Multiple Monitor Use Jonathan Grudin MSR-TR-2000-94 | September 2000
Publication “Let There Be Light!” : Comparing Interfaces for Homes of the Future Barry Brumitt, JJ Cadiz MSR-TR-2000-92 | September 2000