Table of Contents

• State Restoration in Real-Time SystemsLihChyun Shu, Chang-Ming Tsai. 4 [doi]
• Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time DatabasesJan Lindström, Kimmo E. E. Raatikainen. 13-20 [doi]
• Value-Driven Multi-Class Overload ManagementJörgen Hansson, Sten F. Andler, Sang Hyuk Son. 21-28 [doi]
• Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast EnvironmentsVictor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son. 29-36 [doi]
• Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing EnvironmentsJoe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam. 37 [doi]
• A Framework for Scheduling in Safety-Critical Embedded Control SystemsIain Bate, Alan Burns. 46-53 [doi]
• Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary DeadlinesJoël Goossens, Raymond R. Devillers. 54-61 [doi]
• Scheduling Periodic Task Systems to Minimize Output JitterSanjoy K. Baruah, Giorgio C. Buttazzo, Sergey Gorinsky, Giuseppe Lipari. 62-69 [doi]
• Adaptive Bandwidth Reservation for Multimedia ComputingLuca Abeni, Giorgio C. Buttazzo. 70-77 [doi]
• An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous ApplicationsHee-Jun Park, Byung Kook Kim. 78 [doi]
• Pipeline Timing Analysis Using a Trace-Driven SimulatorJakob Engblom, Andreas Ermedahl. 88-95 [doi]
• Hard Real-Time Garbage-Collection in the Jamaica Virtual MachineFridtjof Siebert. 96-102 [doi]
• A C Language Extension for Programming Real-Time ApplicationsLuigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo. 103-110 [doi]
• Portable Code for Complex Critical Systems Neil C. Audsley, I. J. Bate, Alan Grigg. 111 [doi]
• Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC ProtocolSijing Zhang, E. Stewart Lee. 120-127 [doi]
• On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input TrafficShibin Song, Joseph Kee-Yin Ng, Bihai Tang. 128-132 [doi]
• Statistical Delay Analysis with Self-Similar Input Traffic in ATM NetworksShibin Song, Joseph Kee-Yin Ng, Bihai Tang. 133-140 [doi]
• Implementation and Evaluation of Video Transfer System over Internet with Congestion Control Based on Two Level Rate Control Teruyuki Hasegawa, Toru Hasegawa, Toshihiko Kato. 141 [doi]
• Fault Coverage in Testing Real-Time SystemsAbdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli. 150-157 [doi]
• Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau. 158-165 [doi]
• On the Schedulability Conditions on Partial Time Slots Sasaki Shigero, Matsumoto Takashi, Hiraki Kei. 166-173 [doi]
• A Symbolic Model Checker for Testing ASTRAL Real-Time SpecificationsZhe Dang, Richard A. Kemmerer. 174-181 [doi]
• Timed Automata as Task Models for Event-Driven SystemsChrister Norström, Anders Wall, Wang Yi. 182-189 [doi]
• Formal Description of Real-time Systems using SDLMohamed Ashour, Ferhat Khendek, Tho Le-Ngoc. 190 [doi]
• On-Chip Multimedia Real-Time OS and its MPEG-2 ApplicationsHiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura. 200-203 [doi]
• A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication ArchitectureXiaoyan He, Lui Sha. 204-207 [doi]
• Scalable Architecture for Real-Time Applications and Use of Bus-MonitoringTommy Klevin, Lennart Lindh. 208-211 [doi]
• Bounds on Test Effort for Event-Triggered Real-Time SystemsRagnar Birgisson, Jonas Mellin, Sten F. Andler. 212-215 [doi]
• An Adaptive Thin-Client Robot Control ArchitectureTim Edmonds, Steve Hodges, Andy Hopper. 216-219 [doi]
• Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio NetworkY. F. Leung, Edward Chan, Kam-yiu Lam. 220 [doi]
• Can Real-Time Systems Be Built from Off-the-shelf Components?Krithi Ramamritham. 226 [doi]
• Verification of Concurrent Client-Server Real-Time Scheduling SystemsPao-Ann Hsiung, Farn Wang, Yue-Sun Kuo. 228-235 [doi]
• Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing PropertiesJing Chen, Alan Burns. 236-246 [doi]
• Non-Blocking Data Sharing in Multiprocessor Real-Time SystemsPhilippas Tsigas, Yi Zhang. 247-254 [doi]
• A Method to Improve the Estimated Worst-Case Performance of Data CachingThomas Lundqvist, Per Stenström. 255-262 [doi]
• Overlapped Disk Access for Real-Time Disk I/OKitae Hwang, Chang Yeol Choi. 263 [doi]
• Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded SystemsYann-Hang Lee, C. Mani Krishna. 272-279 [doi]
• Scheduling a Steel Plant with Timed AutomataAnsgar Fehnker. 280-286 [doi]
• Schedulability-Driven Communication Synthesis for Time Triggered Embedded SystemsPaul Pop, Petru Eles, Zebo Peng. 287-294 [doi]
• Utilization Bound Re-visited Deji Chen, Aloysius K. Mok, Tei-Wei Kuo. 295-302 [doi]
• Real-Time Scheduling of CPU-Bound and I/O-Bound ProcessesJun Wu, Tei-Wei Kuo. 303 [doi]
• A Priority-Based Weighted Fair Queuing Scheduler for Real-Time NetworkSong Wang, Yu-Chung Wang, Kwei-Jay Lin. 312-319 [doi]
• A Matlab Toolbox for Real-Time and Control Systems Co-DesignJohan Eker, Anton Cervin. 320-327 [doi]
• Scheduling Fixed-Priority Tasks with Preemption ThresholdYun Wang, Manas Saksena. 328 [doi]
• EMERALDS: A Small-Memory Real-Time MicrokernelK. Shin. 338 [doi]
• Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks B. Devalla, Riccardo Bettati, Wei Zhao. 340-347 [doi]
• Incorporating Error Recovery into the Imprecise Computation ModelHakan Aydin, Rami G. Melhem, Daniel Mossé. 348-355 [doi]
• Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication StrategiesPascal Chevochot, Isabelle Puaut. 356-363 [doi]
• Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal RedundancyByung Kook Kim. 364 [doi]
• Integration of Tools for Parallel Real-Time SystemsJosé G. Neves, Lilian N. de Faria, Célio Estevan Morón. 374-377 [doi]
• Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade GamesKoji Matsuda, Kang G. Shin. 378-381 [doi]
• Hybrid Genetic Algorithms for Scheduling Partially Ordered Tasks in a Multi-Processor EnvironmentMan Lin, Laurence Tianruo Yang. 382-387 [doi]
• Bandwidth Reservation for Real Time Traffic in Wireless Mobile EnvironmentByung Kyu Choi, Riccardo Bettati. 388 [doi]
• Fault-Tolerant Real-Time Scheduling under Execution Time ConstraintsMartin Naedele. 392 [doi]
• A Quorum-Based Dynamic Location Management Method for Mobile ComputingsIhn-Han Bae. 398 [doi]
• Real-Time Data Transfer Using a Real-Time SNMP MIBRui-An Lou, Chen-Khong Tham. 402 [doi]
• Sensitivity Analysis on the Assumption of Geometric Batch Arrivals for Real-Time Versus Non-Real-Time Scheduling in a Statistical MultiplexerRobert A. Lackman, David Tipper, John D. Spragins. 406 [doi]
• Worst Case Timing Requirement of Real-Time Tasks with Time RedundancyHyosoon Lee, Heonshik Shin, Sang Lyul Min. 410 [doi]
• Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database SystemsJinhwan Kim. 416 [doi]
• Development of a Host DBMS for Testing Switching System SoftwareByung Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun. 420 [doi]
• Development of a Host DBMS for Testing Switching System SoftwareSergio Saez, Joan Vila i Carbó, Alfons Crespo. 424 [doi]
• No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database SystemsEun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi. 428 [doi]
• Real-Time Synchronization Between Hard and Soft Tasks in RT-LinuxAndrés Terrasa, Ana García-Fornes. 434 [doi]
• Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors FeasibleStefan M. Petters, Georg Färber. 442 [doi]
• Handling Interrupts in Testing of Distributed Real-Time SystemsHenrik Thane, Hans Hansson. 450 [doi]
• System Specification of Wireless Multimedia Engines: A Data Fusion ApproachJarno Knuutila. 458 [doi]
• A Time Synchronization Method for NTPSun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong. 466 [doi]
• An Approach Towards Formal Verification of Object Oriented Real-Time SystemsRuud C. M. de Rooij, Jan van Katwijk. 474 [doi]
• Conceptual Transformation from SDL-92 to CHILL-96 Using Signal SubordinationSiyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee. 484 [doi]
• Interval Diagrams: Increasing Efficiency of Symbolic Real-Time VerificationKarsten Strehl. 488 [doi]
• A Denotational Semantics of Timed RSL Using Duration CalculusLi Li, Jifeng He. 492 [doi]
• Real-Time Symbolic Model Checking for Hard Real-Time SystemsY. Tachi, Satoshi Yamane. 496 [doi]
• A Formal Proof of the Rate Monotonic SchedulerShuzhen Dong, Qiwen Xu, Naijun Zhan. 500 [doi]
• A Formal Model of a Run-Time Kernel for RavenscarKristina Lundqvist, Lars Asplund. 504 [doi]