Title
Systems Research Center reports 550-614Catalog Number
102748647Type
DocumentDescription
This box contains following technical reports, filed in the same order as this list and indexed by folder numbers:Folder 1:
Real-time concurrent collection on stock multiprocessors
Parallel compilation on a tightly coupled multiprocessor
Concurrent reading and writing of clocks
A theorem on atomicity in distributed algorithms
The existence of refinement mappings
Folder 2:
The power of temporal proofs
Modula-3 report
Bounds on the cover time
Folder 3:
A two-view document editor with user-definable document structure
Folder 4:
Blossoms are polar forms
An introduction to programming with threads
Primitives for computational geometry
Folder 5:
Ruler, compass, and computer: the design and analysis of geometric algorithms
Can fair choice be added to Dijkstras calculus?
A logic of authentication
Implementing exceptions in C
Evaluating the performance of software cache coherence
Folder 6:
WorkCrews: an abstraction for controlling parallelism
Performance of Firefly RPC
Pretending atomicity
Typeful programming