23.SRDS 2004:巴西弗洛里安诺波利斯
-
第23届可靠分布式系统国际研讨会(SRDS 2004),2004年10月18日至20日,巴西弗洛里安波利斯。 IEEE计算机学会 2004 ,国际标准图书编号 0-7695-2239-4
主题演讲
布莱恩·兰德尔 :
可靠的普及系统。 2
可靠分布式系统的评估
佩特尔·乌尔班 , 宫原直弘 , 安德烈·希珀 , Takuya Katayama先生 :
轮换协调员和基于领导的共识算法的性能比较。 4-17 Gunjan Khanna公司 , 帕德马·瓦拉达拉扬 , Saurabh Bagchi公司 :
自检网络协议:基于监视器的方法。 18-30 安东尼奥·迪·费迪南多 , Paul D.Ezhilchelvan先生 , 伊西·米特拉尼 :
一种用于可靠多播的QoS自适应系统的设计与评估。 31-40 塞尔吉奥·里卡多·罗塔 , 小豪尔赫·雷迪·德·阿尔梅达。 :
可靠系统的运行时监控:方法和案例研究。 41-49
容错分布式算法
理查德·埃克沃尔 , 安德烈·希珀 , 佩特尔·乌尔班 :
使用不可靠故障检测器的基于令牌的原子广播。 52-65 宫原直弘 , 泽维尔·德法戈 , 拉米纱线 , Takuya Katayama先生 :
Φ累积故障检测器。 66-78 查尔斯·弗莱 , 迈克尔·雷特 :
拜占庭配额复制系统中的嵌套对象。 79-89 张宏伟 , 阿尼什·阿罗拉 , 刘志军 :
一种改进BGP收敛性的面向稳定性方法。 90-99
面板
K.H.(凯恩)金 , Paul D.Ezhilchelvan先生 , 约格·凯撒 , 路易斯·莫瑟 , 埃德加·奈特 , 内拉杰·苏里 :
为什么实时容错计算的进展缓慢? 102 Paul D.Ezhilchelvan先生 :
容错实时计算的进展。 103-104 K.H.(凯恩)金 :
容错实时分布式计算进展缓慢。 106-108 P.M.梅利亚·史密斯 , 路易丝·莫瑟 :
实时容错的进展。 109-111 内拉杰·苏里 :
为什么(复合)容错实时系统的进展缓慢(比预期慢……我们能做些什么?)。 112-113
全局状态和检查点
中村拓志 , Takuro Hayashida先生 , Masaaki近藤 , 田岛由也 , Masashi Imai先生 , Takashi Nanya公司 :
用于容忍多节点故障的倾斜检查点。 116年至125年 加西亚岛 , 路易斯·爱德华多·布扎托 :
一种有效的检查点协议,用于最小化操作回滚依赖性可跟踪性的特征。 126-135 Naghmeh Ghafari公司 , 鲁道夫·塞维奥拉 :
全局谓词监控的信号处理方法。 136-145 古斯塔沃·马查多·坎帕尼阿尼·伽马 , 基兰·纳加拉贾 , 里卡多·比安奇尼 , 理查德·马丁 , 小瓦格纳·梅拉。 , Thu D.Nguyen(星期四) :
状态维护及其对多层Internet服务性能的影响。 146-158
主题演讲
赫尔曼·科佩兹 :
可靠嵌入式系统的集成体系结构。 160-161
安全和高可信度系统
里卡多·斯坎达里亚托 , 约翰·C·奈特 :
网络蠕虫防御系统的设计与评估。 164-173 米盖尔·科雷亚 , 努诺·费雷拉·内维斯 , 保罗·维西莫 :
如何在实际分布式系统中容忍少一半的拜占庭节点。 174-183 法布里斯·史蒂文斯 , 托德·考特尼 , 桑卡普·辛格 , 阿德南·阿巴里亚 , 约翰·迈耶 , 威廉·桑德斯 , Partha P.Pal公司 :
基于模型的入侵容忍信息系统验证。 184-194 吉亚辛托·保罗·萨格塞 , 克劳迪奥·巴西尔 , 路易吉·罗曼诺 , Zbigniew Kalbarczyk公司 , 拉维山卡·K·伊耶 :
高性能、入侵和容错系统的硬件支持。 195-204
面板
徐杰(音译) , 格雷姆·狄克逊 , Priya Narasimhan公司 , 路易吉·罗马诺 , 罗勃·史密斯 :
Web服务中的可靠性。 206
共识协议
Achour Mostéfaoui公司 , 米歇尔·雷纳尔 , 科伦蒂·特拉弗斯 :
防撞性、无时间限制的最终领导力。 208-217 何塞·佩雷拉 , 鲁伊·奥利维拉 :
可变共识协议。 218-227 罗伊·弗里德曼 , Achour Mostéfaoui公司 , 米歇尔·雷纳尔 :
用于异步拜占庭系统的简单高效的基于Oracle的共识协议。 228-237
分布式对象和中间件系统
弗朗西斯科·马蒂亚斯·昆卡-阿库纳 , Thu D.Nguyen(星期四) :
自我管理联合服务。 240-250 约瑟夫·斯伦伯 , Priya Narasimhan公司 :
使用程序分析识别和补偿容错复制系统中的不确定性。 251-263 拉斐尔·钱德 , 帕斯卡·费尔伯 :
XNET:一个可靠的基于内容的发布/订阅系统。 264-273
基于互联网的系统/移动
阿比纳夫·沃拉 , 查希尔·塔里 , 彼得·贝托克 :
一种在移动环境中支持断开连接写入操作的囤积方法。 276-288 梁忠贤 , 曹国宏 :
在Ad Hoc网络中平衡数据可访问性和查询延迟之间的平衡。 289-298 何塞·佩雷拉 , 路易斯·罗德里格斯 , 亚历山大·平托 , 鲁伊·奥利维拉 :
广域网中的低延迟概率广播。 299-308年 帕斯卡·费尔伯 , 蒂姆·卡尔杜威 , 斯特凡·韦斯 :
针对Web服务器可靠性的主动式热点规避。 309-318