3932 search results - page 578 / 787 » Adaptive Index Structures |
142
Voted
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
141
Voted
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Early removal of polyps has proven to decrease the incidence of colon cancer. We aim to increase the sensitivity of the screening by automatic detection of polyps. It requires accu...
137
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
176
Voted
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
136
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...