Now showing items 154-156 of 807

    • Conceptual Design of Software: A Research Agenda 

      Jackson, Daniel (2013-08-08)
      A research agenda in software design is outlined, focusing on the role of concepts. The notions of concepts as "abstract affordances" and of conceptual integrity are discussed, and a series of small examples of conceptual ...
    • Jigsaw: Scalable Software-Defined Caches (Extended Version) 

      Beckmann, Nathan; Sanchez, Daniel (2013-09-01)
      Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
    • Coded Emulation of Shared Atomic Memory for Message Passing Architectures 

      Cadambe, Viveck R.; Lynch, Nancy; Medard, Muriel; Musial, Peter (2013-07-17)
      This paper considers the communication and storage costs of emulating atomic (linearizable) read/write shared memory in distributed message-passing systems. We analyze the costs of previously-proposed algorithms by Attiya, ...