3889 search results - page 228 / 778 » The Use of Program Dependence Graphs in Software Engineering |
133
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
143
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
154
click to vote
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
132
click to vote
APSEC
1995
IEEE
15 years 8 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
128
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...