30 search results - page 1 / 6 » A Review Approach to Detecting Structural Consistency Violat... |
ACISICIS
2005
IEEE
13 years 10 months ago
2005
IEEE
ICECCS
2006
IEEE
13 years 10 months ago
2006
IEEE
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
IEEEPACT
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...