2019年第33届DISC:匈牙利布达佩斯
朱卡·索米拉 :
第33届分布式计算国际研讨会,2019年10月14日至18日,匈牙利布达佩斯,DISC 2019。 LIPIcs公司 146, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-126-9 -
Front Matter,目录,序言,会议组织。 0:1-0:18 詹姆斯·阿斯彭斯 , 合阳二号 :
与Max Registers达成一致。 1:1-1:9 哈吉特·阿提亚 , 康斯坦丁·埃纳 :
在上下文中放置强线性化:在使用并发对象的程序中保留超属性。 2:1-2:17 米尔扎·阿哈德·贝格 , 丹尼·亨德勒 , 阿莱西亚·米拉尼 , 科伦蒂·特拉弗斯 :
具有多对数摊销步长复杂性的长寿命计数器。 3:1-3:16 鲁本·贝克尔 , 尤瓦尔·埃梅克 , 莫森·加法里 , 克里斯托夫·伦岑 :
低延伸生成树的分布式算法。 4:1-4:14 兰·本·巴萨 , 盖伊,甚至 , 川崎敬一 , 格雷戈里·施瓦茨曼 :
最优分布式覆盖算法。 5:1-5:15 兰·本·巴萨 , 川崎敬一 , 格雷戈里·施瓦茨曼 :
参数化分布式算法。 6:1-6:16 西蒙·比顿 , 尤瓦尔·埃梅克 , 岩井大辅 , Shay Kutten公司 :
本地模式中的消息缩减是一顿免费的午餐。 7:1-7:15 马克·布拉弗曼 , 吉拉特·科尔 , 罗特姆·奥斯曼 , 阿维沙伊·塔尔 :
关于无线信道的计算能力。 8:1-8:17 詹娜·伯曼 , 乔夫罗伊·博基耶 , 德万·索希尔 :
人口协议中的空间最优命名。 9:1-9:16 科伦·塞索尔 , 伯恩哈德·海普勒 , D.埃利斯·赫什科维茨 , 戈兰·祖齐克 :
噪声无线网络的擦除校正。 10:1-10:17 Shiri Chechik先生 , 多伦·穆赫塔尔 :
广播CONGEST模型中的可达性和最短路径。 11:1-11:13 兰·科恩 , 伊夫塔赫发型师 , 尼古拉·马克里扬尼斯 , 马坦·奥兰德 , 亚历克斯·萨莫罗德尼茨基 :
论随机拜占庭协议的复杂性。 12:1-12:17 Pierluigi Crescenzi公司 , 皮埃尔·弗拉吉诺 , 阿米·巴兹 :
分布式交互证明中的权衡。 13:1-13:17 迈克尔·迪尼茨 , 马格努斯·M·哈尔德森 , 卡尔文·纽波特 , 亚历克斯·韦弗 :
智能手机对等网络的容量。 14:1-14:17 Talya伊甸园 , 尼姆罗德·菲亚特 , 奥尔·菲舍尔 , 费比安·库恩 , 罗特姆·奥斯曼 :
检测小团和偶数周期的次线性时间分布算法。 15:1-15:16 奥尔·菲舍尔 , 罗特姆·奥斯曼 :
一种分布式有向最小权生成树算法。 16:1-16:16 Pawel Garncarek公司 , 托马斯·尤金斯基 , Dariusz R.Kowalski先生 :
竞争下的稳定无记忆排队。 17:1-17:16 莫森·加法里 , 朱利安·波特曼 :
使用小消息改进网络分解,并将其应用于MIS、邻居覆盖等。 18:1-18:16 塞斯·吉尔伯特 , 詹姆斯·马圭尔 , 卡尔文·纽波特 :
生物电算法。 19:1-19:17 塞斯·吉尔伯特 , 林伟泉 :
并行手指搜索结构。 20:1-20:18 埃里克·古堡 , 玛丽亚娜·拉齐奇 , 杰雷米·莱登特 , 塞尔吉奥·拉兹鲍姆 :
等式否定任务的无等待可解性。 21:1-21:16 拉希德·格雷劳伊 , 彼得·库兹涅佐夫 , 马泰奥·蒙蒂 , 马特伊·巴夫洛维奇 , Dragos-Adrian Seredinschi公司 :
可扩展拜占庭可靠广播。 22:1-22:16 克里斯蒂安·欣内塔尔 , 克里斯蒂安·谢德勒 , Martijn Struijs公司 :
低维LP型问题的快速分布式算法。 23:1-23:16 阿特姆·库扎 , 哈吉特·阿提亚 , 亚历克谢·戈茨曼 :
私有化安全的事务性存储器。 24:1-24:17 北村直树 , 北川博田 , 尤塔·奥塔奇 , 岩井大辅 :
低拥塞快捷方式和图形参数。 25:1-25:17 克里斯蒂安·康拉德 , Sriram V.彭马拉朱 , 塔拉里亚兹 , 彼得·罗宾逊 :
大规模图中对称破缺的复杂性。 26:1-26:18 朱利亚诺·洛萨 , 埃利·加夫尼 , 大卫·马齐埃尔 :
恒星共识实例化。 27:1-27:15 鲁斯兰·尼古拉耶夫 :
一种可扩展、可移植和内存高效的无锁FIFO队列。 28:1-28:16 托马斯·诺瓦克 , 乔尔·里比奇 :
关于图的拜占庭近似协议。 29:1-29:17 梅拉夫·帕特 :
小切割和连接证书:容错方法。 30:1-30:16 阿多内斯·鲁昆多 , 阿拉斯·阿塔拉尔 , Philippas Tsigas公司 :
提高性能的单调松弛并发数据结构语义:一个高效的2D设计框架。 31:1-31:15 清水信达 , 白贺武春 :
随机块模型上二选一和三选一的相变。 32:1-32:17 苏新浩 , Hoa T.Vu公司 :
井连网络中的分布式数据汇总。 33:1-33:16 穆罕默德·塔赫里 , 阿拉什·波丹加尼 , 莫森·莱萨尼 :
结构化程序的多项式时间界限插入。 34:1-34:17 陈艾文 , 伊奥西夫·塞勒姆 , 斯特凡·施密德 :
简短公告:关于自调整跳过列表网络。 35:1-35:3 索海尔·贝内扎德 , 马哈萨·德拉赫尚 , 穆罕默德·塔吉·哈加加伊 , 玛丽娜·奈特尔 , 哈米德·萨利赫 :
简介:流媒体和大规模并行边缘着色算法。 36:1-36:3 莱利亚·布林 , 劳伦特·费伊洛利 , 加布里埃尔·勒布德 :
简短公告:自我稳定的记忆下限。 37:1-37:3 格雷戈伊尔·博宁 , Achour Mostéfaoui公司 , 马蒂厄·佩林 :
简短声明:无限到达模型中共识的无等待普遍性。 38:1-38:3 克里斯蒂安·卡钦 , 比约恩·塔克曼 :
简要声明:非对称分布式信任。 39:1-39:3 Vicent Cholvi公司 , 安东尼奥·费尔南德斯·安塔 , 乔治·克莱西斯 , 尼古拉斯·C·尼古拉欧 :
简要公告:实施拜占庭宽容分布式分类账对象。 40:1-40:3 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
简要公告:欧几里得空间中有光机器人的模型检查交会算法。 41:1-41:3 迈克尔·迪尼茨 , 亚萨米·纳扎里 :
简短声明:大量平行近似距离草图。 42:1-42:3 什洛米·多列夫 , 早矢香龟井 , 片山吉崎 , Fukuhito Ooshita公司 , Koichi Wada公司 :
简短公告:视点计算机移动机器人的邻域互余量及其自我稳定实现。 43:1-43:3 苏亚什·古普塔 , 杰尔·海林斯 , 穆罕默德·萨多吉 :
简短公告:通过免等待并行化重新修订共识协议。 44:1-44:3 杰尔·海林斯 , 穆罕默德·萨多吉 :
简短公告:容错群集发送问题。 45:1-45:3 马苏梅·贾维迪·基什 , 队长哈山 , 罗伯托·帕尔米耶里 :
简要公告:关于具有外部依赖性的交易处理的正确性。 46:1-46:3 陈大柳章 , 瓦伦·马拉姆 , 于利·毛雷尔 :
简要公告:在广义传播和对抗模式中走向拜占庭广播。 47:1-47:3 南希·A·林奇 , Mien Brabeeba Wang先生 :
简短声明:在神经回路中将时间信息与空间信息集成。 48:1-48:3 阿里·马什利吉 , 瓦莱丽·金 :
简要公告:采用次线性通信实现更快的异步MST和低直径树构建。 49:1-49:3