Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd 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
a service of 
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.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
