3387 search results - page 46 / 678 » Model-Checking for Real-Time Systems |
83
Voted
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
126
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
129
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
136
Voted
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
We present an approach to partitioning and mapping for multicluster embedded systems consisting of time-triggered and eventtriggered clusters, interconnected via gateways. We have...
119
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...