LCS Publications: Recent submissions
Now showing items 301-303 of 1152
-
An Incremental Type Inference System for the Programming Language ID
(1990-11)Modern computing environments strive to be robust and reliable, and at the same time, aim at providing enough flexibility to an interactive user to edit, debug, and test programs easily and efficiently. -
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 ...
