Titlebook: Real Time Computing; Wolfgang A. Halang,Alexander D. Stoyenko Conference proceedings 1994 Springer-Verlag Berlin Heidelberg 1994 Echtzeits

迫擊炮

978-3-642-88051-3Springer-Verlag Berlin Heidelberg 1994

健壯

Real Time Computing978-3-642-88049-0Series ISSN 0258-1248

custody

防止

收到

0258-1248 this important and challengjng subject for the first time in the framework of NATO‘s ASI programme. The significance of real-time systems in everyones‘ life is rapidly growing. The vast spectrum of these systems can be characterised by just a few examples of increasing complexity: controllers in was

nutrition

Algorithmic Methods for Real-Time Schedulingong which scheduling algorithms work. The purpose of this contribution is to give an overview on the main algorithmic approaches applied in real-time scheduling. Different methods for solving selected problem classes are discussed.

obstinate

Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating Systh concepts of the Dependable Distributed Operation System (DEDOS), which is presently under development at the Department of Computing Science of the EUT. It is shown that synchronization is one of the most important issues in concurrent and distributed real-time systems.

約會(huì)

Formal Specification and Timing Analysis of High-Integrity Real-Time Systemssociated timing analysis procedure. We then illustrate a restriction of the general model and a specialized analysis procedure. Concepts are mainly illustrated via examples and informal descriptions. The reader is directed to the published literature for formal details.

MELD

一小塊

Is Time a Real Time? An Overview of Time Ontology in Informaticss developed in the framework of these disciplines, many useful concepts have been derived also for computer science. Architectural aspects of computer systems, Information Systems applications, and Real-time systems, are considered as temporally problematic domains.