3889 search results - page 422 / 778 » The Use of Program Dependence Graphs in Software Engineering |
246
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
168
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
159
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
168
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
163
click to vote
CC
2005
Springer
16 years 8 days ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...