default search action
13th ECRTS 2001: Delft, The Netherlands
- 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1221-6
Scheduling I
- Jorge Real
, Alfons Crespo
Offsets for Scheduling Mode Changes. 3-10 - Guillem Bernat, Alan Burns:
Three Obstacles to Flexible Scheduling. 11-18 - Sorin Manolache, Petru Eles, Zebo Peng:
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. 19-
Worst-Case Execution Time Analysis
- Raimund Kirner
Transformation of Path Information for WCET Analysis during Compilation. 29-36 - Antoine Colin, Isabelle Puaut:
A Modular & Retargetable Framework for Tree-Based WCET Analysis. 37-44 - Peter P. Puschner
WCET Analysis of Reusable Portable Code. 45-
Scheduling II
- Enrico Bini
A Hyperbolic Bound for the Rate Monotonic Algorithm. 59-66 - José María López, José Luis Díaz, Daniel F. García
Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling. 67-75 - James H. Anderson, Anand Srinivasan:
Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks. 76-
Communications
- Christos Drosos, M. Zayadine, Dimitris Metafas:
Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller. 89-94 - Ian Broster, Alan Burns:
Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. 95-102 - Luís Miguel Pinho
Timing Analysis of Reliable Real-Time Communication in CAN Networks. 103-116
Design
- Mesfin Belachew, R. K. Shyamasundar:
MSC+: From Requirement to Prototyped Systems. 117-124 - Michael González Harbour
MAST: Modeling and Analysis Suite for Real Time Applications. 125-134 - Fernando Jiménez-Fraustro, Éric Rutten:
A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. 135-142 - Emanuele Ciapessoni
Partitioning of Hierarchical Automation Systems. 143-
Formal Systems
- Brian Nielsen, Arne Skou
Test Generation for Time Critical Systems: Tool and Case Study. 155-162 - A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman:
Formal Platform-Independent Design of Real-Time Systems. 163-170 - George Logothetis, Klaus Schneider
A New Approach to the Specification and Verification of Real-Time Systems. 171-
Kernels
- M. D. Bennett, Neil C. Audsley:
Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. 183-190 - Antoine Colin, Isabelle Puaut:
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. 191-198 - Paolo Gai, Luca Abeni
A New Kernel Approach for Modular Real-Time Systems Development. 199-
Scheduling III
- George Marconi de Araujo Lima, Alan Burns:
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 209-216 - Tei-Wei Kuo
Real-Time Disk Scheduling for Block-Stripping I2O RAID. 217-224 - Hakan Aydin, Rami G. Melhem, Daniel Mossé, Pedro Mejía-Alvarez
Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power Characteristics. 225-232 - Luís Almeida
Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling. 233-
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-12-19 22:01 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: