7. 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 BibTeX
@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
Formal Methods I
Real-Time Systems I
Databases I
Communications I
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
Electronic Edition (link) BibTeX
- Radu Dobrin, Yusuf Özdemir, Gerhard Fohler:
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules.
150-154
Electronic Edition (link) BibTeX
- Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski:
Real-time scheduling on multithreaded processors.
155-159
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Hacène Fouchal, Eric Petitjean, Sébastien Salva:
Testing timed systems with timed purposes.
166-171
Electronic Edition (link) BibTeX
- Chris C. H. Ngan, Kam-yiu Lam:
Real-time multiple video player systems.
172-176
Electronic Edition (link) BibTeX
- Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi:
Implementing real-time scheduling daemon in general purpose operating system Unix.
177-182
Electronic Edition (link) BibTeX
- Yves Meylan, Aneema Bajpai, Riccardo Bettati:
ProtEx: a toolkit for the analysis of distributed real-time systems.
183-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Tatsuo Nakajima:
Explicit binding interface for supporting native ATM networks in a CORBA system.
199-206
Electronic Edition (link) BibTeX
- Hans Toetenel, R. F. Lutje Spelberg, G. Bandini:
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.
207-214
Electronic Edition (link) BibTeX
- Song Wang, Yu-Chung Wang, Kwei-Jay Lin:
Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks.
215-222
Electronic Edition (link) BibTeX
- Libin Dong, Rami G. Melhem, Daniel Mossé:
Effect of scheduling jitter on end-to-end delay in TDMA protocols.
223-230
Electronic Edition (link) BibTeX
- Allalaghatta Pavan, Vipin Gopal, S. Song, N. Birch, R. Harinath, D. Castanon:
Admission control and resource allocation in a strictly priority based network.
231-
Electronic Edition (link) BibTeX
Invited Address II
Formal Methods II
- Vangalur S. Alagar, D. Muthiayen:
Towards a mechanical verification of real-time reactive systems modeled in UML.
245-254
Electronic Edition (link) BibTeX
- Andrés Terrasa, Ana García-Fornes, Vicente J. Botti:
Including user-defined timing exception support in FRTL.
255-262
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat:
Deriving reliability estimates of distributed real-time systems by simulation.
279-
Electronic Edition (link) BibTeX
Scheduling II
Invited Address III
Scheduling III
Communications III
- Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen:
On the verification of Wireless Transaction Protocol using SGM and RED.
379-383
Electronic Edition (link) BibTeX
- Baek-Young Choi, Sejun Song, Nigel Birch, Jim Huang:
Probabilistic approach to switched Ethernet for real-time control applications.
384-388
Electronic Edition (link) BibTeX
- Dong-Hwan Park, Soon-Ju Kang:
IEEE1394 OHCI device driver architecture for guarantee real-time requirement.
389-393
Electronic Edition (link) BibTeX
- Seungwoo Son, Chaedeok Lim, Heung-Nam Kim:
Debugging protocol for remote cross development environment.
394-398
Electronic Edition (link) BibTeX
- Kristian Sandström, Christer Norström, Magnus Ahlmark:
Frame packing in real-time communication.
399-403
Electronic Edition (link) BibTeX
- David Polock, Dieter Zöbel:
Conformance testing of priority inheritance protocols.
404-408
Electronic Edition (link) BibTeX
- Li-Hsing Yen:
Probabilistic analysis of causal message ordering.
409-
Electronic Edition (link) BibTeX
Real-Time Systems II
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
Electronic Edition (link) BibTeX
- Heejun Han, Seog Park, Chanjung Park:
A concurrency control protocol for read-only transactions in real-time secure database systems.
458-463
Electronic Edition (link) BibTeX
- Jan Lindström, Kimmo E. E. Raatikainen:
Using importance of transactions and optimistic concurrency control in firm real-time databases.
463-467
Electronic Edition (link) BibTeX
- Alexander Münnich:
PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.
468-472
Electronic Edition (link) BibTeX
- Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son:
Real-time transaction processing with partial validation at mobile clients.
473-
Electronic Edition (link) BibTeX
Formal Methods III
Copyright © Sat May 16 23:36:13 2009
by Michael Ley (ley@uni-trier.de)