Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 367-369 of 3794

    • The X Window System 

      Scheifler, Robert W.; Gettys, Jim (1986-10)
      An overview of the X Window System is presented, focusing on the system substrate and the low-level facilities provided to build applications and to manage the desktop. The system provides high-performance, high-level, ...

    • Introduction to the Theory of Nested Transactions 

      Lynch, Nancy A.; Merritt, Michael (1986-07)
      A new formal model is presented for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm.

    • The Clock Distribution Systems of the Multiprocessor Emulation Facility 

      Younis, Saed G. (1986-06)
      Consisting of 32 high-speed processors, the multiple processor emulation facility communicates data between its processors through the use of synchronous, high-bandwidth packet switches residing on the ports of every ...