第三届RTCSA 1996:韩国首尔
-
第三届实时计算系统应用国际研讨会(RTCSA'96),1996年10月30日至11月1日,韩国首尔。 IEEE计算机学会 1996 ,国际标准图书编号 0-8186-7626-4
多媒体
Kyong-Sang Yu(京山语) , Hyuck Yoo公司 :
消除多媒体通信中的数据复制。 4-9 约瑟夫·基因·吴 :
在FDDI网络上传输MPEG-I视频的研究。 10-17 Yeong-Geon Seo公司 , 月亮·荣格 , Hae-Seok哦 :
通过网络发送、接收和呈现用于远程医疗诊断(MediNet)的多媒体数据。 18-25 中岛达雄 , 铁冢浩 :
支持VBR流的连续媒体存储系统。 26-
通信I
Hea-Sook公园 , 宋晋文 , Mee-Hye Lee先生 , Kwang-Suk歌曲 :
ATM交换控制系统中两种工控机控制方法的设计与比较。 36-40 Seungkweon Jeong先生 , Jaehyun公园 , 胡贤权(Wook Hyun Kwon) , Kang G.Shin先生 :
HARTS中实时信道上通信延迟的评估。 41-48 贾晓华 , 曹建农 , 魏佳佳 :
具有最优网络成本的实时多播路由。 49-
邀请的谈话
汉斯·汉森 :
通过ATM网络保证实时流量。 58
数据库I
董奎洪 , Myung-Joon Kim先生 , 夏玛·查克拉瓦尔西 :
将负载因子合并到主存数据库的软实时事务的调度中。 60-66 桑昆查 , 江河公园 , S.J.李 , Byoung Dae公园 , J.S.李 :
主内存实时存储系统的可扩展体系结构。 67-73 李长坤 , Young-Kuk Kim(金永国) , 桑Hyuk Son , Sang Lyul Min先生 , Chong-Sang Kim先生 :
有效支持实时数据库系统中的硬/软截止日期事务。 74-80 Kong Rim Choi公司 , Kyung-Chang Kim(金京昌) :
T*-tree:用于实时应用程序的主内存数据库索引结构。 81-
规范和验证
佐藤雅满 :
实时系统的概率验证技术。 90-97 克拉斯·布林克 , 扬·范·卡特维克 , W.J.托特内尔 :
Ada 95作为正式规范的实施工具。 98-105 Farn Wang公司 :
从107到1085个状态的高级实时并发系统的可扩展组合验证。 106-
邀请的谈话
简·W·S·刘 :
时间验证和临时服务质量保证。 116
数据库II
梁明昌 , 崔伟国(Tei-Wei Kuo) , 李春树 :
BAP:基于兼容性概念的一类面向中止的协议。 118-127 金柳林 , 维克多·C·S·李 , Sheung-lun Hung村 , 本高(Ben Kao) :
分布式实时数据库中优先级分配对乐观并发控制的影响。 128-135 Chanjung公园 , Seog公园 :
具有多级安全性的实时数据库的多版本锁定协议。 136-143 郭瓦林 , 上伦洪 :
用于控制优先级反转的抢占式事务调度协议。 144-
容错性
李忠熙 , 何荣权 , 永德权 , Byung-Whan Choi先生 :
用比较法研究多处理机系统的实时可诊断性。 154-161 塞利奥·埃斯特万·莫龙 :
设计实时可恢复操作。 162-169 M.D.巴巴 , Hsmail Ekiz公司 , A.库特鲁 , E.T.鲍纳 :
面向适应性分布式实时计算机系统。 170-
邀请的谈话
Farnam Jahanian公司 :
分布式实时系统中的容错。 178
时序分析
Kyeonghoon Koo公司 , 胡贤权(Wook Hyun Kwon) :
通过约束分析预测继电器梯形逻辑的最坏情况时序。 180-186 阿波斯托洛斯·库恩托利斯 :
在WCET估计中安全有效地消除不可行的执行路径。 187-194 JoséV.Busquets-Mataix公司 , 胡安·何塞·塞拉诺 , 拉斐尔·奥尔斯 , 佩德罗·吉尔 , 安迪·威林斯(Andy J.Wellings) :
使用谐波任务集来提高基于缓存的抢占式实时系统的可调度利用率。 195-202 戴明忠(Tai M.Chung) , 亨利·G·迪茨 :
具有指令级定时精度的硬实时代码的静态调度。 203-
通信II
Junghoon Lee(李俊勋) , Seungjun公园 :
基于以太网的实时通信的错误控制方案。 214-219 李先生 :
工业网络中的循环服务。 220-226 森喜朗 , 马诺宏久 , Hideyuki Takada公司 , 坂村健 :
μITRON总线:开放网络环境下的实时控制局域网。 227-
邀请的谈话
C.道格拉斯锁 :
实时应用程序的软件体系结构。 236-237 Jaehong Shim公司 , Kyunghee Choi先生 , Gihyun Jung先生 , Seungkyu公园 , HyeonSik Shin公司 , Dongyoon Kim先生 :
基于微内核的实时Mike中的优先级反转处理。 238-245 水沼一郎 , 恰申 , 森川武垣 :
具有实时ATM中间件的工业系统的新架构。 246-253 大久保东彦(Toshikazu Ohkubo) , 一、竹中 , 瓦萨诺铁雄 , Omiya先生 :
实时微内核产品的质量标准。 254-260 中岛达雄 , 藤田浩史 :
具有自适应QOS映射方案的经验。 261-
软件系统和编程环境
Frédéric Boussinot先生 , 劳伦特·哈扎德 :
反应脚本。 270-277 B.Noorduin餐厅 , 扬·范·卡特维克 , 考奈里斯·坡让克 :
Gnass:基于Gnat的分配和调度系统。 278-285 Sungjoo Yoo先生 , 金万贞 , Seongsoo Hong先生 , Kiyoung Choi先生 :
资源节约型实时系统的软硬件协同设计。 286-
行程安排
伊斯梅尔·里波尔 , 安娜·加西亚·福恩斯 , 阿尔芬斯·克雷斯波 :
动态优先级系统的最优非周期调度。 294-300 南云·金 :
具有端到端时间约束的实时系统的调度技术。 301-306 京国云 , Kihyun Song先生 , Kyunghee Choi先生 , Gihyun Jung先生 , Seungkyu公园 , 曼皮奥·洪 , Dugkyoo Choi先生 :
具有O/l约束的不精确多处理机系统的启发式调度算法。 307-313 Hyungill Kim先生 , Sungyoung Lee(李成阳) , Jongwon Lee公司 :
动态优先级系统中硬非周期请求的调度。 314-319 金浩(Jinho Kim) , Kang G.Shin先生 :
实时过程控制系统中的数据记录。 320-