3889 search results - page 484 / 778 » The Use of Program Dependence Graphs in Software Engineering |
110
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed algorithms automatically group similar portions of a program’s execution ...
184
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
199
click to vote
ICSE
2012
IEEE-ACM
13 years 7 months ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...
121
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
134
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...