1023 search results - page 188 / 205 » A Formal Method for Program Slicing |
125
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
131
click to vote
SFM
2005
Springer
15 years 6 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
106
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
110
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
141
click to vote
SCOPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...