출판 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
출판 An Instruction for Direct Interpretation of LZ77-compressed Programs Christopher W. Fraser MSR-TR-2002-90 | September 2002
출판 Understanding BGP Misconfiguration Ratul Mahajan, David Wetherall, Tom Anderson SIGCOMM’02, Pittsburgh, Pennsylvania, USA. | August 2002
출판 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
출판 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
출판 Inferring Link Weights using End-to-End Measurements Ratul Mahajan, Neil Spring, David Wetherall, Tom Anderson Workshop on Internet measurment (IMW) | August 2002
출판 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, 제 8 권(4): pp. 12-20
출판 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
출판 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
출판 Modelling and Interpretation of Architecture from Several Images A. R. Dick, P.H.S. Torr, R. Cipolla MSR-TR-2002-78 | August 2002