Steve Pratt

Publication Activity (10 Years)

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

Publications

Peter Wai Yee Wong, Ric Hendrickson, Haider Rizvi, Steve Pratt
Performance evaluation of linux file systems for data warehousing workloads. Infoscale (2006)
John Magill, Bruce D. Anderson, Gina B. Anderson, Phillip Hess, Steve Pratt
Multi-axis Mechanical Simulator for Epidural Needle Insertion. ISMS (2004)
Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN (2003)
Dale Enns, Dan Bugajski, Steve Pratt
Guidance and control for cooperative search. ACC (2002)