7167 search results - page 142 / 1434 » A Technique for Invariant Generation |
175
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a technique for efficiently generating random numbers from a given probability distribution. This is achieved by using a generic hardware architecture, which t...
198
click to vote
ICSM
2007
IEEE
16 years 20 days ago
2007
IEEE
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
176
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
164
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
We survey a number of tools that have been developed for generating sets of colours according to commonly accepted rules for colour harmony. Informal manual techniques for generati...
151
click to vote
UAI
1994
15 years 7 months ago
1994
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach--a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabil...