Databases

• 
  LihChyun Shu, Chang-Ming Tsai: State Restoration in Real-Time Systems. 4-
• 
  Jan Lindström, Kimmo E. E. Raatikainen: Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases. 13-20
• 
  Jörgen Hansson, Sten F. Andler, Sang Hyuk Son: Value-Driven Multi-Class Overload Management. 21-28
• 
  Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son: Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments. 29-36
• 
  Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam: Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments. 37-

Scheduling I

• 
  Iain Bate, Alan Burns: A Framework for Scheduling in Safety-Critical Embedded Control Systems. 46-53
• 
  Joël Goossens, Raymond R. Devillers: Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. 54-61
• 
  Sanjoy K. Baruah, Giorgio C. Buttazzo, Sergey Gorinsky, Giuseppe Lipari: Scheduling Periodic Task Systems to Minimize Output Jitter. 62-69
• 
  Luca Abeni, Giorgio C. Buttazzo: Adaptive Bandwidth Reservation for Multimedia Computing. 70-77
• 
  Hee-Jun Park, Byung Kook Kim: An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications. 78-

Sofware & Systems

• 
  Jakob Engblom, Andreas Ermedahl: Pipeline Timing Analysis Using a Trace-Driven Simulator. 88-95
• 
  Fridtjof Siebert: Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine. 96-102
• 
  Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo: A C Language Extension for Programming Real-Time Applications. 103-110
• 
  Neil C. Audsley, I. J. Bate, Alan Grigg: Portable Code for Complex Critical Systems . 111-

Communications

• 
  Sijing Zhang, E. Stewart Lee: Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. 120-127
• 
  Shibin Song, Joseph Kee-Yin Ng, Bihai Tang: On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input Traffic. 128-132
• 
  Shibin Song, Joseph Kee-Yin Ng, Bihai Tang: Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks. 133-140
• 
  Teruyuki Hasegawa, Toru Hasegawa, Toshihiko Kato: Implementation and Evaluation of Video Transfer System over Internet with Congestion Control Based on Two Level Rate Control . 141-

Formal Methods I

• 
  Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli: Fault Coverage in Testing Real-Time Systems. 150-157
• 
  Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau: Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . 158-165
• 
  Shigero Sasaki, Takashi Matsumoto, Kei Hiraki: On the Schedulability Conditions on Partial Time Slots . 166-173
• 
  Zhe Dang, Richard A. Kemmerer: A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. 174-181
• 
  Christer Norström, Anders Wall, Wang Yi: Timed Automata as Task Models for Event-Driven Systems. 182-189
• 
  Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc: Formal Description of Real-time Systems using SDL. 190-

Multimedia & Architecture

• 
  Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura: On-Chip Multimedia Real-Time OS and its MPEG-2 Applications. 200-203
• 
  Xiaoyan He, Lui Sha: A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. 204-207
• 
  Tommy Klevin, Lennart Lindh: Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring. 208-211
• 
  Ragnar Birgisson, Jonas Mellin, Sten F. Andler: Bounds on Test Effort for Event-Triggered Real-Time Systems. 212-215
• 
  Tim Edmonds, Steve Hodges, Andy Hopper: An Adaptive Thin-Client Robot Control Architecture. 216-219
• 
  Y. F. Leung, Edward Chan, Kam-yiu Lam: Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio Network. 220-

Invited Talk II

• 
  Krithi Ramamritham: Can Real-Time Systems Be Built from Off-the-shelf Components? 226-

Architecture

• 
  Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. 228-235
• 
  Jing Chen, Alan Burns: Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties. 236-246
• 
  Philippas Tsigas, Yi Zhang: Non-Blocking Data Sharing in Multiprocessor Real-Time Systems. 247-254
• 
  Thomas Lundqvist, Per Stenström: A Method to Improve the Estimated Worst-Case Performance of Data Caching. 255-262
• 
  Kitae Hwang, Chang Yeol Choi: Overlapped Disk Access for Real-Time Disk I/O. 263-

Scheduling II

• 
  Yann-Hang Lee, C. Mani Krishna: Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems. 272-279
• 
  Ansgar Fehnker: Scheduling a Steel Plant with Timed Automata. 280-286
