Skip to main content

3 Result(s)

within English Remove this filter Computer Science Remove this filter Information Systems Applications (incl. Internet) Remove this filter MICHAEL L. SCOTT Remove this filter Chapter Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model

    This paper provides a theoretical and practical framework for crash-resilient data structures on a machine with persistent (nonvolatile) memory but transient registers and cache. In contrast to certain prior w...

    Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott in Distributed Computing (2016)

  2. No Access

    Chapter and Conference Paper

    Toward a Formal Semantic Framework for Deterministic Parallel Programming

    Deterministic parallelism has become an increasingly attractive concept: a deterministic parallel program may be easier to construct, debug, understand, and maintain. However, there exist many different defini...

    Li Lu, Michael L. Scott in Distributed Computing (2011)

  3. No Access

    Chapter and Conference Paper

    Transactions as the Foundation of a Memory Consistency Model

    We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way around. A traditional critical se...

    Luke Dalessandro, Michael L. Scott, Michael F. Spear in Distributed Computing (2010)