207 search results - page 19 / 42 » Testing and Model-Checking Techniques for Diagnosis |
123
click to vote
MTV
2006
IEEE
15 years 5 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
107
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
EWCBR
2008
Springer
15 years 1 months ago
2008
Springer
The use of computational methods is fundamental in cancer research. One of the possibilities is the use of Artificial Intelligence techniques. Several of these techniques have been...
108
click to vote
HIS
2008
15 years 1 months ago
2008
Microarray technology allows to measure the expression levels of thousands of genes in an experiment. The use of computational methods is fundamental in cancer research. One of th...