Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication An Empirical Study of Client Interactions with a Continuous-Media Courseware Server Jitu Padhye, Jim Kurose NOSSDAV 1998 | January 1998
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 Secure Implementation of Channel Abstractions Cédric Fournet, Martin Abadi, Georges Gonthier January 1998
Publication Mobile IP: A Solution for Transparent, Seamless Mobile Computer Communications J. Redi, Victor Bahl January 1998
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 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 A Scalable Multicast Architecture for One-to-many Telepresentations Jim Gemmell, Eve Schooler, Roger Kermode January 1998