Results 231 to 240 of about 2,569,154 (268)

Analysis of Checkpointing for Real-Time Systems

Real-Time Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sasikumar Punnekkat, Alan Burns 0001, Robert I. Davis 0001   +2 more
openaire   +1 more source

REAL-TIME PROCEDURES IN DISTRIBUTED SYSTEMS

IFAC Proceedings Volumes, 2005
Abstract The design of real-time systems can be accomplished using various modelling techniques in which the timing specification has to be included. At such level of abstraction, the functionality might be described using real-time procedures. These procedures specify the actions to be accomplished without any knowledge about the system architecture,
Calha, Mário, Silva, Valter, Fonseca, José   +2 more
openaire   +2 more sources

Real-time Distributed Systems

1993
Abstract The Software Engineering Institute (SEI) is a Federally Funded Research and Development Center (FFRDC) sponsored by the U.S. Department of Defense. The SEI was established in 1984 to improve the state of the practice in the development of software systems. A central component of the SEI strategy is technology transition.
openaire   +1 more source

Embedded/Real-Time Systems

The International Journal of High Performance Computing Applications, 2001
Daniel S. Katz, Jeremy Kepner
openaire   +1 more source

A critical review of real-time modelling of flood forecasting in urban drainage systems

Journal of Hydrology, 2022
Kourosh Behzadian, Farzad Piadeh, Amir M Alani   +2 more
exaly  

The correctness of a distributed real-time system

2008
In dieser Arbeit betrachten und erweitern wir den durchgängigen Korrektheitsbeweis für ein asynchrones verteiltes Echtzeitsystem aus [KP07a]. Wir gehen in zwei Schritten vor: Zuerst betrachten wir eine einzelne elektronische Kontrolleinheit (ECU) bestehend aus einem Prozessor (welcher das OSEKtime ähnliche Betriebsystem OLOS ausführt) und einem FlexRay
openaire   +3 more sources

The real time system

ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 1972
openaire   +1 more source

Real-time systems

Journal of Systems Architecture, 1996
openaire   +1 more source

Real-Time and Distributed Real-Time Systems

2016
Amitava Gupta, Anil Kumar Chandra, Peter Luksch   +2 more
openaire   +1 more source

Real-time systems

Proceedings of the 1st annual computer science conference on Program information abstracts - CWC '73, 1973
openaire   +1 more source