2108 search results - page 267 / 422 » An Operational Semantics for Stateflow |
132
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
128
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
126
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
153
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
109
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...