68 search results - page 8 / 14 » Incremental Algorithms for Inter-procedural Analysis of Safe... |
134
click to vote
DAMON
2008
Springer
15 years 1 months ago
2008
Springer
NAND flash memory is fast becoming popular as a component of large scale storage devices. For workloads requiring many random I/Os, flash devices can provide two orders of magnitu...
107
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
132
click to vote
FORTE
1994
15 years 28 days ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper we present a novel method for removing page rule lines in monochromatic handwritten Arabic documents using subspace methods with minimal effect on the quality of the...
128
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...