7. RTCSA 2000: Cheju Island, South Korea

@proceedings{DBLP:conf/rtcsa/2000,
  title     = {7th International Workshop on Real-Time Computing and Applications
               Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South
               Korea},
  booktitle = {RTCSA},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0930-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Address I

• In Ryu:
  Current Issues and Challenges in Embedded Software Development. 3-
  

Formal Methods I

• Saehwa Kim, Sukjae Cho, Seongsoo Hong:
  Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. 7-14
  
• Markus Lindgren, Hans Hansson, Henrik Thane:
  Using measurements to derive the worst-case execution time. 15-22
  
• Henrik Theiling:
  Extracting safe and precise control flow from binaries. 23-30
  
• Hyung-Taek Lim, Seung-Min Yang:
  A framework to model dependable real-time systems based on real-time object model. 31-38
  
• Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner:
  Low-level analysis of a portable Java byte code WCET analysis framework. 39-
  

Real-Time Systems I

• Chi-Min Lin, Tien-Fu Chen:
  Dynamic memory management for real-time embedded Java chips. 49-56
  
• James H. Anderson, Philip Holman:
  Efficient pure-buffer algorithms for real-time systems. 57-64
  
• Luca Abeni, Giorgio C. Buttazzo:
  Support for dynamic QoS in the HARTIK kernel. 65-72
  
• Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis:
  SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems. 73-80
  
• Kevin Jeffay, Gerardo Lamastra:
  A comparative study of the realization of rate-based computing services in general purpose operating systems. 81-
  

Databases I

• LihChyun Shu, Michal Young:
  Chopping and versioning real-time transactions to avoid remote blocking. 93-101
  
• Jin Hyun Son, Myoung-Ho Kim:
  Finding the critical path in a time-constrained workflow. 102-107
  
• Jan Lindström:
  Extensions to optimistic concurrency control with time intervals. 108-
  

Communications I

• Byung-Kyu Choi, Riccardo Bettati:
  Efficient resource management for hard real-time communication over differentiated services architectures. 119-126
  
• Yu-Sheng Huang, Chih-wen Hsueh:
  Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model. 127-134
  
• Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen:
  Deadline dependent coding-a framework for wireless real-time communication. 135-
  

Scheduling I

• Sergio Saez, Joan Vila i Carbó, Alfons Crespo:
  Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. 145-149
  
• Radu Dobrin, Yusuf Özdemir, Gerhard Fohler:
  Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. 150-154
  
• Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski:
  Real-time scheduling on multithreaded processors. 155-159
  
• Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong:
  A multi-server design for a distributed MPEG video system with streaming support and QoS control. 160-165
  
• Hacène Fouchal, Eric Petitjean, Sébastien Salva:
  Testing timed systems with timed purposes. 166-171
  
• Chris C. H. Ngan, Kam-yiu Lam:
  Real-time multiple video player systems. 172-176
  
• Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi:
  Implementing real-time scheduling daemon in general purpose operating system Unix. 177-182
  
• Yves Meylan, Aneema Bajpai, Riccardo Bettati:
  ProtEx: a toolkit for the analysis of distributed real-time systems. 183-
  

Communications II

• Minseok Song, Naehyuck Chang, Heonshik Shin:
  A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. 191-198
  
• Tatsuo Nakajima:
  Explicit binding interface for supporting native ATM networks in a CORBA system. 199-206
  
• Hans Toetenel, R. F. Lutje Spelberg, G. Bandini:
  Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. 207-214
  
• Song Wang, Yu-Chung Wang, Kwei-Jay Lin:
  Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks. 215-222
  
• Libin Dong, Rami G. Melhem, Daniel Mossé:
  Effect of scheduling jitter on end-to-end delay in TDMA protocols. 223-230
  
• Allalaghatta Pavan, Vipin Gopal, S. Song, N. Birch, R. Harinath, D. Castanon:
  Admission control and resource allocation in a strictly priority based network. 231-
  

Invited Address II

• Giorgio C. Buttazzo:
  From Hard to Soft Real-Time Systems: Predictability vs. Efficiency. 241-
  

Formal Methods II

• Vangalur S. Alagar, D. Muthiayen:
  Towards a mechanical verification of real-time reactive systems modeled in UML. 245-254
  
• Andrés Terrasa, Ana García-Fornes, Vicente J. Botti:
  Including user-defined timing exception support in FRTL. 255-262
  
• Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi:
  Verifying temporal constraints on data in multi-rate transactions using timed automata. 263-270
  
• Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla:
  An example of performance evaluation by using the stochastic process algebra: ROSA. 271-278
  
• Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat:
  Deriving reliability estimates of distributed real-time systems by simulation. 279-
  

Scheduling II

• Hakan Aydin, Rami G. Melhem, Daniel Mossé:
  Optimal scheduling of imprecise computation tasks in the presence of multiple faults. 289-296
  
• James H. Anderson, Anand Srinivasan:
  Pfair scheduling: beyond periodic task systems. 297-306
  
• Jörgen Hansson, Marcus Thuresson, Sang Hyuk Son:
  Imprecise task scheduling and overload management using OR-ULD. 307-314
  
• Joël Goossens, Sanjoy K. Baruah:
  Multiprocessor algorithms for uniprocessor feasibility analysis. 315-322
  
• Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem:
  Scheduling optional computations in fault-tolerant real-time systems. 323-
  

Invited Address III

• Aloysius K. Mok:
  Tracking Real-Time Systems Requirements. 333-
  

Scheduling III

• Björn Andersson, Jan Jonsson:
  Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition. 337-346
  
• Yukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura:
  Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices. 347-354
  
• Pascal Chevochot, Isabelle Puaut:
  Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. 355-362
  
• Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong:
  An improved feasible shortest path real-time fault-tolerant scheduling algorithm. 363-367
  
• Daeyoung Kim, Yann-Hang Lee:
  DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems. 368-
  

Communications III

• Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen:
  On the verification of Wireless Transaction Protocol using SGM and RED. 379-383
  
• Baek-Young Choi, Sejun Song, Nigel Birch, Jim Huang:
  Probabilistic approach to switched Ethernet for real-time control applications. 384-388
  
• Dong-Hwan Park, Soon-Ju Kang:
  IEEE1394 OHCI device driver architecture for guarantee real-time requirement. 389-393
  
• Seungwoo Son, Chaedeok Lim, Heung-Nam Kim:
  Debugging protocol for remote cross development environment. 394-398
  
• Kristian Sandström, Christer Norström, Magnus Ahlmark:
  Frame packing in real-time communication. 399-403
  
• David Polock, Dieter Zöbel:
  Conformance testing of priority inheritance protocols. 404-408
  
• Li-Hsing Yen:
  Probabilistic analysis of causal message ordering. 409-
  

Real-Time Systems II

• Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli:
  Testing embedded real-time systems. 417-424
  
• Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda:
  Dragon: soft real-time event delivering architecture for networked sensors and appliances. 425-432
  
• Håkan Sundell, Philippas Tsigas:
  Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information. 433-440
  
• Ahmed Khoumsi:
  A new method for testing real time systems. 441-
  

Databases II

• Miseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-il Jin, Mi-kyong Han, Wan Choi:
  Two-step backup mechanism for real-time main memory database recovery. 453-457
  
• Heejun Han, Seog Park, Chanjung Park:
  A concurrency control protocol for read-only transactions in real-time secure database systems. 458-463
  
• Jan Lindström, Kimmo E. E. Raatikainen:
  Using importance of transactions and optimistic concurrency control in firm real-time databases. 463-467
  
• Alexander Münnich:
  PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. 468-472
  
• Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son:
  Real-time transaction processing with partial validation at mobile clients. 473-
  

Formal Methods III

• Naijun Zhan:
  Another formal proof for Deadline Driven Scheduler. 481-485
  
• Jyhjong Lin:
  Real-time systems development: from structured analysis to object-oriented design. 486-490
  
• D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon:
  An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. 491-497
  
• Stefan M. Petters:
  Bounding the execution time of real-time tasks on modern processors. 498-502
  
• Vangalur S. Alagar, L. Zhang:
  Automatic code generation for real-time reactive systems in TROMLAB environment. 503-510
  
• Jan Gustafsson:
  Eliminating annotations by automatic flow analysis of real-time programs. 511-516
  
• Seong Woo Kwak, Byung-Jae Choi, Byung Kook Kim:
  Checkpointing strategy for multiple real-time tasks. 517-521
  
• Patricia Balbastre, Ismael Ripoll, Alfons Crespo:
  Control tasks delay reduction under static and dynamic scheduling policies. 522-
  

Last update Fri May 25 08:34:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page