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

Now showing items 40-42 of 3794

    • Offline Integrity Checking of Untrusted Storage 

      Clarke, Dwaine; Gassend, Blaise; Suh, G. Edward; van Dijk, Marten; Devadas, Srinivas (2002-11)

    • Access-Controlled Resource Discovery for Pervasive Networks 

      Raman, Sanjay; Clarke, Dwaine; Burnside, Matt; Devadas, Srinivas; Rivest, Ronald L. (2002-09)
      Networks of the future will be characterized by a variety of computational devices that display a level of dynamism not seen in traditional wired networks. Because of the dynamic nature of these networks, resource discovery ...

    • A Type System for Safe Region-Based Memory Management in Real-Time Java 

      Salcianu, Alexandru; Boyapati, Chandrasekhar; Beebee, William S., Jr.; Rinard, Martin (2002-11)
      The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real time constraints. Real-time threads use immortal memory and region-based memory management to avoid unbounded pauses ...