669 search results - page 11 / 134 » Development and evaluation of a model of programming errors |
SIGCSE
2000
ACM
13 years 11 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
VL
2000
IEEE
13 years 11 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
OSDI
2000
ACM
13 years 8 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...