issues
search
hengxin
/
ConsistencyChecking
PRAM consistency checking in the context of distributed shared memory systems
MIT License
4
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Paper: Section 5 —— Read Centric Verifying Algorithm
#19
hengxin
opened
11 years ago
0
Paper: overview of Section 5 and outline of its subsections
#18
hengxin
opened
11 years ago
1
Paper: review Section 3 and Section 4
#17
hengxin
closed
11 years ago
2
Test: Joint tests for two checking algorithms
#16
hengxin
opened
11 years ago
1
Test: Handling with special testcase (observations)
#15
hengxin
closed
11 years ago
1
Field WritePool: Where to place?
#14
hengxin
closed
11 years ago
2
ReadIncChecker class: questions about the implementation of read-inc checking algorithm
#13
hengxin
opened
11 years ago
0
Check: extreme case in checking algorithm
#12
hengxin
opened
11 years ago
0
Doc: repair JavaDoc
#11
hengxin
opened
11 years ago
0
TestCase: How to generate executions with _high quality_?
#10
hengxin
closed
11 years ago
1
Partial self-test
#9
hengxin
closed
11 years ago
0
Migrating Code: ClosureGraph Algorithm
#8
hengxin
closed
11 years ago
4
Paper: to improve the Algorithm and find out the underlying principle
#7
hengxin
opened
11 years ago
0
ReadIncChecker Class: testcase Fig7
#6
hengxin
closed
11 years ago
2
ReadIncOperation Class: "cycle detection" in apply_wprimew_order method
#5
hengxin
opened
11 years ago
0
What do LatestWriteMap and GlobalActiveWritesMap do?
#4
hengxin
opened
11 years ago
0
ReadIncChecker Class: readFromDW method (remove writes)
#3
hengxin
opened
11 years ago
0
DotUI Class: visualization for GlobalActiveWritesMap
#2
hengxin
closed
11 years ago
1
ReadIncOperation Class: propagation in apply_wprimew_order method
#1
hengxin
opened
11 years ago
0