Home
Up
Questions?
Resume
Petri Nets
An Introduction to Petri Nets
A Note on Colored Petri Nets
Availability of Some Early English-language Reports on Petri Nets
Computation Sequence Sets
Petri Net article
from
Encyclopedia of Computer Science
with Michael K. Molloy.
Computers for Processing Text
On the Selection of Optimal Tab Settings
with James R. Bitner and John H. Howard
Text Compression
Computer-Based Readability Indexes
with Douglas R. McCallum
Computer Programs for Detecting and Correcting Spelling Errors
Spelling Program article
from
Encyclopedia of Computer Science
Spelling Program article
from
Concise Encyclopedia of Computer Science
A Note on Undetected Typing Errors
A Syntax Checker for Written English
with Elaine Rich, and
further plans
.
Computer Science Education
The Undergraduate Syllabus in Computer Sciences
UT-MIX Reference Manual
Syntax for Literature References
A list of Computer Science Technical Reports
Producing an Operating System Book: Scribe and troff
A Reading List for A Course on Operating Systems
Systems Programming Issues
The Impact of Operating Systems Research on Software Technology
with P. J. Denning and J. C. Browne
A Critique of the Programming Language CLU
Notes on a Workshop on Distributed Computing
Messages, Ports, Guardians and Processes
An Approach To Distributed Computing
A Different View of Operating Systems
Some Thoughts on Writing a Pascal Compiler
A Compiler For A Pascal-Like Language
Code Generation For A Pascal Compiler For A Nova Computer
Small Computer Architectures For The Compilation Of Higher Level Languages
Using Pascal On The Novas
A Virtual Machine for the NOVA 3/D
by David Renaud
Design and Implementation for a PASCAL Compiler on Nova 3/D Minicomputer
by Paul Lee
Using Debug Tools To Help Produce Correct Software
by William Clifford
Moving to a 64-bit Architecture.
A Discussion of Inverted Page Tables
Some Thoughts on Debugging Support
Software Cache Consistency
with James W. Van Fleet.
Systems Programming Projects
Translating Pascal Into C
X
SCOPE
: A Debugging and Performance Tool for X
11
and
the IFIPS talk on Xscope
Automatic Generation of X
11
Client Programs From Intercepted Communications
XSCOPE and XPROG: Advantages of a Networked Window Server
(A Presentation at XWorld, 1992)
Multiple Virtual Display Screens for X11
A Tiling and Overlapping Window System
A Graphical Approach to Some Shell Programs
Some Techniques for Reducing Program Size
4.2BSD and 4.3BSD as Examples of The
UNIX
System
with John S. Quarterman and Abraham Silberschatz.
The Mach Kernel
Operating System Support for Shared Memory Clusters
with Ron Rockhold.
An outline of the issues in Build Environments and Tools
Design and Implementation of a Recoverable Virtual Shared Disk
with C. R. Attanasio, M. Butrico, C. A. Polyzois, S. E. Smith.
Notes on Multi-Processor Architectures
Outline of a Book on Object-Oriented Systems
Converting Java to C++
with Glenn Downing and Ron Rockhold.
Documentation on the NUMA eBIOS System
Windows NT in a ccNUMA System
with the NUMA team
Experience with building a commodity Intel-based ccNUMA system
with the NUMA team
A rough paper on the Netpliance I-Opener
Weighted Fair Queueing
Mambo
Design and Validation of a Performance and Power Simulator for PowerPC Systems
from IBM Journal of Research and Development.
Mambo -- A Full System Simulator for the PowerPC Architecture
from ACM SIGMETRICS Performance Evaluation Review.
Application of full-system simulation in exploratory system design and development
from IBM Journal of Research and Development.
Unpublished
Hypervisor Design
Porting K42
Converting Sequential Code to an Event Base
Home
Comments?