RTCSA B

75 papers

YearTitle / Authors
19996th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China
1999A C Language Extension for Programming Real-Time Applications.
Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo
1999A Denotational Semantics of Timed RSL Using Duration Calculus.
Li Li, Jifeng He
1999A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture.
Xiaoyan He, Lui Sha
1999A Formal Model of a Run-Time Kernel for Ravenscar.
Kristina Lundqvist, Lars Asplund
1999A Formal Proof of the Rate Monotonic Scheduler.
Shuzhen Dong, Qiwen Xu, Naijun Zhan
1999A Framework for Scheduling in Safety-Critical Embedded Control Systems.
Iain Bate, Alan Burns
1999A Matlab Toolbox for Real-Time and Control Systems Co-Design.
Johan Eker, Anton Cervin
1999A Method to Improve the Estimated Worst-Case Performance of Data Caching.
Thomas Lundqvist, Per Stenström
1999A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network.
Song Wang, Yu-Chung Wang, Kwei-Jay Lin
1999A Quorum-Based Dynamic Location Management Method for Mobile Computings.
Ihn-Han Bae
1999A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.
Zhe Dang, Richard A. Kemmerer
1999A Time Synchronization Method for NTP.
Sun-Mi Jun, Dong-Hui Yu, Young-Ho Kim, Soon-Yong Seong
1999Adaptive Bandwidth Reservation for Multimedia Computing.
Luca Abeni, Giorgio C. Buttazzo
1999Adaptive Channel Allocation Methods for Distributed MPEG Player System Over a Cellular Radio Network.
Y. F. Leung, Edward Chan, Kam-yiu Lam
1999Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments.
Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam
1999An Adaptive Thin-Client Robot Control Architecture.
Tim Edmonds, Steve Hodges, Andy Hopper
1999An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
Ruud C. M. de Rooij, Jan van Katwijk
1999An Efficient Optimal Task Allocation and Scheduling Algorithm for Cyclic Synchronous Applications.
Hee-Jun Park, Byung Kook Kim
1999Applicability of Cyclic-Memory Networks and IEEE1394 for Fine Motion Control and Arcade Games.
Koji Matsuda, Kang G. Shin
1999Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment.
Byung-Kyu Choi, Riccardo Bettati
1999Bounds on Test Effort for Event-Triggered Real-Time Systems.
Ragnar Birgisson, Jonas Mellin, Sten F. Andler
1999Can Real-Time Systems Be Built from Off-the-shelf Components?
Krithi Ramamritham
1999Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination.
Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee
1999Development of a Host DBMS for Testing Switching System Software.
Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun
1999Development of a Host DBMS for Testing Switching System Software.
Sergio Sáez, Joan Vila i Carbó, Alfons Crespo
1999Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases.
Jan Lindström, Kimmo E. E. Raatikainen
1999EMERALDS: A Small-Memory Real-Time Microkernel.
K. Shin
1999Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol.
Sijing Zhang, E. Stewart Lee
1999Fault Coverage in Testing Real-Time Systems.
Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
1999Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks .
B. Devalla, Riccardo Bettati, Wei Zhao
1999Fault-Tolerant Real-Time Scheduling under Execution Time Constraints.
Martin Naedele
1999Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines.
Joël Goossens, Raymond Devillers
1999Firm Real-Time Optimistic Concurrency Control Algorithms for Replicated Database Systems.
Jinhwan Kim
1999Formal Description of Real-time Systems using SDL.
Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc
1999Handling Interrupts in Testing of Distributed Real-Time Systems.
Henrik Thane, Hans Hansson
1999Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine.
Fridtjof Siebert
1999Hybrid Genetic Algorithms for Scheduling Partially Ordered Tasks in a Multi-Processor Environment.
Man Lin, Laurence Tianruo Yang
1999Implementation and Evaluation of Video Transfer System over Internet with Congestion Control Based on Two Level Rate Control .
Teruyuki Hasegawa, Toru Hasegawa, Toshihiko Kato
1999Incorporating Error Recovery into the Imprecise Computation Model.
Hakan Aydin, Rami G. Melhem, Daniel Mossé
1999Integration of Tools for Parallel Real-Time Systems.
José G. Neves, Lilian N. de Faria, Célio Estevan Morón
1999Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.
Karsten Strehl
1999Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties.
Jing Chen, Alan Burns
1999Maintaining Data Consistency Using Timestamp Ordering in Real-Time Broadcast Environments.
Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son
1999Making Worst Case Execution Time Analysis for Hard Real-Time Tasks on State of the Art Processors Feasible.
Stefan M. Petters, Georg Färber
1999No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems.
Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-Il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi
1999Non-Blocking Data Sharing in Multiprocessor Real-Time Systems.
Philippas Tsigas, Yi Zhang
1999On the Schedulability Conditions on Partial Time Slots .
Shigero Sasaki, Takashi Matsumoto, Kei Hiraki
1999On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input Traffic.
Shibin Song, Joseph Kee-Yin Ng, Bihai Tang
1999On-Chip Multimedia Real-Time OS and its MPEG-2 Applications.
Hiroe Iwasaki, Jiro Naganuma, Makoto Endo, Takeshi Ogura
1999Overlapped Disk Access for Real-Time Disk I/O.
Kitae Hwang, Chang Yeol Choi
1999Pipeline Timing Analysis Using a Trace-Driven Simulator.
Jakob Engblom, Andreas Ermedahl
1999Portable Code for Complex Critical Systems .
Neil C. Audsley, I. J. Bate, Alan Grigg
1999Real-Time Data Transfer Using a Real-Time SNMP MIB.
Rui-An Lou, Chen-Khong Tham
1999Real-Time Scheduling of CPU-Bound and I/O-Bound Processes.
Jun Wu, Tei-Wei Kuo
1999Real-Time Symbolic Model Checking for Hard Real-Time Systems.
Y. Tachi, Satoshi Yamane
1999Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux.
Andrés Terrasa, Ana García-Fornes
1999Reliability Analysis of Real-Time Controllers with Dual-Modular Temporal Redundancy.
Byung Kook Kim
1999Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring.
Tommy Klevin, Lennart Lindh
1999Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems.
Paul Pop, Petru Eles, Zebo Peng
1999Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies.
Pascal Chevochot, Isabelle Puaut
1999Scheduling Fixed-Priority Tasks with Preemption Threshold.
Yun Wang, Manas Saksena
1999Scheduling Periodic Task Systems to Minimize Output Jitter.
Sanjoy K. Baruah, Giorgio C. Buttazzo, Sergey Gorinsky, Giuseppe Lipari
1999Scheduling a Steel Plant with Timed Automata.
Ansgar Fehnker
1999Sensitivity Analysis on the Assumption of Geometric Batch Arrivals for Real-Time Versus Non-Real-Time Scheduling in a Statistical Multiplexer.
Robert A. Lackman, David Tipper, John D. Spragins
1999State Restoration in Real-Time Systems.
LihChyun Shu, Chang-Ming Tsai
1999Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks.
Shibin Song, Joseph Kee-Yin Ng, Bihai Tang
1999Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD .
Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau
1999System Specification of Wireless Multimedia Engines: A Data Fusion Approach.
Jarno Knuutila
1999Timed Automata as Task Models for Event-Driven Systems.
Christer Norström, Anders Wall, Wang Yi
1999Utilization Bound Re-visited .
Deji Chen, Aloysius K. Mok, Tei-Wei Kuo
1999Value-Driven Multi-Class Overload Management.
Jörgen Hansson, Sten F. Andler, Sang Hyuk Son
1999Verification of Concurrent Client-Server Real-Time Scheduling Systems.
Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
1999Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems.
Yann-Hang Lee, C. Mani Krishna
1999Worst Case Timing Requirement of Real-Time Tasks with Time Redundancy.
Hyosoon Lee, Heonshik Shin, Sang Lyul Min