Publication Parsec: Direct Style Monadic Parser Combinators for the Real World Daan Leijen, Erik Meijer UU-CS-2001-27 | July 2001 User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, June 25-29, 2007
Publication Logician in the land of OS: Abstract State Machines in Microsoft Yuri Gurevich Sixteenth Annual IEEE Symposium on Logic in Computer Science, June 2001, Boston | June 2001
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
Research
Research