2346 search results - page 343 / 470 » Hierarchical State Machines |
168
click to vote
ICCAD
1992
IEEE
15 years 10 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...
177
click to vote
WDAG
1993
Springer
15 years 10 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 ...
173
click to vote
APN
2009
Springer
15 years 10 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 ...
182
click to vote
APSEC
2007
IEEE
15 years 10 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...
200
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...