Computer systems for distributed and distance learning.
J. Comput. Assist. Learn., 2000
Lazy simulation of digital logic.
Comput. Aided Des., 1991
A functional model of clocked microarchitectures.
Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1989
The generation of simulator-based systems for microcode development.
Proceedings of the 17th annual workshop on Microprogramming, 1984