4930 search results - page 123 / 986 » Testing a Safety-Critical Application |
156
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We consider the problem of sequential hypothesis testing when the exact pdfs are not known but instead a set of iid samples are used to describe the hypotheses. We modify the clas...
161
click to vote
ISSTA
2009
ACM
16 years 23 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
133
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...
150
click to vote
GLVLSI
2006
IEEE
16 years 9 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
151
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Testing of VLSI circuits can cause generation of excessive heat which can damage the chips under test. In the random testing environment, high-performance CMOS circuits consume sig...