The Long Division Algorithm of Linger, Mills and Witt.
Kitrace: Precise Interactive Measurement of Operating System Kernels.
A Requirements Capture Method and its use in an Air Traffic Control Application.
Statistical Testing of Software Based on a Usage Model.
DeViouS: A Distributed Environment for Computer Vision.
Extending a Functional Programming System for Embedded Applications.