3889 search results - page 566 / 778 » The Use of Program Dependence Graphs in Software Engineering |
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
107
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
119
click to vote
TOSEM
2002
15 years 4 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
149
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
150
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...