612 search results - page 78 / 123 » Using Static Analysis to Improve Automatic Test Generation |
DAC
2003
ACM
16 years 24 days ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...
113
click to vote
ACL
2012
13 years 2 months ago
2012
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...
105
click to vote
KES
2006
Springer
14 years 11 months ago
2006
Springer
This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...
SIGMETRICS
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
ICASSP
2010
IEEE
15 years 12 hour ago
2010
IEEE
In this paper, we compare several approaches for the extraction of modulation frequency features from speech signal using a phoneme recognition system. The general framework in th...