4469 search results - page 312 / 894 » Dynamic Program Slicing |
122
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
110
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
135
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
110
Voted
ICTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
106
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...