3889 search results - page 220 / 778 » The Use of Program Dependence Graphs in Software Engineering |
147
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
125
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
144
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
147
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
137
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...