717 search results - page 75 / 144 » Kill-safe synchronization abstractions |
139
click to vote
CISIS
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
151
click to vote
TACAS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
177
click to vote
WOLLIC
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
165
click to vote
ISNN
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. A method of human skin region detection based on PCNN is proposed in this paper. Firstly, the input origin image is translated from RGB color space to YIQ color space, an...
178
click to vote
MODELS
2009
Springer
16 years 17 days ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...