1998年第四届RTAS:美国科罗拉多州丹佛市
-
第四届IEEE实时技术与应用研讨会论文集,RTAS'98,美国科罗拉多州丹佛,1998年6月3-5日。 IEEE计算机学会 1998 ,国际标准图书编号 0-8186-8569-7
行程安排
桑乔伊·巴鲁阿 :
单处理器工作负载的过载容差。 2-11 克里斯托弗·A·希利 , 米凯尔·舍丁 , Viresh Rustagi公司 , 大卫·B·威利 :
定时分析的边界循环迭代。 12-21 雷舟(Lei Zhou) , Kang G.Shin先生 , Elke A.Rundensteiner公司 :
存在时间不可预测性的速率单调调度。 22-27
通信
Prashant Pradhan公司 , Tzi-cker Chiueh公司 :
有线/无线局域网的实时性能保证。 29-38 Tzi-cker Chiueh公司 , 安妮迪亚·尼奥吉 , 保罗·A·斯特普 :
RSVP能力路由器的性能分析。 39-48 迈克尔·马克斯基 , 阿达斯帕尔·塞蒂 :
实时数据的全分布式无线MAC传输。 49-57
方法和体系结构
史蒂夫·戈达德 , 凯文·杰斐 :
从处理图中管理实时系统综合中的内存需求。 59-70 约翰·斯坦科维奇 , 桑贤善 , C.阮 :
协作监视器:分布式面向对象实时数据库系统的外部接口体系结构。 71-78 丹妮拉·罗苏 , 卡斯滕·施万 , Sudhakar Yalamanchili公司 :
FARA——复杂实时系统中自适应资源分配的框架。 79-84 凯文·布莱德利 , 杰伊·斯特罗斯奈德 :
复杂任务建模的应用。 85-90
操作系统和中间件
道格拉斯·施密特 , 苏梅德·蒙吉 , 塞尔吉奥·弗洛雷斯-盖坦 , Aniruddha S.Gokhale公司 :
缓解实时CORBA ORB核心体系结构中的优先级反转和不确定性。 92-101 克里蒂·拉马姆里萨姆 , 恰申 , 奥斯卡·冈萨雷斯 , 苏巴巴拉塔·森 , S.Shirgurkar公司 :
将Windows NT用于实时应用程序:实验观察和建议。 102-111 斯里尼瓦桑 , 夏马兰开拓者 , 罗伯特·希尔 , 福泉安萨里 , 道格拉斯·尼豪斯 :
使用商用非现成硬件和自由软件的可靠实时系统实现。 112-119
服务质量
塔里克·F·阿卜杜勒扎尔 , Kang G.Shin先生 :
QoS-自适应通信的端主机体系结构。 121-130 李斌东 , 拉米·梅勒姆 , 丹尼尔·莫塞 :
具有可协商距离约束的实时消息的时隙分配。 131-136 易卜拉欣·马塔 , 穆罕默德·埃尔托维西 :
用于实时CSCW应用程序的可扩展QoS路由体系结构。 137-142
第六部分: 规范和验证
弗兰克·米勒 , 约阿希姆·韦格纳 :
验证时间约束的静态分析和演化测试的比较。 144-154 Ji Y.Lee先生 , Kyo Chul Kang先生 , 杰拉德·J·金 , Hye J.Kim先生 :
形式,有效实时系统规范和仿真中的缺失部分。 155-164 斯塔夫罗斯·特里帕基斯 , 塞尔吉奥·尤文 :
使用工具Kronos验证具有延迟传输的快速预约协议。 165-170 大卫·肯德尔 , 史蒂文·布拉德利 , 威廉亨德森 , 阿德里安·罗布森 :
bCANDLE:CAN控制系统的形式化建模和分析。 171-177
第七部分: 数据库和信息系统
维奈·卡尼特卡 , 亚历克斯·德利斯 :
实时客户端-服务器推送策略:规范和评估。 179-188 池莉(Chih Lai) :
基于乐观相似性的实时并发控制。 189-198 刘广田 , 阿洛伊修斯·莫克 , 普拉布杜夫·科纳纳 :
在主动实时数据库系统中指定时间约束和复合事件的统一方法。 199-208
第八部分: 经验和案例研究
岛村高太郎 , 森田裕一郎 , 吉本高桥 , Takashi Hotta公司 , Shigeta Ueda公司 , 野原美姬 , 木藤三也 , 田中角司 , Kazuhiro Imaie先生 , 坂本小治 , 中岛达仁 :
采用分时故障恢复方法的三冗余控制器及其在功率变换器控制器中的应用。 210-219 奥列格·索科尔斯基 , 穆罕默德·尤尼斯 , 因苏普·李 , Hee-Hwan Kwak先生 , 杰弗里·X·周 :
航天运载火箭冗余管理系统的验证:案例研究。 220-229 阿兰·普塔克 , K.Foundy公司 :
实时航天器仿真和硬件在环测试。 230-236