161 search results - page 14 / 33 » Automated atomicity-violation fixing |
DAC
2001
ACM
14 years 8 months ago
2001
ACM
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partially fixed. At ...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
HOTSWUP
2009
ACM
14 years 5 days ago
2009
ACM
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
AOSE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
ACL
1996
13 years 8 months ago
1996
Most natural language processing tasks require lexical semantic information. Automated acquisition of this information would thus increase the robustness and portability of NLP sy...