1299 search results - page 150 / 260 » On the Correctness of Operating System Kernels |
186
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
152
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
150
click to vote
ICIAP
2001
Springer
15 years 11 months ago
2001
Springer
The paper proposes a temporal filtering technique for the disparity measurements generated by area-based stereomatching algorithms. The technique improves temporal consistency of...
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
227
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...