![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3rd RTS 1991: Paris-Orsay, France
- Euromicro '91 Workshop on Real Time Systems, RTS 1991, Université Paris XI, Paris-Orsay, France, June 12-14, 1991, Proceedings. IEEE 1991, ISBN 0-8186-2210-5
- Paul T. Ward:
A complexity control strategy for large system models. 2-9 - Kari Systä:
A graphical tool for specification of reactive systems. 12-19 - Miguel Felder, Angelo Morzenti:
Real-time system validation by model checking in TRIO. 20-28 - Andreas Steininger
, Herbert Schweinzer:
Can the advantages of RISC be utilized in real time systems? 30-35 - Lennart Lindh:
Fastchart-a fast time deterministic CPU and hardware based real-time-kernel. 36-40 - David Blair Kirk, Jay K. Strosnider, John E. Sasinowski:
Allocating SMART cache segments for schedulability. 41-50 - Werner Brockmann:
Real-time architecture for knowledge processing systems. 52-60 - Doug Foxvog
, Matti Kurki:
Survey of real-time and on-line diagnostic expert systems. 61-69 - J. Ancelin, F. Cheriaux, J.-P. Gaussot, D. Pichot, G. Sancerni, G. Voisin:
KSE: a real-time expert system to diagnose nuclear power plant failures. 70-76 - P. J. Pulli, M. L. Salmela:
Hard real-time prototyping of SA/RT specifications. 80-87 - Angelo Montanari, Elena Ratto, Edoardo Corsetti
, Angelo Morzenti:
Embedding time granularity in logical specifications of real-time systems. 88-97 - Sanjoy K. Baruah, Louis E. Rosier, Donald A. Varvel:
Static and dynamic scheduling of sporadic tasks for single-processor systems. 100-105 - Ljerka Beus-Dukic, Andy J. Wellings:
Scheduling time constrained messages on miniMAP. 106-110 - Ghasem S. Alijani, Horst F. Wedde:
A task scheduling scheme for real-time multi-robotics systems. 111-117 - Tapio Taipale, Sakari Pieskä, Jukka Riekki
:
Dynamic planning based control of autonomous machine. 120-126 - Thomas Knieriemen, Ewald von Puttkamer, Jörg Roth:
Extracting lines, circular segments and clusters from radar pictures in real time for an autonomous mobile robot. 127-135 - Jean-Claude Heudin:
KOS: a knowledge-based operating system for real-time onboard applications of artificial intelligence. 138-144 - Hiromitsu Shirakawa, Roberto Lopez-Gulliver
, Shoji Inabayashi, T. Nakagawa:
Theta: an object-oriented operating system for intelligent process monitoring. 145-152 - Frank Gielen, M. Timmerman:
The design of DARTS: a dynamic debugger for multiprocessor real-time applications. 153-161 - Vered Gafni:
Reactions: an activation scheme specification language. 164-173 - Padmanabhan Krishnan:
Real-time action. 174-182 - Borko Furht, R. Luken:
The Space Shuttle launch computer control system at NASA Kennedy Space Center. 184-192 - Abdennasser Chebira, Roger Reynaud, Thierry Maurin, Daniel Berschandy:
On board data fusion and decision system used for obstacle detection: a network and a real time approach. 193-200 - H. G. Tillema, Albert L. Schoute, K. C. J. Wijbrans:
An operating environment for control systems on transputer networks. 202-206 - Sang Hyuk Son, Carmen C. Iannacone, Marc S. Poris:
RTDB: a real-time database manager for time-critical applications. 207-214 - Marina Dao, Kwei-Jay Lin:
Remote procedure call protocols for real-time systems. 216-223 - Wiek Vervoort, R. te West, Albert L. Schoute, J. Hofstede:
Distributed time-management in transputer networks. 224-230
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.