3335 search results - page 521 / 667 » Grid result checking |
128
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
154
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
145
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
123
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Image registration is crucial for various image analysis tasks. In particular, most approaches to correction of bleed-through distortion on handwritten document images require the...
147
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...