Searching for "Design of Dependable Real-Time Systems." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
- …, F-35042 Rennes Abstract. Synchronous languages are well suited for the design of dependable real-time…
- Cited by 3 (1 self) – Add To MetaCart
-
Reactive Types
- … for the design of dependable real-time systems. Synchronous languages enable a very high-level specification…
- Cited by 2 (2 self) – Add To MetaCart
-
An Ml-Like Module System for the Synchronous Language Signal
- … Abstract. Synchronous languages, such as Signal, are best suited for the design of dependable real-time…
- Cited by 3 (1 self) – Add To MetaCart
-
Achieving Fault-Tolerant Ordered Broadcasts in CAN
- …, 5]. Even those protocols which are explicitly designed for dependable real-time systems, like [6…
- Cited by 8 (0 self) – Add To MetaCart
-
Distributed Computer-Controlled Systems: The Dear-Cots Approach
- … to the problem of designing dependable real-time systems (e.g. DELTA-4 (Powell, 1991), MARS (Kopetz et al., 1989…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 5.
