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

Now showing items 13-15 of 3794

    • A Modular Drinking Philosophers Algorithm 

      Welch, Jennifer Lundelius; Lynch, Nancy A. (1992-10)
      A variant of the drinking philosphers algorithm of Chandy and Misra is described and proved correct in a module way, using the I/O automaton model of Lynch and Tuttle. The algorithm of Chandy and Misra is based on an ...

    • Bandwidth Management in Wireless Sensor Networks 

      Hull, Bret; Jamieson, Kyle; Balakrishnan, Hari (2003-04)
      Wireless sensor networks are often used in monitoring and control applications, where software running on generalpurpose computers ÔøΩpullÔøΩ information from remote sensors and ÔøΩpushÔøΩ actuations into the network. The ...

    • Computer-Enforced Immutability for the Java Language 

      Birka, Adrian (2003-06)
      This thesis presents the design, implementation, and evaluation of an extension to the Java language, ConstJava, that is capable of expressing immutability constraints and verifying them at compile time. The specific ...