1664 search results - page 71 / 333 » Testing in the Component Age |
COMPUTER
1999
13 years 9 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
QSIC
2003
IEEE
14 years 2 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
DAC
1998
ACM
14 years 1 months ago
1998
ACM
This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...