255 search results - page 41 / 51 » New Paradigm of Inference Control with Trusted Computing |
126
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
118
Voted
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
148
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
113
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Mixed-Mode simulation has been generating considerable interest in the simulation community and has continued to grow as an active research area. Traditional mixed-mode simulation...
150
Voted
ACMDIS
1997
ACM
15 years 8 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...