MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 46-48 of 119

    • Evaluation of Definite Integrals by Symbolic Manipulation 

      Wang, Paul S. (1971-09)
      A heuristic computer program for the evaluation of real definite integrals of elementary functions is described. This program, called WANDERER (WANg's DEfinite integRal EvaluatoR), evaluates many proper and improper ...

    • Cost Analysis of Debugging Systems 

      Lester, Bruce P. (1971-09)
      A general method is presented for performing cost analysis of interactive debugging systems. The method is based on an abstract model of program execution. This model is derived from the interpreter used in the Vienna ...

    • Primary Access Control in Large-scale Time-shared Decision Systems 

      Owens, Richard C., Jr. (1971-07)
      The computer differs from other tools in that it presently does not provide its users with a working environment transparent to their desires; in particular, current computer systems do not support adequate mechanisms for ...