16 search results - page 1 / 4 » Symmetry and Concurrency |
Publication
A new Blink Tree latching method and protocol simplifies implementation of Lehman and Yao's high
concurrency Blink Tree with Jaluta's balanced Blink Tree methods with in...
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
ENTCS
2007
13 years 4 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
SPIN
2009
Springer
13 years 11 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
CVPR
2006
IEEE
14 years 6 months ago
2006
IEEE
Shape symmetry is an important cue for image understanding. In the absence of more detailed prior shape information, segmentation can be significantly facilitated by symmetry. How...