Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 346-348 of 3794
-
Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications
(1987-06)This thesis presents an approach for direct and efficient synthesis of self-timed (asynchronous) control circuits from formal specifications called Signal Transition Graphs (STGs). Control circuits synthesized from this ... -
MAM: A Semi-automatic Debugging Tool for Distrubuted Programs
(1987-06)Traditional debuggers, designed to examine single process serial programs, do not provide sufficient functionality for efficient debugging of distributed programs. There are a number of fundamental differences in the way ... -
Efficient Methods for Calculating Maximum Entropy Distributions
(1987-05)We present a new algorithm for computing the maximum entropy probability distribution satisfying a set of constraints. Unlike previous approaches, our method is integrated with the planning of data collection and tabulation. ...
