Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th RTCSA 2000: Cheju Island, South Korea
- 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea. IEEE Computer Society 2000, ISBN 0-7695-0930-4
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-μ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 Sáez, 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, Ronald 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, Sejun Song, Nigel Birch, Raja Harinath, David 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:
DC2 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, Azimeh 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-
a service of 
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-05-02 22:11 CEST 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:
