Skip to main content

2 Result(s)

within English Remove this filter Computer Science Remove this filter Software Engineering Remove this filter MICHAEL L. SCOTT Remove this filter Chapter Remove this filter

and

  1. 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)

  2. 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)