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

Now showing items 187-189 of 3794

    • Identifying and Merging Related Bibliographic Records 

      Hylton, Jeremy A. (1996-02)
      Bibliographic records freely available on the Internet can be used to construct a high-quality, digital finding aid that provides the ability to discover paper and electronic documents. The key challenge to providing ...

    • Executing Multithreaded Programs Efficiently 

      Blumofe, Robert D. (1995-09)
      This thesis presents the theory, design, and implementation of Cilk (pronounced "silk") and Cilk-NOW. Cilk is a C-based language and portable runtime system for programming and executing multithreaded parallel programs. ...

    • Modeling and Verification of Randomized Distributed Real -Time Systems 

      Segala, Roberto (1996-06)
      Randomization is an excellent tool for the design of distributed algorithms, sometimes yielding efficient solutions to problems that are inherently complex, or even unsolvable, in the setting of deterministic algorithms. ...