MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 91-93 of 119

    • Models and Data Structures for Digital Logic Simulation 

      Smith, Donald Leigh (1966-08)
      A digital logic simulation system is proposed for design verification. Logic to be simulated is specified with a high level register transfer design language, and the simulation system operates on-line on a large time-shared ...

    • Traffic Control in a Multiplexed Computer System 

      Saltzer, Jerome H. (1966-07)
      This thesis describes a scheme for processor multiplexing in a multiple user, multiple processor computer system. The scheme is based upon a distributed supervisor which may be different for different users. The processor ...

    • Search Procedures Based on Measures of Relatedness Between Documents 

      Ivie, Evan Leon (1966-06)
      In this thesis a new type of information retrieval system is suggested which utilizes data of the type generated by the users of the system instead of data generated by indexers. The theoretical model on which the system ...