3889 search results - page 235 / 778 » The Use of Program Dependence Graphs in Software Engineering |
158
click to vote
KBSE
2007
IEEE
16 years 26 days 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: ...
193
click to vote
LCPC
2005
Springer
16 years 2 days 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 ...
190
click to vote
WCET
2010
15 years 4 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...
152
click to vote
ICSM
2008
IEEE
16 years 1 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...
187
click to vote
IEEEPACT
1999
IEEE
15 years 11 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...