4164 search results - page 109 / 833 » Timing model reduction for hierarchical timing analysis |
200
click to vote
ADHOCNOW
2004
Springer
15 years 11 months ago
2004
Springer
Consider k particles, 1 red and k −1 white, chasing each other on the nodes of a graph G. If the red one catches one of the white, it “infects” it with its color. The newly ...
136
click to vote
FSKD
2007
Springer
16 years 15 days ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
135
click to vote
ATVA
2009
Springer
16 years 28 days ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
185
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
150
click to vote
FDL
2007
IEEE
16 years 20 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...