5015 search results - page 429 / 1003 » Model Checking a Path |
196
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
190
click to vote
FUIN
2010
15 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
286
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
154
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present algorithms for improved Viterbi decoding for the case of hidden semi-Markov models. By carefully constructing directed acyclic graphs, we pose the decoding problem as t...
167
click to vote
CVGIP
2006
15 years 6 months ago
2006
Swirling-sweepers is a new method for modeling shapes while preserving volume. The artist describes a deformation by dragging a point along a path. The method is independent of th...