4716 search results - page 330 / 944 » Iterative-free program analysis |
167
click to vote
IH
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents an implementation of the novel watermarking method proposed by Venkatesan, Vazirani, and Sinha in their recent paper A Graph Theoretic Approach to Sof...
184
click to vote
CLUSTER
2003
IEEE
15 years 12 months ago
2003
IEEE
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
186
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
165
click to vote
ICEGOV
2007
ACM
15 years 10 months ago
2007
ACM
The paper analyses existing open source licenses with the aim of choosing a license that is suitable for e-Governance projects. A method is presented for systematically choosing t...
184
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...