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.

Now showing items 16-18 of 119

    • Naming and Protection in Extendable Operating Systems 

      Redell, David D. (1974-11)
      The properties of capability-based extendible operating systems are described, and various aspects of such systems are discussed, with emphasis on the conflict between free distribution of access privileges and later ...
    • Nondeterministic Time and Space Complexity Classes 

      Seiferas, Joel Irvin (1974-09)
      The marginal utility of the Turing machine computational resources running time and storage space are studied. A technique is developed which, unlike diagonalization, applies equally well to nondeterministic and deterministic ...
    • Functional Domains of Applicative Languages 

      Ward, Stephen A. (1974-09)
      The expressive power of a particular applicative language may be characterized by the set of abstract functions directly representable in that language. The common FUNARG and applicative order problems are scrutinized in ...