Publication Verification of Timed Automata via Satisfiability Checking Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT’02) | September 2002
Publication An Instruction for Direct Interpretation of LZ77-compressed Programs Christopher W. Fraser MSR-TR-2002-90 | September 2002
Publication Understanding BGP Misconfiguration Ratul Mahajan, David Wetherall, Tom Anderson SIGCOMM’02, Pittsburgh, Pennsylvania, USA. | August 2002
Publication Epidemic Algorithms for Reliability in Mobile Content-based Routing Paolo Costa August 2002 August 2002 Master Thesis, Politecnico di Milano. 2002. Advisors: Prof. Gian Pietro Picco and Prof. Gianpaolo Cugola
Publication Controlling High Bandwidth Aggregates in the Network Ratul Mahajan, Steven M. Bellovin, Sally Floyd, John Ioannidis, Vern Paxson, Scott Shenker Computer Communication Review (CCR), 2002 | August 2002
Publication Inferring Link Weights using End-to-End Measurements Ratul Mahajan, Neil Spring, David Wetherall, Tom Anderson Workshop on Internet measurment (IMW) | August 2002
Publication Wisconsin Wind Tunnel II: A Fast, Portable Parallel Architecture Simulator S.S. Mukherjee, S.K. Reinhardt, B. Falsafi, M. Litzkow, M.D. Hill, D.A. Wood, S. Huss-Lederman, Jim Larus IEEE Concurrency | August 2002, Vol 8(4): pp. 12-20
Publication iLearn on the iPhone: Real-Time Human Activity Classification on Commodity Mobile Phones Scott Saponas, Jonathan Lester, Jon E. Froehlich, James A. Fogarty, James A. Landay UW-CSE-08-04-02 | August 2002
Publication Pre-emptive Shadows: Eliminating the Blinding Light from Projectors Desney Tan, Randy Pausch (2002) Interactive poster at CHI 2002 Conference on Human Factors in Computing Systems | August 2002
Publication Modelling and Interpretation of Architecture from Several Images A. R. Dick, P.H.S. Torr, R. Cipolla MSR-TR-2002-78 | August 2002