1036 search results - page 3 / 208 » Utilizing Validation Experience for System Validation |
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
FLAIRS
2004
13 years 6 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
CLEF
2011
Springer
12 years 5 months ago
2011
Springer
The article presents the experiments carried out as part of the
FTCS
1998
13 years 6 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...