default search action
6th RTCSA 1999: Hong Kong, China
- 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society 1999, ISBN 0-7695-0306-3
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
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
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
Formal Description of Real-time Systems using SDL. 190-
Multimedia & Architecture
- Hiroe Iwasaki
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
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
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
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 Sáez
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
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-
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-11-11 21:14 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: