939 search results - page 115 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
130
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
117
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
136
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
133
Voted
ISCA
2003
IEEE
15 years 9 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
147
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...