第21届RTSS 2000:美国佛罗里达州奥兰多
-
第21届IEEE实时系统研讨会(RTSS 2000)会议记录,2000年11月27日至30日,美国佛罗里达州奥兰多。 IEEE计算机学会 2000 ,国际标准图书编号 0-7695-0900-2
实时系统设计与分析I
斯科特·约翰逊 , Farnam Jahanian公司 , 三叶明彦 , 迪奥尼西奥·德尼兹 , 拉古纳桑·拉吉库马尔 :
利用资源内核构建实时群组通信中间件。 3-12 晨阳路 , 约翰·斯坦科维奇 , 塔里克·F·阿卜杜勒扎尔 , 刚涛 , 桑Hyuk Son , 迈克尔·马利 :
自适应实时系统的性能规范和度量。 13-24 玛纳斯·萨克塞纳 , 王云(Yun Wang) :
使用抢占阈值的可扩展实时系统设计。 25-34
分布式实时处理
贾扬特·哈里萨(Jayant R.Haritsa) , 克里蒂·拉马姆里萨姆 :
将PEP添加到实时分布式提交处理中。 37-46 孙泰中 , 奥斯卡·冈萨雷斯 , 克里蒂·拉马姆里萨姆 , 恰申 :
CReMeS:一种符合CORBA的反射式内存通信服务。 47-56 Vana Kalogeraki女士 , P.M.梅利亚·史密斯 , 路易丝·莫瑟 :
分布式方法调用的动态调度。 57-66
处理器调度
Srikanth Rarnarnurthy公司 , 马克·莫尔 :
多处理器上的静态优先级定期调度。 69-78 冈泉 , 胡晓波(Xiaobo Sharon Hu) :
具有(m,k)-固定保证的增强固定优先级调度。 79-88 Moonju公园 , Yookun Cho先生 :
一种有效的硬实时周期任务可行性测试方法。 89-96
实时系统技术的应用
金福国 , 崔伟国(Tei-Wei Kuo) , 程畅 :
组件定向相控阵雷达的实时数字信号处理。 99-108 普拉布杜夫·科纳纳 , 阿洛伊修斯·莫克 , Chan-Gun Lee先生 , Honguk Woo公司 , 刘广田 :
实时电子经纪系统的实现和性能评估。 109-118 曼努埃尔·罗德里格斯 , Jean-Charles Fabre公司 , 让·阿拉特 :
构建健壮实时微内核的形式规范。 119-128
实时系统设计与分析II
路易吉·帕洛波利 , 卢卡·阿贝尼 , 法比奥·孔蒂塞利 , 马尔科·迪·纳塔尔 , 乔治·布塔佐 :
实时控制系统分析:一种综合方法。 131-140 Aleksandar M.Bakic , 马特·穆特卡 :
实时系统设计和带转向的在线性能可视化的集成方法。 141-150 布鲁诺·杜特雷 :
优先级上限协议的形式化分析。 151-160
时间分析和验证
雅各布·恩格布洛姆 , 安德烈亚斯·埃米达尔 :
为最坏情况下的执行时间分析建模复杂流。 163-174 杜晓群 , C.R.Ramakrishnan(罗马克里希南) , 斯科特·斯莫尔卡 :
表分辨率+约束:实时系统模型检查的方法。 175-184 Inkyu Kim公司 , 扎里·塞格尔 :
在实时应用程序的二进制到二进制翻译中提供时间等效性的形式化方法。 185-194 约恩·施奈德 :
抢占式实时系统的缓存和管道敏感固定优先级调度。 195-204
资源分配
达米尔·伊索维奇 , 格哈德·福勒 :
具有复杂约束的零星、非周期和周期任务的高效调度。 207-216 朱塞佩·利帕里 , 约翰·卡彭特 , 桑乔伊·巴鲁阿 :
在多道程序、硬实时环境中实现应用程序间隔离的框架。 217-226 特罗兰·C.L.马 , Kang G.Shin先生 :
一种用于移动应用程序的用户自定义能量自适应组合静态/动态调度程序。 227-236
网络和实时通信
理查德·韦斯特 , 克里斯蒂安·波埃拉鲍尔 :
实时和最佳努力数据包流的窗口约束调度器分析。 239-248 劳伦斯·米勒 , Albert M.K.Cheng先生 :
ATM网络中通过活动信道的带宽重分配和动态重路由允许高优先级实时呼叫。 249-258 马可·迪纳塔莱 :
使用最早截止日期技术安排Can总线。 259-268 苏贾亚·斯里尼瓦桑 , 大卫·B·斯图尔特 :
嵌入式微控制器的高速硬件辅助实时进程间通信。 269-279
面对超负荷的调度
佩德罗·梅西亚·阿尔瓦雷斯 , 拉米·梅勒姆 , 丹尼尔·莫塞 :
实时系统过载期间的增量调度方法。 283-294 马可·卡卡莫 , 乔治·布塔佐 , 吕沙 :
超限控制的容量共享。 295-304 石维宽 , 李长荣(Che-Rung Lee) , 清慧堂 :
一种调度具有时间约束的不精确计算以最小化加权误差的快速算法。 305-310