329 search results - page 46 / 66 » Applying adaptive test cases to nondeterministic implementat... |
CAV
2009
Springer
13 years 11 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper, a new recursive algorithm is proposed for optimal estimation of similarity measure used in a content-based retrieval system. This is performed through a relevance f...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...