Theses most similar to Timestamp ordering and nested transactions (Aspnes, James D. (James David); 1987) read it

Subtyping in alloy

Torlak, Emina, 1979- (2004)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Time optimal self-stabilizing spanning tree algorithms

Aggarwal, Sudhanshu Madan (1994)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Fast incremental unit propagation by unifying watched-literals and local repair

Qu, She (2006)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

Model-based planning through constraint and causal order decomposition

Chung, Seung H. (Seung Hwa), 1975- (2008)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

Algorithms for data-race detection in multithreaded programs

Cheng, Guang-Ien, 1975- (1998)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Semantics of communicating parallel processes.

Greif, Irene (1975)

  • Advisor: Carl Hewitt
  • Department of Electrical Engineering and Computer Science
Read it

Runtime verification for stochastic systems

Wilcox, Cristina M (2010)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

Flexible execution of plans with choice and uncertainty

Conrad, Patrick Raymond (2010)

  • Advisor: Brian C. Williams
  • Department of Aeronautics and Astronautics
Read it

A partitioned computation machine

Streeter, Kenneth Brett (1990)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

The static single information form

Ananian, C. Scott (Clifford Scott), 1976- (2001)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
Read it