Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rtcsa/rtcsa2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/rtcsa/AbeniB00,
author = {Luca Abeni and
Giorgio C. Buttazzo},
title = {Support for dynamic QoS in the {HARTIK} kernel},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896372},
doi = {10.1109/RTCSA.2000.896372},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AbeniB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AlagarM00,
author = {Vangalur S. Alagar and
D. Muthiayen},
title = {Towards a mechanical verification of real-time reactive systems modeled
in {UML}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896398},
doi = {10.1109/RTCSA.2000.896398},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AlagarM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AlagarZ00,
author = {Vangalur S. Alagar and
L. Zhang},
title = {Automatic code generation for real-time reactive systems in {TROMLAB}
environment},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {503--510},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896434},
doi = {10.1109/RTCSA.2000.896434},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AlagarZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndersonH00,
author = {James H. Anderson and
Philip Holman},
title = {Efficient pure-buffer algorithms for real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {57--64},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896371},
doi = {10.1109/RTCSA.2000.896371},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndersonH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndersonS00,
author = {James H. Anderson and
Anand Srinivasan},
title = {Pfair scheduling: beyond periodic task systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {297--306},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896405},
doi = {10.1109/RTCSA.2000.896405},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndersonS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AnderssonJ00,
author = {Bj{\"{o}}rn Andersson and
Jan Jonsson},
title = {Fixed-priority preemptive multiprocessor scheduling: to partition
or not to partition},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896409},
doi = {10.1109/RTCSA.2000.896409},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AnderssonJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AydinMM00,
author = {Hakan Aydin and
Rami G. Melhem and
Daniel Moss{\'{e}}},
title = {Optimal scheduling of imprecise computation tasks in the presence
of multiple faults},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {289--296},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896404},
doi = {10.1109/RTCSA.2000.896404},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AydinMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BalbastreRC00,
author = {Patricia Balbastre and
Ismael Ripoll and
Alfons Crespo},
title = {Control tasks delay reduction under static and dynamic scheduling
policies},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {522},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896437},
doi = {10.1109/RTCSA.2000.896437},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/BalbastreRC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BateBMP00,
author = {Iain Bate and
Guillem Bernat and
G. Murphy and
Peter P. Puschner},
title = {Low-level analysis of a portable Java byte code {WCET} analysis framework},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {39},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896369},
doi = {10.1109/RTCSA.2000.896369},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BateBMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Buttazo00,
author = {Giorgio C. Buttazzo},
title = {From Hard to Soft Real-Time Systems: Predictability vs. Efficiency},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {241},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.10003},
doi = {10.1109/RTCSA.2000.10003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Buttazo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ChevochotP00,
author = {Pascal Chevochot and
Isabelle Puaut},
title = {Holistic schedulability analysis of a fault-tolerant real-time distributed
run-time support},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {355--362},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896411},
doi = {10.1109/RTCSA.2000.896411},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ChevochotP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ChoiB00,
author = {Byung{-}Kyu Choi and
Riccardo Bettati},
title = {Efficient resource management for hard real-time communication over
differentiated services architectures},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896379},
doi = {10.1109/RTCSA.2000.896379},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ChoiB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ChoiSBH00,
author = {Baek{-}Young Choi and
Sejun Song and
Nigel Birch and
Jim Huang},
title = {Probabilistic approach to switched Ethernet for real-time control
applications},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {384--388},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896415},
doi = {10.1109/RTCSA.2000.896415},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ChoiSBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ChoiYSKKJHC00,
author = {Miseon Choi and
Hye{-}Sook Yoon and
Eun{-}Mi Song and
Young{-}Keol Kim and
Young{-}Kuk Kim and
Seong{-}Il Jin and
Mi{-}kyong Han and
Wan Choi},
title = {Two-step backup mechanism for real-time main memory database recovery},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {453--457},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896425},
doi = {10.1109/RTCSA.2000.896425},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ChoiYSKKJHC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DobrinOF00,
author = {Radu Dobrin and
Yusuf {\"{O}}zdemir and
Gerhard Fohler},
title = {Task attribute assignment of fixed priority scheduled tasks to reenact
off-line schedules},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {150--154},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896383},
doi = {10.1109/RTCSA.2000.896383},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/DobrinOF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DongMM00,
author = {Libin Dong and
Rami G. Melhem and
Daniel Moss{\'{e}}},
title = {Effect of scheduling jitter on end-to-end delay in {TDMA} protocols},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {223--230},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896395},
doi = {10.1109/RTCSA.2000.896395},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/DongMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/En-NouaaryKD00,
author = {Abdeslam En{-}Nouaary and
Ferhat Khendek and
Rachida Dssouli},
title = {Testing embedded real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {417--424},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896421},
doi = {10.1109/RTCSA.2000.896421},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/En-NouaaryKD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/FouchalPS00,
author = {Hac{\`{e}}ne Fouchal and
Eric Petitjean and
S{\'{e}}bastien Salva},
title = {Testing timed systems with timed purposes},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {166--171},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896386},
doi = {10.1109/RTCSA.2000.896386},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/FouchalPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GoossensB00,
author = {Jo{\"{e}}l Goossens and
Sanjoy K. Baruah},
title = {Multiprocessor algorithms for uniprocessor feasibility analysis},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {315--322},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896407},
doi = {10.1109/RTCSA.2000.896407},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GoossensB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Gustafsson00,
author = {Jan Gustafsson},
title = {Eliminating annotations by automatic flow analysis of real-time programs},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {511--516},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896435},
doi = {10.1109/RTCSA.2000.896435},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Gustafsson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HanPP00,
author = {Heejun Han and
Seog Park and
Chanjung Park},
title = {A concurrency control protocol for read-only transactions in real-time
secure database systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {458--463},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896426},
doi = {10.1109/RTCSA.2000.896426},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HanPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HanssonTS00,
author = {J{\"{o}}rgen Hansson and
Marcus Thuresson and
Sang Hyuk Son},
title = {Imprecise task scheduling and overload management using {OR-ULD}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {307--314},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896406},
doi = {10.1109/RTCSA.2000.896406},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HanssonTS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungWC00,
author = {Pao{-}Ann Hsiung and
Farn Wang and
Ruey{-}Cheng Chen},
title = {On the verification of Wireless Transaction Protocol using {SGM} and
{RED}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {379--383},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896414},
doi = {10.1109/RTCSA.2000.896414},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungWC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HuangH00,
author = {Yu{-}Sheng Huang and
Chih{-}wen Hsueh},
title = {Minimizing the maximum end-to-end delay on tree structure using the
distributed pinwheel model},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896380},
doi = {10.1109/RTCSA.2000.896380},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HuangH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/IwaiNT00,
author = {Masayuki Iwai and
Jin Nakazawa and
Hideyuki Tokuda},
title = {Dragon: soft real-time event delivering architecture for networked
sensors and appliances},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {425--432},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896422},
doi = {10.1109/RTCSA.2000.896422},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/IwaiNT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JeffayL00,
author = {Kevin Jeffay and
Gerardo Lamastra},
title = {A comparative study of the realization of rate-based computing services
in general purpose operating systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {81},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896374},
doi = {10.1109/RTCSA.2000.896374},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JeffayL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Khoumsi00,
author = {Ahmed Khoumsi},
title = {A new method for testing real time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {441},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896424},
doi = {10.1109/RTCSA.2000.896424},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Khoumsi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimCH00,
author = {Saehwa Kim and
Sukjae Cho and
Seongsoo Hong},
title = {Schedulability-aware mapping of real-time object-oriented models to
multi-threaded implementations},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {7--14},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896365},
doi = {10.1109/RTCSA.2000.896365},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimCH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimKKC00,
author = {Jin{-}Ho Kim and
Sang{-}Wook Kim and
Dae{-}Yong Kim and
Wan Choi},
title = {Implementing real-time scheduling daemon in general purpose operating
system Unix},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {177--182},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896388},
doi = {10.1109/RTCSA.2000.896388},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimKKC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimL00,
author = {Daeyoung Kim and
Yann{-}Hang Lee},
title = {DC\({}^{\mbox{2}}\) scheduling for aperiodic tasks in strongly partitioned
real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {368},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896413},
doi = {10.1109/RTCSA.2000.896413},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimLJ00,
author = {Hyungill Kim and
Sungyoung Lee and
Byeong{-}Soo Jeong},
title = {An improved feasible shortest path real-time fault-tolerant scheduling
algorithm},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {363--367},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896412},
doi = {10.1109/RTCSA.2000.896412},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimLJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimLY00,
author = {Daeyoung Kim and
Yann{-}Hang Lee and
Mohamed F. Younis},
title = {SPIRIT-{\(\mu\)}Kernel for strongly partitioned real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896373},
doi = {10.1109/RTCSA.2000.896373},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimLY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KreuzingerSPUBK00,
author = {Jochen Kreuzinger and
A. Schulz and
Matthias Pfeffer and
Theo Ungerer and
Uwe Brinkschulte and
C. Krakowski},
title = {Real-time scheduling on multithreaded processors},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {155--159},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896384},
doi = {10.1109/RTCSA.2000.896384},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KreuzingerSPUBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KwakCK00,
author = {Seong Woo Kwak and
Byung{-}Jae Choi and
Byung Kook Kim},
title = {Checkpointing strategy for multiple real-time tasks},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {517--521},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896436},
doi = {10.1109/RTCSA.2000.896436},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KwakCK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LeeLS00,
author = {Victor C. S. Lee and
Kwok{-}Wa Lam and
Sang Hyuk Son},
title = {Real-time transaction processing with partial validation at mobile
clients},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {473},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896429},
doi = {10.1109/RTCSA.2000.896429},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LeeLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LimY00,
author = {Hyung{-}Taek Lim and
Seung{-}Min Yang},
title = {A framework to model dependable real-time systems based on real-time
object model},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896368},
doi = {10.1109/RTCSA.2000.896368},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LimY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Lin00,
author = {Jyhjong Lin},
title = {Real-time systems development: from structured analysis to object-oriented
design},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {486--490},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896431},
doi = {10.1109/RTCSA.2000.896431},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Lin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LinC00,
author = {Chi{-}Min Lin and
Tien{-}Fu Chen},
title = {Dynamic memory management for real-time embedded Java chips},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896370},
doi = {10.1109/RTCSA.2000.896370},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LinC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LindgrenHNP00,
author = {Mats Lindgren and
Hans Hansson and
Christer Norstr{\"{o}}m and
Sasikumar Punnekkat},
title = {Deriving reliability estimates of distributed real-time systems by
simulation},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {279},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896402},
doi = {10.1109/RTCSA.2000.896402},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LindgrenHNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LindgrenHT00,
author = {Markus Lindgren and
Hans Hansson and
Henrik Thane},
title = {Using measurements to derive the worst-case execution time},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896366},
doi = {10.1109/RTCSA.2000.896366},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LindgrenHT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Lindstrom00,
author = {Jan Lindstr{\"{o}}m},
title = {Extensions to optimistic concurrency control with time intervals},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {108},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896378},
doi = {10.1109/RTCSA.2000.896378},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Lindstrom00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LindstromR00,
author = {Jan Lindstr{\"{o}}m and
Kimmo E. E. Raatikainen},
title = {Using importance of transactions and optimistic concurrency control
in firm real-time databases},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {463--467},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896427},
doi = {10.1109/RTCSA.2000.896427},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LindstromR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Mejia-AlvarezAMM00,
author = {Pedro Mej{\'{\i}}a{-}Alvarez and
Hakan Aydin and
Daniel Moss{\'{e}} and
Rami G. Melhem},
title = {Scheduling optional computations in fault-tolerant real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {323},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896408},
doi = {10.1109/RTCSA.2000.896408},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Mejia-AlvarezAMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/MeylanBB00,
author = {Yves Meylan and
Aneema Bajpai and
Riccardo Bettati},
title = {ProtEx: a toolkit for the analysis of distributed real-time systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {183},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896389},
doi = {10.1109/RTCSA.2000.896389},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/MeylanBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Mok00,
author = {Aloysius K. Mok},
title = {Tracking Real-Time Systems Requirements},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {333},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.10001},
doi = {10.1109/RTCSA.2000.10001},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Mok00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Munnich00,
author = {Alexander M{\"{u}}nnich},
title = {{PRED-DF} - a data flow based semantic concurrency control protocol
for real-time main-memory database systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {468--472},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896428},
doi = {10.1109/RTCSA.2000.896428},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Munnich00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/MuthiayenAKS00,
author = {D. Muthiayen and
Vangalur S. Alagar and
Ferhat Khendek and
Azimeh Sefidcon},
title = {An approach to a synthesis of formal and visual description techniques
for the development of real-time reactive systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {491--497},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896432},
doi = {10.1109/RTCSA.2000.896432},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/MuthiayenAKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Nakajima00,
author = {Tatsuo Nakajima},
title = {Explicit binding interface for supporting native {ATM} networks in
a {CORBA} system},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {199--206},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896392},
doi = {10.1109/RTCSA.2000.896392},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Nakajima00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NakamotoTT00,
author = {Yukikazu Nakamoto and
Yoshihiro Tsujino and
Nobuki Tokura},
title = {Real-time task scheduling algorithms for maximum utilization of secondary
batteries in portable devices},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {347--354},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896410},
doi = {10.1109/RTCSA.2000.896410},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NakamotoTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NgHW00,
author = {Joseph Kee{-}Yin Ng and
Calvin Kin{-}Cheung Hui and
Wai Wong},
title = {A multi-server design for a distributed {MPEG} video system with streaming
support and QoS control},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {160--165},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896385},
doi = {10.1109/RTCSA.2000.896385},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NgHW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NganL00,
author = {Chris C. H. Ngan and
Kam{-}yiu Lam},
title = {Real-time multiple video player systems},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {172--176},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896387},
doi = {10.1109/RTCSA.2000.896387},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NganL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ParkK00,
author = {Dong{-}Hwan Park and
Soon{-}Ju Kang},
title = {{IEEE1394} {OHCI} device driver architecture for guarantee real-time
requirement},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {389--393},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896416},
doi = {10.1109/RTCSA.2000.896416},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ParkK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PavanGSBHC00,
author = {Allalaghatta Pavan and
Vipin Gopal and
Sejun Song and
Nigel Birch and
Raja Harinath and
David Castanon},
title = {Admission control and resource allocation in a strictly priority based
network},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {231},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896396},
doi = {10.1109/RTCSA.2000.896396},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/PavanGSBHC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PelayoCRC00,
author = {Fernando L. Pelayo and
Fernando Cuartero and
Valent{\'{\i}}n Valero Ruiz and
Diego Cazorla},
title = {An example of performance evaluation by using the stochastic process
algebra: {ROSA}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {271--278},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896401},
doi = {10.1109/RTCSA.2000.896401},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/PelayoCRC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Petters00,
author = {Stefan M. Petters},
title = {Bounding the execution time of real-time tasks on modern processors},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {498--502},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896433},
doi = {10.1109/RTCSA.2000.896433},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Petters00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PolockZ00,
author = {David Polock and
Dieter Z{\"{o}}bel},
title = {Conformance testing of priority inheritance protocols},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {404--408},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896419},
doi = {10.1109/RTCSA.2000.896419},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/PolockZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Ryu00,
author = {In Ryu},
title = {Current Issues and Challenges in Embedded Software Development},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.10000},
doi = {10.1109/RTCSA.2000.10000},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Ryu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SaezVC00,
author = {Sergio S{\'{a}}ez and
Joan Vila i Carb{\'{o}} and
Alfons Crespo},
title = {Task attribute assignment of fixed priority scheduled tasks to reenact
off-line schedules},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {145--149},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896382},
doi = {10.1109/RTCSA.2000.896382},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/SaezVC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SandstromNA00,
author = {Kristian Sandstr{\"{o}}m and
Christer Norstr{\"{o}}m and
Magnus Ahlmark},
title = {Frame packing in real-time communication},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {399--403},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896418},
doi = {10.1109/RTCSA.2000.896418},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SandstromNA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ShuY00,
author = {LihChyun Shu and
Michal Young},
title = {Chopping and versioning real-time transactions to avoid remote blocking},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {93--101},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896375},
doi = {10.1109/RTCSA.2000.896375},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ShuY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SonK00,
author = {Jin Hyun Son and
Myoung{-}Ho Kim},
title = {Finding the critical path in a time-constrained workflow},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {102--107},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896377},
doi = {10.1109/RTCSA.2000.896377},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SonK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SonLK00,
author = {Seungwoo Son and
Chaedeok Lim and
Heung{-}Nam Kim},
title = {Debugging protocol for remote cross development environment},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {394--398},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896417},
doi = {10.1109/RTCSA.2000.896417},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SonLK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SongCS00,
author = {Minseok Song and
Naehyuck Chang and
Heonshik Shin},
title = {A new queue discipline for various delay and jitter requirements in
real-time packet-switched networks},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {191--198},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896391},
doi = {10.1109/RTCSA.2000.896391},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SongCS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SundellT00,
author = {H{\aa}kan Sundell and
Philippas Tsigas},
title = {Space efficient wait-free buffer sharing in multiprocessor real-time
systems based on timing information},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {433--440},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896423},
doi = {10.1109/RTCSA.2000.896423},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SundellT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/TerrasaGB00,
author = {Andr{\'{e}}s Terrasa and
Ana Garc{\'{\i}}a{-}Fornes and
Vicente J. Botti},
title = {Including user-defined timing exception support in {FRTL}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {255--262},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896399},
doi = {10.1109/RTCSA.2000.896399},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/TerrasaGB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Theiling00,
author = {Henrik Theiling},
title = {Extracting safe and precise control flow from binaries},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896367},
doi = {10.1109/RTCSA.2000.896367},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Theiling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ToetenelSB00,
author = {Hans Toetenel and
Ronald F. Lutje Spelberg and
G. Bandini},
title = {Parametric verification of the {IEEE} 1394a Root Contention protocol
using {LPMC}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {207--214},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896393},
doi = {10.1109/RTCSA.2000.896393},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ToetenelSB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/UhlemannWAR00,
author = {Elisabeth Uhlemann and
Per{-}Arne Wiberg and
Tor Aulin and
Lars K. Rasmussen},
title = {Deadline dependent coding-a framework for wireless real-time communication},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {135},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896381},
doi = {10.1109/RTCSA.2000.896381},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/UhlemannWAR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/WallSMNY00,
author = {Anders Wall and
Kristian Sandstr{\"{o}}m and
Jukka M{\"{a}}ki{-}Turja and
Christer Norstr{\"{o}}m and
Wang Yi},
title = {Verifying temporal constraints on data in multi-rate transactions
using timed automata},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896400},
doi = {10.1109/RTCSA.2000.896400},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/WallSMNY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/WangWL00,
author = {Song Wang and
Yu{-}Chung Wang and
Kwei{-}Jay Lin},
title = {Integrating the fixed priority scheduling and the total bandwidth
server for aperiodic tasks},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {215--222},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896394},
doi = {10.1109/RTCSA.2000.896394},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/WangWL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Yen00,
author = {Li{-}Hsing Yen},
title = {Probabilistic analysis of causal message ordering},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {409},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896420},
doi = {10.1109/RTCSA.2000.896420},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Yen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Zhan00,
author = {Naijun Zhan},
title = {Another formal proof for Deadline Driven Scheduler},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {481--485},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896430},
doi = {10.1109/RTCSA.2000.896430},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Zhan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://ieeexplore.ieee.org/xpl/conhome/7188/proceeding},
isbn = {0-7695-0930-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-24 21:36 CEST from data curated 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:
