2935 search results - page 352 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
151
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
A rational Arnoldi method for passivity-preserving model-order reduction (MOR) with implicit multi-point moment matching for systems with frequency-dependent interconnects is desc...
162
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
161
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Due to technology limitations as well as stringent operating conditions that are imposed, the design of fully integrated analog RF front-end circuits is aimed at the edge of the r...
178
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
The accuracy of part-of-speech (POS) tagging for unknown words is substantially lower than that for known words. Considering the high accuracy rate of up-to-date statistical POS t...