3335 search results - page 531 / 667 » Grid result checking |
128
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
121
Voted
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
With a large number of surveillance cameras, it is not an easy task to determine which camera should be monitored and which region of the camera images should be checked so that al...
141
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
107
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
140
click to vote
PLDI
2006
ACM
15 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...