6800 search results - page 612 / 1360 » Testing with Functions as Specifications |
180
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
154
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
241
click to vote
ISBI
2011
IEEE
14 years 11 months ago
2011
IEEE
High angular resolution diffusion imaging (HARDI) allows population studies of fiber integrity and connectivity. Tractography can extract individual fibers. For group studies, fib...
210
click to vote
Publication
In this paper we describe a new class of representations for realvalued parameters called Center of Mass Encoding (CoME). CoME is based on variable length strings, it is self-adap...
213
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...