Title
Systems Research Center reports 087-099 and 920-931Catalog Number
102754120Type
DocumentDescription
This box contains the following technical reports, filed in the same order as this list:Animation of geometric algorithms: a video review
Factors in the performance of the AN1 computer network
Compositional refinement of interactive systems
A high-speed DES implementation for network applications
An old-fashioned recipe for real time
Hector: connecting words with definitions
Experiences with software specification and verification using LP, the Larch proof assistant
How to write a proof
Baby Modula-3 and a theory of objects
How to make a correct multiprocess program execute correctly on a multiprocessor
An implementation of F <:
The 1992 SRC algorithm animation festival
High speed switch scheduling for local area networks
The first 99 reports [<-- this item is scanned and attached as 102754120-05-02-acc.pdf]
Safe, efficient garbage collection for C++
A coherent distributed file cache with directory write-behind
New-value logging in the Echo replicated file system
The Vesta approach to precise configuration of large software systems
The Vesta repository: a file system extension for software development
The Vesta language for configuration management
Bridges: tools to extend the Vesta configuration management system
Formal parametric polymorphism
Algorithm animation using 3D interactive graphics
The Echo distributed file system
The second annual video review of computational geometry
