Artifact Details

Title

Systems Research Center reports 550-614

Catalog Number

102748647

Type

Text

Date

1988-1989

Publisher

Digital Equipment Corporation (DEC). Systems Research Center

Description

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

Category

Technical Report

Collection Title

Digital Equipment Corporation records

Series Title

Technical reports: Systems Research Center reports

Credit

Gift of Hewlett-Packard Company

Lot Number

X2675.2004