2514 search results - page 289 / 503 » The use of industrial-strength formal methods |
155
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
208
click to vote
ICML
1999
IEEE
16 years 7 months ago
1999
IEEE
AdaCost, a variant of AdaBoost, is a misclassification cost-sensitive boosting method. It uses the cost of misclassifications to update the training distribution on successive boo...
191
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
171
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
145
click to vote
HASE
2007
IEEE
16 years 27 days ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...