512 search results - page 8 / 103 » Distributed synthesis of real-time computer systems |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
BIRTHDAY
1999
Springer
14 years 26 days ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Clusters and distributed systems offer fault tolerance and high performance through load sharing, and are thus attractive in real-time applications. When all computers are up and ...
ISADS
2003
IEEE
14 years 1 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
ISORC
2000
IEEE
14 years 29 days 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...