828 search results - page 101 / 166 » A New Model of Program Dependences for Reverse Engineering |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
CCE
2004
13 years 10 months ago
2004
Optimal control problems involve the difficult task of determining time-varying profiles through dynamic optimization. Such problems become even more complex in practical situatio...
DBPL
1993
Springer
14 years 2 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
ISSTA
2010
ACM
14 years 5 days ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
CJ
1999
13 years 9 months ago
1999
In a distributed real-time database system (DRTDBS), a commit protocol is required to ensure transaction failure atomicity. If data conflicts occur between executing and committin...