𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Design and checking of a large ADA real-time system

✍ Scribed by Jean-Louis Théron

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
428 KB
Volume
293
Category
Article
ISSN
0168-9002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems Design and Analysis (L
Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || Software System Design
✍ Laplante, Phillip A. 📂 Article 📅 2004 🏛 John Wiley & Sons, Inc. 🌐 English ⚖ 625 KB

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Lap

Design principles of a resource sharing
Design principles of a resource sharing real-time—System
✍ B. Gliss 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 220 KB

Criteria for developing a resource sharing real time system are given. Resource sharing necessitates extra precautions for guaranteeing stable operating conditions. Some relevant measures to insure reliability and maintainability of the system are discussed.

Large field-of-view real-time MRI with a
Large field-of-view real-time MRI with a 32-channel system
✍ Christopher J. Hardy; Robert D. Darrow; Manojkumar Saranathan; Randy O. Giaquint 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 658 KB

## Abstract The emergence of parallel MRI techniques and new applications for real‐time interactive MRI underscores the need to evaluate performance gained by increasing the capability of MRI phased‐array systems beyond the standard four to eight high‐bandwidth channels. Therefore, to explore the a

Real-Time Systems || Design and Analysis
Real-Time Systems || Design and Analysis of Propositional-Logic Rule-Based Systems
✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 837 KB

Real-time decision systems are computer-controlled systems that must react to events in the external environment by making decisions based on sensor inputs and state information sufficiently fast to meet environment-imposed timing constraints. They are used in applications that would require human e