Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Resource Assignment For Integrated Services in Wireless ATM Networks Victor Bahl, Imrich Chlamtac, Andras Farago January 1998
Publication From Prehistoric to Postmodern Symbolic Model Checking Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer Proceedings of the 10th International Conference on Computer-Aided Verification | January 1998
Publication Okapi at TREC-6: Automatic adhoc, VLC, routing, filtering and QSDR S. Walker, Stephen Robertson, M. Boughanem, G. J. F. Jones, K. Sparck Jones The Sixth Text REtrieval Conference (TREC-6) | January 1998 The Sixth Text REtrieval Conference (TREC–6)
Publication A Scalable Multicast Architecture for One-to-many Telepresentations Jim Gemmell, Eve Schooler, Roger Kermode January 1998
Publication ACSys TREC-7 experiments David Hawking, Nick Craswell, Paul Thistlewaite TREC-7, NIST special publication 500-242 | January 1998 TREC-7, NIST special publication 500-242 \urlhttp://research.microsoft.com/users/nickcr/pubs/hawking_trec98.pdf
Publication MOCHA: Modularity in model checking R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998
Publication Information transfer between solitary waves in the saturable Schrödinger equation Mariusz Jakubowski, Ken Steiglitz, Richard K. Squier Physical Review E | December 1997, Vol 56
Publication Distributed Schedule Management in the Tiger Video Fileserver Bob Fitzgerald, Bill Bolosky, John (JD) Douceur Proceedings of 16th Symposium on Operating Systems Principles (SOSP) | December 1997