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

Now showing items 352-354 of 3794

    • Hierarchical Correctness Proofs for Distributed Algorithms 

      Lynch, Nancy A.; Tuttle, Mark S. (1987-04)
      This thesis introduces a new model for distributed computation in asynchronous networks, the input-output automaton. This simple, powerful model captures in a novel way the game-theoretical interaction between a system ...

    • A Simulation Environment for Schema 

      St.Pierre, Margaret Ann (1986-12)
      In present day circuit design, many independent simulation tools are available for analyzing circuits at various levels of detail. This thesis presents a framework to tie these tools into the Simulation Environment in ...

    • Data Flow Computer Architecture Final Report 

      Dennis, Jack B. (1987-10)
      This report covers the work done by Computation Structures Group of the MIT Laboratory for Computer Science on developing models, languages, and architectures for data flow computation from 1966 to the end 1985. The work ...