3889 search results - page 76 / 778 » The Use of Program Dependence Graphs in Software Engineering |
136
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
117
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
163
click to vote
JFP
2007
15 years 3 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
150
Voted
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
115
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Decoupled Software Pipelining (DSWP) is one approach to automatically extract threads from loops. It partitions loops into long-running threads that communicate in a pipelined man...