634 search results - page 97 / 127 » Completion Procedures as Semidecision Procedures |
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
ATS
2003
IEEE
14 years 1 months ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...