Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
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 Mobile IP: A Solution for Transparent, Seamless Mobile Computer Communications J. Redi, Victor Bahl 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 Differential QoS and pricing in networks: where flow control meets game theory Peter Key, D. McAuley IEE Proceedings Software, Proceedings UK Performance Engineering Workshop | January 1998
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 Internet Routing Instability C. Labovitz, R. Malan, F Jahanian IEEE/ACM Transactions on Networking 5,6 | January 1998
Publication An Empirical Study of Client Interactions with a Continuous-Media Courseware Server Jitu Padhye, Jim Kurose NOSSDAV 1998 | 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 A Scalable Multicast Architecture for One-to-many Telepresentations Jim Gemmell, Eve Schooler, Roger Kermode January 1998