Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Automated Acquisition of Cryo Electron Micrographs Using Leginon Nebojsa Jojic, Bridget Carragher August 1999
Publication Fair Scheduling in Broadcast Environments Victor Bahl, Nitin H. Vaidya MSR-TR-99-61 | August 1999
Publication Assume-guarantee refinement between different time scales Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani 11th International Conference, CAV’99 | July 1999
Publication Analysis of the Axiomatic Foundations of Collaborative Filtering David M. Pennock, Eric Horvitz Workshop on Artificial Intelligence for Electronic Commerce, National Conference on Artificial Intelligence (AAAI-99), July 1999, Orlando, Florida. | July 1999
Publication Minimum Rate Sampling and Reconstruction of Signals with Arbitrary Frequency Support Cormac Herley July 1999
Publication Detours: Binary Interception of Win32 Functions Galen Hunt, Doug Brubacher Third USENIX Windows NT Symposium | July 1999 Project
Publication Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks Wei Chen Theoretical Computer Science, Elsevier Science, invited paper in the special issue on distributed algorithms, 220:1, June 1999, pp. 3-30. | June 1999
Publication Patterns of Search: Analyzing and Modeling Web Query Refinement Tessa Lau, Eric Horvitz Proceedings of the Seventh International Conference on User Modeling, Banff, Canada, June 1999 | June 1999
Publication IP Lookups using Multiway and Multicolumn Search Butler Lampson, V. Srinivasan, G. Varghese IEEE/ACM Transactions on Networking | June 1999, Vol 7(3): pp. 324-334 An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.