第17届RTSS 1996:美国华盛顿特区
-
第17届IEEE实时系统研讨会(RTSS’96)会议记录,1996年12月4日至6日,美国华盛顿特区。 IEEE计算机学会 1996 ,国际标准图书编号 0-8186-7689-2
日程安排I
孙军(Jun Sun) , 简·W·S·刘 :
具有任意释放时间和可变执行时间的作业的完成时间有界。 2-12 丹宾·塞托 , 约翰·列霍茨基(John P.Lehoczky) , Lui Sha先生 , Kang G.Shin先生 :
实时控制系统中的任务可调度性。 13-21 阿洛伊修斯·莫克 , 陈德吉(Deji Chen) :
实时任务的多帧模型。 22-29
实验系统和应用
水沼一郎 , 恰申 , 森川武垣 :
ATM网络上分布式工业实时系统的中间件。 32-38 尼尔·C·奥德斯利 , 安迪·威林斯(Andy J.Wellings) :
分析APEX应用程序。 39-44 史蒂文·索默 , 约翰·波特 :
动态实时应用程序的操作系统扩展。 45-50
形式化方法
费利斯·巴拉林 :
时间自动机的近似可达性分析。 52-61 亨利·温伯格 , 南希·A·林奇 :
车辆控制系统的正确性——案例研究。 62-72 康拉多·道斯 , 塞尔吉奥·尤文 :
减少时间自动机的时钟变量数量。 73-81 V.纳塔拉扬 , 兰斯·克莱维兰 :
实时系统的可预测性:一种过程代数方法。 82-91
同步
詹姆斯·安德森 , Srikanth Ramamurthy先生 :
在无锁实时系统中实现对象和调度任务的框架。 94-105 仁宗李 :
使用一致内存优化FIFO、可扩展自旋锁。 106-114
模型和工具
阿洛伊修斯·莫克 , 杜仲聪 , 鲁·C·M·德·鲁伊(Ruud C.M.de Rooij) :
MSP。 RTL实时调度器综合工具。 118-128 图利奥·瓦尔达内加 :
为构建可静态分析的硬实时Ada系统提供工具支持。 129-135 拉古纳桑·拉吉库马尔 , 迈克尔·加利亚迪 :
实时发布者/订阅者进程间通信模型中的高可用性。 136-141
通信
阿什什·梅赫拉 , Atri Indiresan公司 , Kang G.Shin先生 :
构建通信软件以保证服务质量。 144-154 德班詹·萨哈 , 萨里特·穆克吉 , 萨蒂什·K·特里帕蒂 :
ATM网络中保证和预测服务的多速率调度。 155-164 Ching-Chih Han公司 , Kang G.Shin先生 :
环形网络中带时间约束的消息传输。 165-174 洪应台 , 侯朝钜 , Bin Wang(王斌) , Ching-Chih Han公司 :
支持基于WDMA的星形耦合光网络中的时间约束通信。 175-184
日程安排II
约翰·列霍茨基(John P.Lehoczky) :
实时排队理论。 186-195 徐志文 , 桂杰林 :
使用单数约简技术的最佳pinwheel调度器。 196-205 Hiroyuki Kaneko先生 , 约翰·斯坦科维奇 , 苏巴巴拉塔·森 , 克里蒂·拉马姆里萨姆 :
多媒体和硬实时任务的集成调度。 206-217
数据库
拉梅什·古普塔 , 贾扬特·哈里萨(Jayant R.Haritsa) , 克里蒂·拉马姆里萨姆 , S.Seshadri公司 :
分布式实时数据库系统中的提交处理。 220-229 阿泽尔·贝斯塔夫罗斯 , 苏·纳吉 :
RTDB系统的价值认知准入控制。 230-239 明雄 , 拉金德兰·西瓦桑卡兰 , 约翰·斯坦科维奇 , 克里蒂·拉马姆里萨姆 , 唐纳德·托斯利 :
使用时间约束调度事务:利用数据语义。 240-251
时间安排分析
李耀聪 , 莎拉·马利克 , 安德鲁·沃尔夫 :
实时软件的缓存建模:超越直接映射指令缓存。 254-263 李长坤 , 乔森·哈恩 , Sang Lyul Min先生 , 兰哈 , Seongsoo Hong先生 , 长云公园 , 李明秀(Minsuk Lee) , Chong-Sang Kim先生 :
固定优先级抢占调度中与缓存相关的抢占延迟分析。 264-274 太乙黄 , 简·W·S·刘 , 戴维·赫尔 :
一种限制DMA I/O干扰对程序执行时间影响的方法。 275-285
资源配置与系统实施
离子斯托伊卡 , 侯赛因·M·阿卜杜勒-瓦哈布 , 凯文·杰斐 , 桑乔伊·巴鲁阿 , 格尔克 , C.格雷格·普拉克斯顿 :
实时分时系统的比例共享资源分配算法。 288-299 南云·金 , Minsoo Ryu公司 , Seongsoo Hong先生 , 玛纳斯·萨克塞纳 , Chong-Ho Choi先生 , 申贤石 :
实时系统设计的可视化评估:CNC控制器的案例研究。 300-310 斯特凡·波列德纳 :
优化嵌入式实时系统的进程间通信。 311-