2013年第15届SSS:日本大阪
东野泰郎 , 片山吉崎 , 藤泽俊美(Toshimitsu Masuzawa) , 玛丽亚·波托普·布图卡鲁 , 山下正美 :
分布式系统的稳定、安全和安保——第15届国际研讨会,2013年SSS,日本大阪,2013年11月13日至16日。 诉讼程序。 计算机科学课堂讲稿 8255, 施普林格 2013 ,十亿 978-3-319-03088-3 Jons-Tobias Wamhoff公司 , 马里奥·施瓦尔贝 , 拉沙·法赫 , 克里斯托夫·费泽尔 , 帕斯卡·费尔伯 :
用于容忍瞬态硬件错误的事务编码。 1-16 彼得·库兹涅佐夫 :
通用模型仿真:BG和扩展BG示例。 17-31 维罗妮卡·埃斯特拉达·加利尼亚内斯 , 帕斯卡·费尔伯 :
螺旋纠缠码:设计健壮分布式存储系统的有效方法。 32-44 阿拉文德·纳塔拉扬 , 李·萨沃伊 , 内拉杰·米塔尔 :
并行无等待红黑树。 45-60 Fabienne Carrier公司 , 阿乔伊·库马尔·达塔 , Stéphane Devismes , 劳伦斯·拉莫尔 , 伊万·里维埃尔 :
自稳定(f,g)-具有安全收敛的联盟。 61-73 布拉希姆·内加西 , 沃尔克·图劳 , 穆罕默德·哈达德 , 哈马马切·卡杜奇 :
一般图的最大p-星分解的一种自稳定算法。 74-85 徐晓光 , 山内由纪子 , 木岛修二 , 山下正美 :
基于k-交互的人口协议中自稳定领导选举的空间复杂性。 86-97 杰弗里·诺克尔 , 乔治·萨德 , 贾里德·赛亚 :
拜占庭断层的自我修复。 98-112 阿乔伊·库马尔·达塔 , 劳伦斯·拉莫尔 :
领导人选举以及树状网络中的中心和媒体。 113-132 Heger Arfaoui公司 , 皮埃尔·弗拉吉诺 , 安德烈·佩尔克 :
具有有限规模输出的本地决策和验证。 133-147 纳杰斯·法拉希 , Borzoo Bonakdarpour公司 :
弱稳定有多好? 148-162 亚历克斯·P·克林哈默 , 阿里·埃布纳西尔 :
验证参数化环和链上的Livelock Freedom。 163-177 塞德里克螺旋钻 , 佐希尔·布齐德 , 皮埃尔·科蒂厄 , 塞巴斯蒂安·提克塞尔 , 泽维尔·乌尔班 :
拜占庭容忍移动机器人的认证不可能结果。 178-190 埃文格洛斯·班帕斯 , 阿尼萨·拉马尼 , 弗兰克·佩蒂特 , 马蒂厄·瓦莱罗 :
基于包容树的自稳定平衡算法。 191-205 泽维尔·维拉萨 , 路易斯·罗德里格斯 :
重复传染病传播博弈中惩罚的有效性。 206-220 Rizal Mohd Nor公司 , 米哈伊尔·内斯特伦科 , 塞巴斯蒂安·提克塞尔 :
使用Oracle将对等系统线性化。 221-236 丹尼·多列夫 , Janne H.Korhonen先生 , 克里斯托夫·伦岑 , 乔尔·里比奇 , 朱卡·索米拉 :
同步计数和计算算法设计。 237-250 早矢香龟井 , 井井俊子 , 山内由纪子 :
单位圆盘图中安全收敛的最小连通支配集的异步自稳定逼近。 251-265 林一燕 , Borzoo Bonakdarpour公司 , Sandeep S.Kulkarni :
同步语义下容错的自动添加。 266-280 奥托·米歇尔 , Ioannis Chatzigiannakis公司 , 保罗·G·斯皮拉基斯 :
匿名未知动态网络中的命名与计数。 281-295 塞缪尔·吉尔伯特 , 安德烈·佩尔克 :
在无限行中收集视野受限的异步遗忘代理。 296-310 朱塞佩·安东尼奥·迪卢纳 , 罗伯托·巴多尼 , 西尔维娅·博诺米 , Ioannis Chatzigiannakis公司 :
计算动态网络中的同音词数量。 311-325 Buddhadeb绍 , 克里希南德·穆霍帕迪亚 :
无线传感器网络的本地化:超越车轮扩展。 326-340 科莱特·约翰恩 :
记忆有效的自稳定k-独立支配集构造。 341-343 雷扎·哈吉什基 , 阿里·埃布纳西尔 , Sandeep S.Kulkarni :
事务级SystemC程序中定时错误的建模和分析。 344-347 Thamer Alsulaiman公司 , 安德鲁·伯恩斯 , 苏库马尔·戈什 :
大型网络中的低沟通自我稳定领导人选举。 348-350 什洛米·多列夫 , 奥姆里·利巴 , 埃拉·迈克尔·席勒 :
自我稳定的拜占庭弹性拓扑发现和消息传递。 351-353 托马斯·佩蒂格 , 埃拉·迈克尔·席勒 , Philippas Tsigas公司 :
无外部参考的无线Ad-Hoc网络的自稳定TDMA算法。 354-356 法提耶·法吉 , Borzoo Bonakdarpour公司 :
基于分区的严格两相故障恢复综合。 357-359 酒井吉佐郎 :
分析异步迭代的收敛性和可达性。 360-362 阿乔伊·库马尔·达塔 , 阿尼萨·拉马尼 , 劳伦斯·拉莫尔 , 弗兰克·佩蒂特 :
视距限制为2或3的遗忘机器人进行环形探测。 363-366 岩井大辅 , Hironobu Kanzaki公司 :
网络平均度的可扩展估计。 367-369 朱玲(Ling Zhu) , Sandeep S.Kulkarni :
使用遗传编程综合基于圆的容错程序。 370-372 伊藤光一 , 片山吉崎 , Koichi Wada公司 , Naohisa高桥 :
自稳定DAG构建协议及其在MANET中的应用。 373-375 盖里·西格蒙德 , 沃尔克·图劳 , 克里斯托夫·韦耶 , 斯特凡·洛斯 , 约格·诺尔特 :
一种灵活稳定的无线传感器网络邻居协议。 376-378