Comparing Observed Bug and Productivity Rates for Java and C++.
Embed Finite Domain Constraint Programming into Java and some Web-based Applications.
A Byte-wise Normalization Method in Arithmetic Coding.
Fault-Tolerant RT-Mach (FT-RT-Mach) and an Application to Real-Time Train Control.
A Killer Adversary for Quicksort.
An Application of Compiler Technology to the Year 2000 Problem.