Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th RTS 1996: L'Aquila, Italy
- Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, RTS 1996, L'Aquila, Italy, June 12-14, 1996. IEEE Computer Society 1996, ISBN 0-8186-7496-2
Session 1 - Design and Verification 1
- Jon G. Hall, Rogério de Lemos
:
ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems. 3-8 - Janusz Górski, Andrzej Wardzinski:
Deriving Real-Time Requirements for Software from Safety Analysis. 9-14 - Horst F. Wedde, Arnim Wedig:
Worst-Case Blocking Scenarios for Distributed Real-Time Programs. 15-21 - Sérgio Vanderlei Cavalcante, D. J. Kinniment:
Time Wizard: A Design and Assessment Tool for Real-Time Applications. 22-28
Session 2 - Design Process
- Alan Burns, Robert I. Davis, Sasikumar Punnekkat:
Feasibility Analysis of Fault-Tolerant Real-Time Task Sets. 29-33 - Iain Bate, Alan Burns, John A. McDermid, Andy Vickers:
Towards a Fixed Priority Scheduler for an Aircraft Application. 34-40
Open Forum Session I
- Félix Buendía García, Joan Vila-Carbó:
Validating the Design of Real-Time Systems Using a Formal Specification Method. 41-46 - Edgardo Ferro, Jorge Santos, Javier Orozco, Ricardo Cayssials:
Tuning Parameters to Improve a Heuristic Method: More and Better Solutions to an NP-Hard Real-Time Problem. 47-51 - Tony Savor, Rudolph E. Seviora:
An Architectural Overview of a Software Supervisor. 52-56 - Sebastiano 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:
Real-Time Computing of Special Algorithms with a DSP-Based Board. 57-63 - Jean-Philippe Babau, Francis Cottet:
Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships. 64-69 - Frode Eika Sandnes, Graham M. Megson:
A Hybrid Genetic Algorithm Applied to Automatic Parallel Controller Code Generation. 70-76
Session 3 - Multimedia
- Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:
The MORIS Control System. 77-82 - Reiner W. Hartenstein, Jürgen Becker, Rainer Kress:
An Embedded Accelerator for Real-Time Image Processing. 83-88 - Neil Barnes, Gordon S. Blair, Abderrahmane Lakas, Amanda G. Chetwynd:
Costing - Extending the Locative Logic Model of Networks. 89-95
Session 4 - Design and Verification II
- Jing Huang, Le Gruenwald:
A Data Priority Reload Technique for Real-Time Main Memory Databases. 96-101 - Peter Altenbernd:
On the False Path Problem in Hard Real-Time Programs. 102-107 - Satoshi Yamane:
The Symbolic Model-Checking for Real-Time Systems. 108-113 - Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard, Anders P. Ravn:
Hybrid Systems: A Real-Time Interface to Control Engineering. 114-120
Session 5 - Embedded Applications
- A. Crookell, Innes Jelly:
Development of an Industrial Real-Time System Using High-Level Design Techniques. 121-126 - Francisco J. Suárez, Javier García, Daniel F. García:
Evaluation of Real-Time and Embedded Systems for Monitoring and Optimizing Industrial Processes Using High-Performance Computing. 127-132 - Giorgio C. Buttazzo:
Real-Time Issues in Advanced Robotics Applications. 133-138 - Kari Leppälä, Jukka Korhonen, Pekka Ruuska, Jukka Toivanen, Heikki Päivike:
Real-Time Approach for Development of Scientific Space Instrument Software. 139-145
Session 6 - Knowledge-Based Systems
- Javier Orozco, Ricardo Cayssials, Jorge Santos, Edgardo Ferro:
Design of a Learning Fuzzy Production System to Solve an NP-Hard Real-Time Assignment Problem. 146-150 - José Cuervo, Enrique González, Adolfo Suárez, Carlos Moreno, Francis Artigue:
Behaviour-Oriented Commands: From Distributed Knowledge Representation to Real-Time Implementation. 151-157
Open Forum Session II
- Sergio Sáez, Joan Vila i Carbó, Alfons Crespo:
A Dynamic Real-Time Scheduler for Shared Memory Multiprocessors. 158-163 - Joakim Adomat, Johan Furunäs, Lennart Lindh, Johan Stärner:
Real-Time Kernel in Hardware RTU: A Step Towards Deterministic and High-Performance Real-Time Systems. 164-168 - Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini:
Planning the Execution of Task Groups in Real-Time Systems. 169-174 - Carlos B. Cardeira:
Neural Network versus Max-Flow Algorithms for Multiprocessor Real-Time Scheduling. 175-180 - Tae-Young Choe, Chan-Ik Park, Chan-Mo Park, Byung-Seop Kim:
An Improved Multi-Priority Preemptive Scheduler for Transputer-Based Real-Time Systems. 181-186 - Christer Eriksson, Henrik Thane, Mikael Gustafsson:
A Communication Protocol for Hard and Soft Real-Time Systems. 187-193
Session 7 - Specification and Description Formalisms
- Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel:
Closed World Specification of Embedded Real-Time Controllers. 194-199 - Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez, Andrés Marín, Carlos Delgado Kloos:
A Formal Method for Specification and Refinement of Real-Time Systems. 200-204 - Yankin Tanurhan, Stefan Schmerler, A. Winter, Klaus D. Müller-Glaser:
A Rapid Prototyping Approach for Specification and Design of Distributed Automotive Control Systems. 205-211
Session 8 - Communications
- Song-Yi Yi, Heonshik Shin:
Design of a Real-Time Trader for Mobile Objects in Open Distributed Environments. 212-217 - Marco Conti, Lorenzo Donatiello, Marco Furini:
MetaRing+: An Enhancement of the MetaRing Access Protocol for Supporting Real-Time Applications. 218-223 - Ennio Grasso:
A Programmable Concurrency Control Service for Real-Time Object Request Brokers. 224-229 - Carlos Almeida, Paulo Veríssimo:
Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems. 230-236
Session 9 - Scheduling
- Jyrki Leskela, Marko Salmela, J. Hyvärinen, Marko Heikkinen:
Visualised Real-Time Operating System Simulation in a Heterogeneous Prototyping Environment. 237-242 - Antonio Meschi, Marco Di Natale, Marco Spuri:
Priority Inversion at the Network Adapter when Scheduling Messages with Earliest Deadline Techniques. 243-248 - Hyungill Kim, Sungyoung Lee, Jongwon Lee, Dougyoung Suh:
A Near-Optimal Algorithm for Scheduling Soft-Aperiodic Requests in Dynamic Priority Systems. 249-254 - Raymond M. K. Cheng, Donald W. Gillies:
Disk Management for a Hard Real-Time File System. 255-261
Session 10 - Hardware Support for Real Time
- Pierguido V. C. Caironi, Lorenzo Mezzalira, Mariagiovanna Sami:
Context Reorder Buffer: An Architectural Support for Real-Time Processing on RISC Architectures. 262-270 - José V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings:
Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems. 271-276 - Klaus Schossmaier, Dietmar Loy:
An ASIC Supporting External Clock Synchronization for Distributed Real-Time Systems. 277-283
Session 11 - Languages
- Juha Viskari, Risto Jokinen, Kari Hakkarainen:
A Generic FSM Interpreter for Embedded Systems. 284-289 - Roland Lieger, Johann Blieberger:
Multi-Staged Discrete Loops for Real-Time Systems. 290-294 - Martin Richard, Olivier F. Roux:
Conjunction of Synchronous and Asynchronous Languages for Reactive Programming. 295-300
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-19 19: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:
