637 search results - page 56 / 128 » Inconsistency-Tolerant Integrity Checking |
109
Voted
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
127
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
142
Voted
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
130
Voted
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
131
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...