637 search results - page 53 / 128 » Inconsistency-Tolerant Integrity Checking |
123
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
141
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
154
Voted
JUCS
2010
14 years 10 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
176
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
124
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...