1105 search results - page 157 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
127
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
114
click to vote
VIIP
2001
15 years 4 months ago
2001
Most of the previous multiresolution models use exclusively the triangle graphic primitive both in the data structure and in the rendering stage. Only a few models use another gra...
119
click to vote
JSW
2007
15 years 3 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
129
click to vote
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
122
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...