7167 search results - page 242 / 1434 » A Technique for Invariant Generation |
172
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we present results for significantly improving the performance of sequential circuit diagnostic test pattern generation (DATPG). Our improvements are achieved by de...
196
click to vote
VTS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes an ATPG technique that reduces power dissipation during the test of sequential circuits. The proposed approach exploits some redundancy introduced during the t...
258
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
225
click to vote
AOSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
195
click to vote
EMNLP
2004
15 years 8 months ago
2004
We apply statistical machine translation (SMT) tools to generate novel paraphrases of input sentences in the same language. The system is trained on large volumes of sentence pair...