4722 search results - page 360 / 945 » Encoding Program Executions |
185
click to vote
FMCAD
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
216
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
147
click to vote
FPL
2007
Springer
16 years 29 days ago
2007
Springer
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
146
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
158
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...