Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 307-309 of 3794
-
Specification and Verification of Real-team Constraints in Coarse-grain Dataflow
(1991-05)We present a method for verifying real-time constraints in a distributed, coarse-grain dataflow environment starting with a program which has already been allocated onto a machine. The user specifies the timing of each ... -
On Retiming Synchronous Circuitry and Mixed-integer Optimization
(1990-09)In this paper we investigate properties of retiming, a circuit transformation which preserves the behavior of the circuit as a whole. We present an algorithm which transforms a given combinational circuit into a functionally ... -
Lazy Replication: Exploiting the Semantics of Distributed Services
(1990-07)To provide high availability for services such as mail or bulletin boards, data must be replicated. One way to guarantee consistency of replicated data is to force service operations to occur in the same order at all ...
