1241 search results - page 48 / 249 » Path-oriented random testing |
109
Voted
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
98
Voted
PAMI
2008
15 years 2 months ago
2008
A randomized model verification strategy for RANSAC is presented. The proposed method finds, like RANSAC, a solution that is optimal with user-specified probability. The solution i...
116
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper describes a new approach to modeling duration for LVCSR using SCARF, a toolkit for speech recognition with segmental conditional random fields. We utilize SCARF’s abi...
102
click to vote
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
— The paper presents a simple stochastic model of a True Random Number Generator, which extracts randomness from the tracking jitter of a phase-locked loop. The existence of such...
128
Voted
ICOIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...