LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 52-54 of 486

    • Maps: a Compiler-Managed Memory System for RAW Machines 

      Barua, Rajeev; Lee, Walter; Amarasinghe, Saman; Agarwal, Anant (1998-07)
      Microprocessors of the next decade and beyond will be built using VLSI chips employing billions of transistors. In this generation of microprocessors, achieving a high level of parallelism at a reasonable clock speed will ...

    • Indolent Closure Creation 

      Strumpen, Volker (1998-06)
      A closure is a representation of a thread in memory, ready to be executed. The goal of this work is to create portable closures that can be transferred across binary incompatible architectures. Consequently, indolent ...

    • More on Proofs of Knowledge 

      Halevi, Shai; Micali, Silvio (1998-05)
      The notion of proofs of knowledge is central to cryptographhic protocols, and many definitions for it have been proposed. In this work we explore a different facet of this notion, not addressed by prior definitions. ...