Abstract is missing.
- ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid SystemsJon G. Hall, Rogério de Lemos. 3-8 [doi]
- Deriving Real-Time Requirements for Software from Safety AnalysisJanusz Górski, Andrzej Wardzinski. 9-14 [doi]
- Worst-Case Blocking Scenarios for Distributed Real-Time ProgramsHorst F. Wedde, Arnim Wedig. 15-21 [doi]
- Time Wizard: A Design and Assessment Tool for Real-Time ApplicationsSérgio Vanderlei Cavalcante, D. J. Kinniment. 22-28 [doi]
- Feasibility Analysis of Fault-Tolerant Real-Time Task SetsAlan Burns, Robert I. Davis, Sasikumar Punnekkat. 29-33 [doi]
- Towards a Fixed Priority Scheduler for an Aircraft ApplicationIain Bate, Alan Burns, John A. McDermid, Andy Vickers. 34-40 [doi]
- Validating the Design of Real-Time Systems Using a Formal Specification MethodFélix Buendía García, Joan Vila-Carbó. 41-46 [doi]
- Tuning Parameters to Improve a Heuristic Method: More and Better Solutions to an NP-Hard Real-Time ProblemEdgardo Ferro, Jorge Santos 0002, Javier Orozco, Ricardo Cayssials. 47-51 [doi]
- An Architectural Overview of a Software SupervisorTony Savor, Rudolph E. Seviora. 52-56 [doi]
- Real-Time Computing of Special Algorithms with a DSP-Based BoardSebastiano Aiello, Antonio Anzalone, Massimo Bartolucci, Giuseppe Cardella, Salvatore Cavallaro, Enrico De Filippo, A. Di Pietro, Stefano Feminò, Mario Geraci, Paolo Guazzoni, Carmelo Marcello Iacono-Manno, Gaetano Lanzalone, Gaetano Lanzanò, Salvatore Lo Nigro, Giorgio Manfredi, A. Musumarra, Angelo Pagano, Massimo Papa, Sara Pirrone, Giuseppe Politi, Francesco Porto, Francesca Rizzo, Salvatore Sambataro, Giacomo R. Sechi, Leda Sperduto, Concetta Sutera, Luisa Zetta. 57-63 [doi]
- Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation RelationshipsJean-Philippe Babau, Francis Cottet. 64-69 [doi]
- A Hybrid Genetic Algorithm Applied to Automatic Parallel Controller Code GenerationFrode Eika Sandnes, Graham M. Megson. 70-76 [doi]
- The MORIS Control SystemPaolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri. 77-82 [doi]
- An Embedded Accelerator for Real-Time Image ProcessingReiner W. Hartenstein, Jürgen Becker, Rainer Kress. 83-88 [doi]
- Costing - Extending the Locative Logic Model of NetworksNeil Barnes, Gordon S. Blair, Abderrahmane Lakas, Amanda G. Chetwynd. 89-95 [doi]
- A Data Priority Reload Technique for Real-Time Main Memory DatabasesJing Huang, Le Gruenwald. 96-101 [doi]
- On the False Path Problem in Hard Real-Time ProgramsPeter Altenbernd. 102-107 [doi]
- The Symbolic Model-Checking for Real-Time SystemsSatoshi Yamane. 108-113 [doi]
- Hybrid Systems: A Real-Time Interface to Control EngineeringThomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard, Anders P. Ravn. 114-120 [doi]
- Development of an Industrial Real-Time System Using High-Level Design TechniquesA. Crookell, Innes Jelly. 121-126 [doi]
- Evaluation of Real-Time and Embedded Systems for Monitoring and Optimizing Industrial Processes Using High-Performance ComputingFrancisco J. Suárez, Javier García, Daniel F. García. 127-132 [doi]
- Real-Time Issues in Advanced Robotics ApplicationsGiorgio C. Buttazzo. 133-138 [doi]
- Real-Time Approach for Development of Scientific Space Instrument SoftwareKari Leppälä, Jukka Korhonen, Pekka Ruuska, Jukka Toivanen, Heikki Päivike. 139-145 [doi]
- Design of a Learning Fuzzy Production System to Solve an NP-Hard Real-Time Assignment ProblemJavier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro. 146-150 [doi]
- Behaviour-Oriented Commands: From Distributed Knowledge Representation to Real-Time ImplementationJosé Cuervo, Enrique González, Adolfo Suárez, Carlos Moreno 0001, Francis Artigue. 151-157 [doi]
- A Dynamic Real-Time Scheduler for Shared Memory MultiprocessorsSergio Saez, Joan Vila i Carbó, Alfons Crespo. 158-163 [doi]
- Real-Time Kernel in Hardware RTU: A Step Towards Deterministic and High-Performance Real-Time SystemsJoakim Adomat, Johan Furunäs, Lennart Lindh, Johan Stärner. 164-168 [doi]
- Planning the Execution of Task Groups in Real-Time SystemsPaolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini. 169-174 [doi]
- Neural Network versus Max-Flow Algorithms for Multiprocessor Real-Time SchedulingCarlos Cardeira. 175-180 [doi]
- An Improved Multi-Priority Preemptive Scheduler for Transputer-Based Real-Time SystemsTae-Young Choe, Chan-Ik Park, Chan-Mo Park, Byung-Seop Kim. 181-186 [doi]
- A Communication Protocol for Hard and Soft Real-Time SystemsChrister Eriksson, Henrik Thane, Mikael Gustafsson. 187-193 [doi]
- Closed World Specification of Embedded Real-Time ControllersK. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel. 194-199 [doi]
- A Formal Method for Specification and Refinement of Real-Time SystemsPeter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos. 200-204 [doi]
- A Rapid Prototyping Approach for Specification and Design of Distributed Automotive Control SystemsYankin Tanurhan, Stefan Schmerler, A. Winter, Klaus D. Müller-Glaser. 205-211 [doi]
- Design of a Real-Time Trader for Mobile Objects in Open Distributed EnvironmentsSong-Yi Yi, Heonshik Shin. 212-217 [doi]
- MetaRing+: An Enhancement of the MetaRing Access Protocol for Supporting Real-Time ApplicationsMarco Conti, Lorenzo Donatiello, Marco Furini. 218-223 [doi]
- A Programmable Concurrency Control Service for Real-Time Object Request BrokersEnnio Grasso. 224-229 [doi]
- Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous SystemsCarlos Almeida, Paulo Veríssimo. 230-236 [doi]
- Visualised Real-Time Operating System Simulation in a Heterogeneous Prototyping EnvironmentJyrki Leskela, Marko Salmela, J. Hyvärinen, Marko Heikkinen. 237-242 [doi]
- Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline TechniquesAntonio Meschi, Marco Di Natale, Marco Spuri. 243-248 [doi]
- A Near-Optimal Algorithm for Scheduling Soft-Aperiodic Requests in Dynamic Priority SystemsHyungill Kim, Sungyoung Lee, Jongwon Lee, Dougyoung Suh. 249-254 [doi]
- Disk Management for a Hard Real-Time File SystemRaymond Cheng, Donald W. Gillies. 255-261 [doi]
- Context Reorder Buffer: An Architectural Support for Real-Time Processing on RISC ArchitecturesPierguido V. C. Caironi, Lorenzo Mezzalira, Mariagiovanna Sami. 262-270 [doi]
- Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time SystemsJosé V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings. 271-276 [doi]
- An ASIC Supporting External Clock Synchronization for Distributed Real-Time SystemsKlaus Schossmaier, Dietmar Loy. 277-283 [doi]
- A Generic FSM Interpreter for Embedded SystemsJuha Viskari, Risto Jokinen, Kari Hakkarainen. 284-289 [doi]
- Multi-Staged Discrete Loops for Real-Time SystemsRoland Lieger, Johann Blieberger. 290-294 [doi]
- Conjunction of Synchronous and Asynchronous Languages for Reactive ProgrammingMartin Richard, Olivier Roux. 295-300 [doi]