default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th RTS 1995: Odense, Denmark
- 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995. IEEE Computer Society 1995, ISBN 0-8186-7112-2
Keynote Session 1
- Alejandro Alonso
, Hanne Christensen, Luciano Baresi, Marko Heikkinen:
IDERS: an integrated environment for the development of hard real-time systems. 4-10 - Peter Loborg, Anders Törne:
A layered architecture for real time applications. 11-16 - Marco Agnoli, Alessandro Poli, Antonella Verdino, Francesco Tisato:
HyperReal One: the implementation, the environment and an example. 17-25
Session 2: Operating Systems
- Alejandro Alonso, Ignacio Casillas, Juan Antonio de la Puente:
Dynamic replacement of software in hard real-time systems: practical assessment. 26-33 - Krzysztof Sacha:
Measuring the real-time operating system performance. 34-41
Open Forum Session 1
- Jyrki Leskela, Marko Salmela, Marko Heikkinen, J. Hyvärinen:
Visualisation of real-time software in host-based simulation environment. 42-48 - Giacomo Bucci, Paolo Nesi:
Using TOOMS/TROL for specifying a cellular phone. 49-56 - Mikko Levanto:
A scheduling problem language. 57-61 - L. Maillet, Christian Fraboul:
Scheduling complex real-time tasks in an embedded distributed system. 62-65 - H. J. Beestermöller, Georg Thiele, J. Becker:
Fuzzy-control with a PEARL-based multi-loop controller. 66-70 - Paolo Achdjian, Sergio D'Angelo, Egidio Quadrini, Giacomo R. Sechi, Enrico G. Tanzi:
A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs. 71-79
Session 3: Scheduling
- Joo-Yong Kim, Kern Koh:
Pessimistic Deadline Ceiling Protocol: a concurrency control protocol under earliest deadline first scheduling. 80-86 - Ramesh Yerraballi, Ravi Mukkamala, Kurt Maly, Hussein M. Abdel-Wahab:
Issues in schedulability analysis of real-time systems. 87-92 - Houcine Hassan, Alfons Crespo, Ana García-Fornes:
Scheduling algorithms for improving the response in intelligent real-time environments. 93-98 - José Javier Gutiérrez García, Michael González Harbour:
Increasing schedulability in distributed hard real-time systems. 99-107
Session 4: Communications
- José A. Gil, Ana Pont, Juan José Serrano:
A performance study of several CSMA protocols for time constrained applications. 108-115 - Tino Pyssysalo, Pertti Raatikainen, Juha Zidbeck:
FSR-a fair switching architecture. 116-123 - Justin N. Akazan, Zoubir Mammeri:
MMS and time. 124-131 - Zoubir Mammeri, Justin N. Akazan:
An environment to ease the use of MMS. 132-139
Session 5: Modeling and Validation
- Juan Carlos Dueñas López, Gonzalo León Serrano:
Simulation of real time scheduling at design levels. 140-146 - Francesco Calzolari, Mauro Pezzè:
Property decomposition to speed up analysis. 147-154 - Vassilis C. Gerogiannis, Manthos A. Tsoukarellas:
SAT-a schedulability analysis tool for real-time applications. 155-163
Session 6: Specification
- Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen:
A distributed implementation of a mode switching control program. 164-168 - Johannes Ernst, Yankin Tanurhan, Klaus D. Müller-Glaser:
Using ObjectCharts to specify and design electronic systems. 169-175
Open Forum Session 2
- Éric Rutten, Florent Martinez:
SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL. 176-183 - Juan Echagüe, Ismael Ripoll, Alfons Crespo:
Hard real-time preemptively scheduling with high context switch cost. 184-190 - Nabil Zakhama, Pascal Estraillier:
Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems. 191-196 - Marko Kääramees:
Transforming designs towards implementations. 197-204 - Celso Antônio Alves Kaestner, Jean-Marie Farines:
A synchronous real-time knowledge-based system. 205-212 - Rein Paluoja:
A Q-model approach to decomposition and aggregation of specifications of real-time systems. 213-221
Session 7: Development Techniques
- Flavio De Paoli, Francesco Tisato:
Architectural abstractions and time modelling in HyperReal. 222-228 - Johann Blieberger, Roland Lieger:
Real-time recursive procedures. 229-235 - Jozef Hooman, Jüri Vain:
An integrated technique for developing real-time systems. 236-243 - Nimal Nissanke:
Towards refinement in realtime programming. 244-253
Session 8: Distributed Scheduling
- Charlie McElhone, Alan Burns, Robert I. Davis:
Hybrid algorithms for dynamic schedulability testing. 254-261 - Moreno Coli, Paolo Palazzari:
A new method for optimization of allocation and scheduling in real time applications. 262-269 - Jan Jonsson, Annika Olsson, Jonas Vasell:
Predicting real-time behaviour for data flow computations. 270-275 - Jakob Axelsson:
Analysis and improvement of task schedulability in hardware/software codesign. 276-285
Session 9: Distributed Systems
- Juan Manuel Adán Coello, Maurício F. Magalhães, Krithi Ramamritham:
Meeting hard real-time constraints using a client-server model of interaction. 286-293 - Oliver Botti, Lorenzo Capra, Carlo Bergomi:
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. 294-301 - Gerhard Schrott:
A multi-agent distributed real-time system for a microprocessor field-bus network. 302-309
Session 10: Data Base and Knowledge Based Systems
- Victor C. S. Lee, Kam-yiu Lam, Sheung-lun Hung, C. M. Wong:
Performance studies of concurrency control in distributed real-time database systems on ATM networks. 310-316 - Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son:
StarBase: a firm real-time database manager for time-critical applications. 317-322 - Inés del Campo, José Manuel Tarela:
A CAD tool to implement real-time fuzzy controllers on DSPs. 323-327
Session 11: Fault Tolerance
- Horst F. Wedde, Jon A. Lind, Andreas Eiss:
Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems. 328-335 - Manga J. P. Bekambo, Johan Vounckx, Geert Deconinck, R. Cuyvers, Rudy Lauwereins, J. A. Peperstraete:
Kernel services approach to fault-masking in real-time applications. 336-343 - S. Amund Skavhaug, Odd Pettersen:
MicroFaultTolerant (μFT)-a system for achieving cost effective fault tolerance in microcontroller based equipment. 344-351 - Soraya Bestaoui:
One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique. 352-358
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-08 20:17 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:
