637 search results - page 21 / 128 » Inconsistency-Tolerant Integrity Checking |
DSD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...
81
Voted
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....