Abstract is missing.
- IDERS: an integrated environment for the development of hard real-time systemsAlejandro Alonso, Hanne Christensen, Luciano Baresi, Marko Heikkinen. 4-10 [doi]
- A layered architecture for real time applicationsPeter Loborg, Anders Törne. 11-16 [doi]
- HyperReal One: the implementation, the environment and an exampleMarco Agnoli, Alessandro Poli, Antonella Verdino, Francesco Tisato. 17-25 [doi]
- Dynamic replacement of software in hard real-time systems: practical assessmentAlejandro Alonso, Ignacio Casillas, Juan Antonio de la Puente. 26-33 [doi]
- Measuring the real-time operating system performanceKrzysztof Sacha. 34-41 [doi]
- Visualisation of real-time software in host-based simulation environmentJyrki Leskela, Marko Salmela, Marko Heikkinen, J. Hyvärinen. 42-48 [doi]
- Using TOOMS/TROL for specifying a cellular phoneGiacomo Bucci, Paolo Nesi. 49-56 [doi]
- A scheduling problem languageMikko Levanto. 57-61 [doi]
- Scheduling complex real-time tasks in an embedded distributed systemL. Maillet, Christian Fraboul. 62-65 [doi]
- Fuzzy-control with a PEARL-based multi-loop controllerH. J. Beestermöller, Georg Thiele, J. Becker. 66-70 [doi]
- A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDsPaolo Achdjian, Sergio D'Angelo, Egidio Quadrini, Giacomo R. Sechi, Enrico G. Tanzi. 71-79 [doi]
- Pessimistic Deadline Ceiling Protocol: a concurrency control protocol under earliest deadline first schedulingJoo-Yong Kim, Kern Koh. 80-86 [doi]
- Issues in schedulability analysis of real-time systemsRamesh Yerraballi, Ravi Mukkamala, Kurt Maly, Hussein M. Abdel-Wahab. 87-92 [doi]
- Scheduling algorithms for improving the response in intelligent real-time environmentsHoucine Hassan, Alfons Crespo, Ana García-Fornes. 93-98 [doi]
- Increasing schedulability in distributed hard real-time systemsJosé Javier Gutiérrez García, Michael González Harbour. 99-107 [doi]
- A performance study of several CSMA protocols for time constrained applicationsJosé A. Gil, Ana Pont, Juan José Serrano. 108-115 [doi]
- FSR-a fair switching architectureTino Pyssysalo, Pertti Raatikainen, Juha Zidbeck. 116-123 [doi]
- MMS and timeJustin N. Akazan, Zoubir Mammeri. 124-131 [doi]
- An environment to ease the use of MMSZoubir Mammeri, Justin N. Akazan. 132-139 [doi]
- Simulation of real time scheduling at design levelsJuan Carlos Dueñas López, Gonzalo León Serrano. 140-146 [doi]
- Property decomposition to speed up analysisFrancesco Calzolari, Mauro Pezzè. 147-154 [doi]
- SAT-a schedulability analysis tool for real-time applicationsVassilis C. Gerogiannis, Manthos A. Tsoukarellas. 155-163 [doi]
- A distributed implementation of a mode switching control programMichael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben O. Andersen. 164-168 [doi]
- Using ObjectCharts to specify and design electronic systemsJohannes Ernst, Yankin Tanurhan, Klaus D. Müller-Glaser. 169-175 [doi]
- SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNALÉric Rutten, Florent Martinez. 176-183 [doi]
- Hard real-time preemptively scheduling with high context switch costJuan Echagüe, Ismael Ripoll, Alfons Crespo. 184-190 [doi]
- Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systemsNabil Zakhama, Pascal Estraillier. 191-196 [doi]
- Transforming designs towards implementationsMarko Kääramees. 197-204 [doi]
- A synchronous real-time knowledge-based systemCelso Antonio Alves Kaestner, Jean-Marie Farines. 205-212 [doi]
- A Q-model approach to decomposition and aggregation of specifications of real-time systemsRein Paluoja. 213-221 [doi]
- Architectural abstractions and time modelling in HyperRealFlavio De Paoli, Francesco Tisato. 222-228 [doi]
- Real-time recursive proceduresJohann Blieberger, Roland Lieger. 229-235 [doi]
- An integrated technique for developing real-time systemsJozef Hooman, Jüri Vain. 236-243 [doi]
- Towards refinement in realtime programmingNimal Nissanke. 244-253 [doi]
- Hybrid algorithms for dynamic schedulability testingCharlie McElhone, Alan Burns, Robert I. Davis. 254-261 [doi]
- A new method for optimization of allocation and scheduling in real time applicationsMoreno Coli, Paolo Palazzari. 262-269 [doi]
- Predicting real-time behaviour for data flow computationsJan Jonsson, Annika Olsson, Jonas Vasell. 270-275 [doi]
- Analysis and improvement of task schedulability in hardware/software codesignJakob Axelsson. 276-285 [doi]
- Meeting hard real-time constraints using a client-server model of interactionJuan Manuel Adán Coello, Maurício F. Magalhães, Krithi Ramamritham. 286-293 [doi]
- Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applicationsOliver Botti, Lorenzo Capra, Carlo Bergomi. 294-301 [doi]
- A multi-agent distributed real-time system for a microprocessor field-bus networkGerhard Schrott. 302-309 [doi]
- Performance studies of concurrency control in distributed real-time database systems on ATM networksVictor C. S. Lee, Kam-yiu Lam, Sheung-lun Hung, C. M. Wong. 310-316 [doi]
- StarBase: a firm real-time database manager for time-critical applicationsMatthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son. 317-322 [doi]
- A CAD tool to implement real-time fuzzy controllers on DSPsInés del Campo, José Manuel Tarela. 323-327 [doi]
- Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systemsHorst F. Wedde, Jon A. Lind, Andreas Eiss. 328-335 [doi]
- Kernel services approach to fault-masking in real-time applicationsManga J. P. Bekambo, Johan Vounckx, Geert Deconinck, R. Cuyvers, Rudy Lauwereins, J. A. Peperstraete. 336-343 [doi]
- MicroFaultTolerant (/spl mu/FT)-a system for achieving cost effective fault tolerance in microcontroller based equipmentS. Amund Skavhaug, Odd Pettersen. 344-351 [doi]
- One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance techniqueSoraya Bestaoui. 352-358 [doi]