14360 search results - page 20 / 2872 » Time Modeling in MARTE |
114
click to vote
FBT
1998
15 years 4 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
132
click to vote
IJCSA
2007
15 years 2 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
131
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
116
click to vote
FMSD
2006
15 years 3 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
122
click to vote
ICCAD
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract— This paper presents an allocation method of decoupling capacitance that explicitly considers timing. We have found and focused that decap does not necessarily improve a...