The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Project MAC: Recent submissions

Now showing items 46-48 of 176

    • 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 ...