3889 search results - page 235 / 778 » The Use of Program Dependence Graphs in Software Engineering |
122
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
159
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
151
click to vote
WCET
2010
15 years 2 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
119
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a general approach for automatically isolating the root causes of memory-related bugs in software. Our approach is based on the observation that most memory bugs involv...
143
click to vote
IEEEPACT
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...