LCS Publications: Recent submissions

Now showing items 184-186 of 1152

    • 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. ...

    • High-Performance All-Software Distributed Shared Memory 

      Johnson, Kirk L. (1996-02)
      The C Region Library (CRL) is a new all-software distributed shared memory (DSM) system. CRL requires no special compiler, hardware, or operating system support beyond the ability to send and receive messages between ...

    • Aurora at MIT 

      Clark, David D; Houh, Henry; Tennenhouse, David L. (1995-12)