Sam Jansen

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Sam Jansen, Anthony McGregor
Static virtualization of C source code. Softw. Pract. Exp. 38 (4) (2008)
Sam Jansen, Anthony McGregor
Validation of simulated real world TCP stacks. WSC (2007)
Sam Jansen, Anthony McGregor
Performance, Validation and Testing with the Network Simulation Cradle. MASCOTS (2006)
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ICNP (2006)
Sam Jansen, Anthony McGregor
Measured Comparative Performance of TCP Stacks. PAM (2005)
Sam Jansen, Anthony McGregor
Simulation with real world network stacks. WSC (2005)
Mark D. Apperley, Sam Jansen, Amos Jeffries, Masood Masoodian, Laurie McLeod, Lance Paine, Bill Rogers, Kirsten Thomson, Tony Voyle
Lecture Capture Using Large Interactive Display Systems. ICCE (2002)
Mark D. Apperley, Orion Edwards, Sam Jansen, Masood Masoodian, Sam McKoy, Bill Rogers, Tony Voyle, David Ware
Application of imperfect speech recognition to navigation and editing of audio documents. CHINZ (2002)