4299 search results - page 396 / 860 » Concurrent Test Generation |
140
Voted
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
143
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
112
click to vote
ITC
2002
IEEE
15 years 10 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
186
click to vote
ACIVS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
132
click to vote
VTS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper focuses on observability, one of the open issues in High-Level test generation. Three different approximate metrics for taking observability into account during RT-leve...