Skip to main content

3 Result(s)

within English Remove this filter Computer Science Remove this filter Artificial Intelligence 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

    Fastpath Speculative Parallelization

    We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thread, which executes at almost-native speed,...

    Michael F. Spear, Kirk Kelsey, Tongxin Bai… in Languages and Compilers for Parallel Compu… (2010)

  3. No Access

    Chapter and Conference Paper

    Ordering-Based Semantics for Software Transactional Memory

    It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve, particularly when—as in the ...

    Michael F. Spear, Luke Dalessandro… in Principles of Distributed Systems (2008)