1105 search results - page 127 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
116
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
130
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
120
Voted
SSD
2001
Springer
15 years 8 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
124
Voted
SOFSEM
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
142
click to vote
OPODIS
2010
15 years 1 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...