1753 search results - page 206 / 351 » State Machines |
153
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
143
click to vote
ICCAD
1992
IEEE
15 years 9 months ago
1992
IEEE
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...
153
Voted
WDAG
1993
Springer
15 years 9 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
154
Voted
APN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
148
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...