3889 search results - page 338 / 778 » The Use of Program Dependence Graphs in Software Engineering |
120
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This work targets the emerging use of software component technology for high-performance scientific parallel and distributed computing. While component software engineering will ...
128
click to vote
AGILEDC
2003
IEEE
15 years 10 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
166
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
140
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
129
click to vote
OORASE
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...