search

hengxin / ConsistencyChecking

PRAM consistency checking in the context of distributed shared memory systems
MIT License
4 stars 2 forks source link

Paper: Section 5 —— Read Centric Verifying Algorithm #19

Open hengxin opened 11 years ago

hengxin commented 11 years ago

TODO List:

  1. data structure for GAW
  2. Analysis: time complexity of topological sorting in reschedule; dynamic insertion of edges
  3. Lemma: Order of reschedule???
  4. about references of Data Structure
  5. Proc. reference