Publication Conformance Checking of Components Against Their Non-deterministic Specifications Mike Barnett, Lev Nachmanson, Wolfram Schulte MSR-TR-2001-56 | June 2001
Publication Predictability Requirements of a Soft Modem Mike Jones, Stefan Saroiu Appeared in Proceedings of the ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems | June 2001
Publication Information Extraction Using the Structured Language Model Ciprian Chelba, Milind Mahajan Proc. of the Int. Conf. on Empirical Methods in Natural Language Processing | June 2001
Publication Universal Plug and Play Machine Models U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes MSR-TR-2001-59 | June 2001 Project
Publication Corrections to ‘Avoiding Packaging Mismatch with Flexible Packaging’ Robert DeLIne IEEE Transactions on Software Engineering | June 2001, Vol 27: pp. 577
Publication Two Case Studies in Predictable Application Scheduling Using Rialto/NT Mike Jones, John Regehr, Stefan Saroiu Appeared in Proceedings of the Seventh Real-Time Technology and Applications Symposium (RTAS 2001) | May 2001
Publication Herald: Achieving a Global Event Notification Service Luis Felipe Cabrera, Mike Jones, Marvin Theimer Proceedings of the Eighth Workshop on Hot Topics in Operating Systems (HotOS-VIII) | May 2001
Publication Portability of Syntactic Structure for Language Modeling Ciprian Chelba Proc. of the Int. Conf. on Acoustics, Speech, and Signal Processing | May 2001
Publication Using Abstraction To Improve Fault Tolerance Miguel Castro, Rodrigo Rodrigues, Barbara Liskov Workshop on Hot Topics in Operating Systems (HotOS’01) | May 2001
Publication Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 978-3-540-41960-0 (Print) 978-3-540-45413-7 (Online)