MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 76-78 of 119

    • Incremental Simulation on a Time-shared Computer 

      Jones, Malcolm Murray (1968-01)
      This thesis describes a system which allows simulation models to be built and tested incrementally. It is called OPS-4 and is specifically designed to operate in the environment of the Multics system. It represents a ...

    • Symbolic Integration 

      Moses, Joel (1967-12)
      SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral ...

    • A Canonic Translator 

      Alsop, Joseph Wright (1967-11)
      An algorithm to recognize and translate sets of character strings specified by canonic system is presented. The ability of canonic systems to define the context sensitive features of strings and to specify their translation ...