Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 364-366 of 3794

    • Compaction with Automatic Job Introduction 

      Maley, F. Miller (1986-11)
      This thesis presents an algorithm for one-dimensional compaction of VLSI layouts. It differs from older methods in treating wires not as objects to be moved, but as constraints on the positions of other circuit components. ...

    • A Compiler for the MIT Tagged-token Dataflow Architecture 

      Traub, Kenneth R. (1986-08)
      Compilation of the programming language Id Nouveau into machine code for the MIT tagged-token dataflow architecture is thoroughly described. Id Nouveau is a higher-order functional language augmented with a novel data ...

    • Programming Simultaneous Action Using Common Knowledge 

      Moses, Yoram; Tuttle, Mark R. (1987-02)
      This work applies the theory of knowledge in distributed systems to the design of efficient fault-tolerant protocols. We define a large class of problems requiring coordinated, simultaneous action in synchronous systems, ...