• 
  Paul Pop, Petru Eles, Zebo Peng: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. 287-294
• 
  Deji Chen, Aloysius K. Mok, Tei-Wei Kuo: Utilization Bound Re-visited . 295-302
• 
  Jun Wu, Tei-Wei Kuo: Real-Time Scheduling of CPU-Bound and I/O-Bound Processes. 303-

Best Student Paper

• 
  Song Wang, Yu-Chung Wang, Kwei-Jay Lin: A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network. 312-319
• 
  Johan Eker, Anton Cervin: A Matlab Toolbox for Real-Time and Control Systems Co-Design. 320-327
• 
  Yun Wang, Manas Saksena: Scheduling Fixed-Priority Tasks with Preemption Threshold. 328-

Invited Talk III

• 
  K. Shin: EMERALDS: A Small-Memory Real-Time Microkernel. 338-

Fault Tolerance

• 
  B. Devalla, Riccardo Bettati, Wei Zhao: Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks . 340-347
• 
  Hakan Aydin, Rami G. Melhem, Daniel Mossé: Incorporating Error Recovery into the Imprecise Computation Model. 348-355
• 
  Pascal Chevochot, Isabelle Puaut: Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. 356-363
• 
  Byung Kook Kim: Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal Redundancy. 364-

Real-Time Requirements

• 
  José G. Neves, Lilian N. de Faria, Célio Estevan Morón: Integration of Tools for Parallel Real-Time Systems. 374-377
• 
  Koji Matsuda, Kang G. Shin: Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games. 378-381
• 
  Man Lin, Laurence Tianruo Yang: Hybrid Genetic Algorithms for Scheduling Partially Ordered Tasks in a Multi-Processor Environment. 382-387
• 
  Byung-Kyu Choi, Riccardo Bettati: Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment. 388-
• 
  Martin Naedele: Fault-Tolerant Real-Time Scheduling under Execution Time Constraints. 392-

Scheduling III

• 
  Ihn-Han Bae: A Quorum-Based Dynamic Location Management Method for Mobile Computings. 398-
• 
  Rui-An Lou, Chen-Khong Tham: Real-Time Data Transfer Using a Real-Time SNMP MIB. 402-
• 
  Robert A. Lackman, David Tipper, John D. Spragins: Sensitivity Analysis on the Assumption of Geometric Batch Arrivals for Real-Time Versus Non-Real-Time Scheduling in a Statistical Multiplexer. 406-
• 
  Hyosoon Lee, Heonshik Shin, Sang Lyul Min: Worst Case Timing Requirement of Real-Time Tasks with Time Redundancy. 410-

Resource Management

• 
  Jinhwan Kim: Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database Systems. 416-
• 
  Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun: Development of a Host DBMS for Testing Switching System Software. 420-
• 
  Sergio Saez, Joan Vila i Carbó, Alfons Crespo: Development of a Host DBMS for Testing Switching System Software. 424-
• 
  Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi: No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems. 428-

O. S. & Design Spec.

• 
  Andrés Terrasa, Ana García-Fornes: Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. 434-
• 
  Stefan M. Petters, Georg Färber: Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible. 442-
• 
  Henrik Thane, Hans Hansson: Handling Interrupts in Testing of Distributed Real-Time Systems. 450-
• 
  Jarno Knuutila: System Specification of Wireless Multimedia Engines: A Data Fusion Approach. 458-
• 
  Sun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong: A Time Synchronization Method for NTP. 466-
• 
  Ruud C. M. de Rooij, Jan van Katwijk: An Approach Towards Formal Verification of Object Oriented Real-Time Systems. 474-

Formal Methods II

• 
  Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee: Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination. 484-
• 
  Karsten Strehl: Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. 488-
• 
  Li Li, Jifeng He: A Denotational Semantics of Timed RSL Using Duration Calculus. 492-
• 
  Kristina Lundqvist, Lars Asplund: A Formal Model of a Run-Time Kernel for Ravenscar. 504-
• 
  Y. Tachi, Satoshi Yamane: Real-Time Symbolic Model Checking for Hard Real-Time Systems. 496-
• 
  Shuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. 500-

last updated on Wed May 22 05:02:44 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page