2825 search results - page 105 / 565 » Support for Object-Oriented Testing |
117
click to vote
VLSID
2009
IEEE
16 years 3 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
130
click to vote
MTV
2005
IEEE
15 years 8 months ago
2005
IEEE
Semiconductor manufacturers aim at deliver new devices within shorter times in order to gain market shares. First silicon debug is an important issue in order to minimize the time...
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
116
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
100
click to vote
CBMS
2009
IEEE
15 years 9 months ago
2009
IEEE
The category of institution or organization underwriting the research reported in a scientific article is a required field (Grant Support type) in the bibliographic record of that...