6960 search results - page 221 / 1392 » Continuity Analysis of Programs |
119
Voted
PC
1998
15 years 3 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
154
Voted
JOT
2010
15 years 2 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
131
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
133
Voted
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...