3387 search results - page 46 / 678 » Model-Checking for Real-Time Systems |
RTSS
2003
IEEE
14 years 27 days ago
2003
IEEE
ISORC
2000
IEEE
14 years 6 hour 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...
ECRTS
2006
IEEE
14 years 1 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...
ECRTS
2004
IEEE
13 years 11 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...
DAC
1998
ACM
14 years 8 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...