default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th RTS 1993: Oulu, Finland
- Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. IEEE 1993, ISBN 0-8186-4110-X
Modeling
- Reino Kurki-Suonio:
Real Time: Further Misconceptions or Half-Truths. 2-7 - Carsten Weise, Tiziana Margaria
:
Continuous Real Time Models in Practice. 8-13 - Veikko Seppänen, Yoshihiro Matsumoto:
Conceptual Modeling of Families of Real-Time Systems. 14-19
Artificial Intelligence I
- Haihong Dai, John G. Hughes, Terry J. Anderson:
Object-Oriented Knowledge Representation and Real-Thne Problem-Solving. 22-27 - Eugénio C. Oliveira, Fernando Mouta:
Meeting Task Deadlines in a Community of Cooperative Intelligent Systems. 28-33
Scheduling I
- Neil C. Audsley, Ken Tindell, Alan Burns:
The End Of The Line For Static Cyclic Scheduling? 36-41 - Hidenori Nakazato, Kwei-Jay Lin:
Concurrency Control Algorithm for Real-Time Tasks with Read/Write Operations. 42-47 - Alan Burns, Andrew J. Wellings:
Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation. 48-53
Prototyping
- Antti Auer, Timo Jokela:
Customer Oriented Requirements Analysis of Real-Time Systems. 56-61 - Hans-Jürgen Herpel, Michael Held, Manfred Glesner:
Real-Time System Prototyping Based on a Heterogeneous Multi-Processor Environment. 62-67
Operating Systems I
- Young-Kuk Kim, Sang Hyuk Son:
An Approach Towards Predictable Real-Time Transaction Processing. 70-75 - Alejandro Alonso, Juan Antonio de la Puente:
Dynamic replacement of software in hard real-time systems. 76-81 - Ari Okkonen, Mikko Levanto, Jyrki Okkonen, Antti Auer, Jarmo Kalaoja, Heikki Päivike:
ReaGOS - An Application Specific R/T-OS. 82-87
Object Oriented Approaches
- Christer Eriksson, Jan Gustafsson, Jerk Brorson, Mikael Gustafsson:
An Object-Oriented Framework for Designing Hard Real-Time Systems. 90-97 - Giovanni Lofrumento, Vincenzo Fazio:
An Object-Oriented Representation of Real-Time Application Domains. 98-103 - Reijo Savola, Marko Salmela, Petri Pulli, Marko Heikkinen:
Executable Object-Oriented Graphical Models of Real-Time Software. 104-109
Scheduling II
- Sudhir Aggarwal, Chakib Chraibi:
On the Scheduling of Hyperperiodic Tasks. 112-117 - Klaus Gresser:
An Event Model for Deadline Verification of Hard Real-Time Systems. 118-123 - Kitae Hwang, Heonshik Shin:
Real-Time Disk Scheduling Based on Urgent Group and Shortest Seek Time First. 124-130
Panel Discussion - Real Time Scheduling
- Kwei-Jay Lin:
Scheduling Models for Real-Time Systems. 133-134 - P. H. Watson:
Lack of Precision in Standards-Based Real-Time Distributed Systems. 135 - Horst F. Wedde:
Present and Future Challenges for Scheduling in Mission-Critical Systems. 136 - Wei Zhao:
Predictability and Scalability of Real-Time Scheduling. 137
Artificial Intelligence II
- M. Timmerman, Frank Gielen, Patrick Lambrix:
High Level Tools for the Debugging of Real-Time Multiprocessor Systems. 140-146 - Douglas Renaux, Paul P. Dasiewicz:
RTX-Parlog: Real-Time Extended Parlog. 147-153
Control Systems
- Maarten Boasson:
Control Systems Software. 156-161 - Martin Törngren, Bengt Garbergs, Hans Berggren:
A Distributed Computer Testbed for Real-Time Control of Machinery. 162-167 - Klaus-Werner Jörg, Martin Palmes, Ewald von Puttkamer:
Pilot Specific Realtime World Modeling for an Autonomous Mobile Robot using heterogeneous Sensor Information. 168-173
Special Presentation
- Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, Anders P. Ravn:
Developing Correct Systems. 176-187
Operating Systems II
- Horst F. Wedde, Bogdan Korel, Jon A. Lind:
Highly Integrated Task and Resource Scheduling for Mission-Critical Systems. 190-195 - Pertti Seppänen, H. Päivike:
A Time-Driven Extension for a Commercial Multi-Purpose Operating System. 196-201
Petri Net Models
- Zebo Peng, Anders Törne:
A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. 204-209 - M. Amghar, H. Lecocq:
Real-Time Systems Control Based on Object Oriented Concepts and Petri Nets. 210-215
Timing Analysis
- Leo Motus:
Analytical Study of Quantitative Timing Properties of Software. 218-223 - Peter P. Puschner, Anton V. Schedl:
A Tool for the Computation of Worst Case Task Execution Times. 224-229
Fault Tolerance
- Rudolph E. Seviora:
Models for Real-Time Supervision. 232-237 - Riccardo Bettati:
On-Line Scheduling for Checkpointing Imprecise Computation. 238-243
Architecture
- Frank Stanischewski:
FASTCHART - Performance, Benefits and Disadvantages of the Architecture. 246-250 - Lennart Lindh:
A Real-Time Kernel implemented in one chip. 251-254
Reactive Intelligent Systems
- Martin Adelantado, Frédéric Boniol, Manuel Cubero-Castan, V. David, Bernard Lécussan, R. Porche:
Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems. 256-261 - Charles André, Marie-Agnès Peraldi:
Effective Implementation of ESTEREL programs. 262-267 - Ève Coste-Manière:
A Synchronous/Asynchronous Approach to Robot Programming. 268-273 - Mamoun Filali, Philippe Mauran, Gérard Padiou:
Unity, as a Tool for Reactive Systems Specification and Derivation. 274-279
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-11-11 21:15 CET 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:
