×

找到98个文档(结果1-98)

结构信息和通信复杂性。第30届国际学术讨论会,SIROCCO 2023,阿尔卡德赫纳雷斯,西班牙,2023年6月6日至9日。诉讼程序。 (英语) Zbl 1528.68034号

计算机科学课堂讲稿13892.查姆:施普林格(ISBN 978-3-031-32732-2/pbk;978-3-331-32733-9/电子书)。xi,第596页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

阿罗不可能定理的分布式组合拓扑方法。 (英语) Zbl 07824300号

Milani,Alessia(ed.)等人,《第41届ACM分布式计算原理研讨会论文集》,PODC’22,意大利萨勒诺,2022年7月25日至29日。纽约州纽约市:计算机协会(ACM)。471-481 (2022).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步计算的加速定理,应用于一致性和近似一致性。 (英语) Zbl 07824299号

Milani,Alessia(ed.)等人,《第41届ACM分布式计算原理研讨会论文集》,PODC’22,意大利萨勒诺,2022年7月25日至29日。纽约州纽约市:计算机协会(ACM)。460-470 (2022).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

简要公告:ADD沟通模式中的领导者选举。 (英语) Zbl 1517.68056号

Devismes,Stéphane(编辑)等人,分布式系统的稳定、安全和保障。第22届国际研讨会,SSS 2020,美国德克萨斯州奥斯汀,2020年11月18-21日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12514, 229-234 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(k)-即时快照和(x)-集协议:它们是如何关联的? (英语) Zbl 1517.68042号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第22届国际研讨会,SSS 2020,美国德克萨斯州奥斯汀,2020年11月18-21日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12514,97-112(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态网络中无等待可计算性的通信复杂性。 (英语) Zbl 07581072号

Richa,Andrea Werneck(编辑)等人,《结构信息和通信复杂性》。第27届国际学术讨论会,SIROCCO 2020,德国帕德博恩,2020年6月29日至7月1日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12156, 291-309 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平等否定任务的动态认知逻辑分析。 (英语) Zbl 1496.03072号

Soares Barbosa,Luís(编辑)等人,《动态逻辑》。新趋势和应用。2019年10月7日至11日,第二届国际研讨会,DALI 2019,葡萄牙波尔图。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12005, 53-70 (2020).
PDF格式BibTeX公司 XML格式引用

分布式网络算法的拓扑观点。 (英语) Zbl 07176645号

Censor-Hillel,Keren(编辑)等人,《结构信息和通信复杂性》。第26届国际学术讨论会,2019年7月1日至4日,意大利拉奎拉,SIROCCO 2019。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11639, 3-18 (2019).
PDF格式BibTeX公司 XML格式引用

(t)-弹性无色任务匿名可解性的表征。 (英语) 兹比尔1517.68043

Lotker,Zvi(编辑)等人,《结构信息和通信复杂性》。2018年6月18日至21日,第25届国际学术讨论会,2018年SIROCCO,以色列Ma'ale HaHamisha。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。11085, 178-192 (2018).
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用极少的比特实现完美的故障检测。 (英语) Zbl 1425.68040号

Bonakdarpour,Borzoo(编辑)等人,《分布式系统的稳定、安全和保障》。2016年11月7日至10日在法国里昂举行的2016年SSS第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10083, 154-169 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

使局部算法无需等待:环形着色的情况。 (英语) 兹比尔1425.68030

Bonakdarpour,Borzoo(编辑)等人,《分布式系统的稳定、安全和保障》。2016年11月7日至10日在法国里昂举行的2016年SSS第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10083, 109-125 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

分散式异步崩溃恢复运行时验证。 (英语) Zbl 1392.68234号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59,Article 16,15 p.(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简要声明:与约束和首选项进行异步协调。 (英语) Zbl 1375.68194号

2016年ACM分布式计算原理研讨会论文集,PODC'16,美国伊利诺伊州芝加哥,2016年7月25-28日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3964-3)。299-301 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(t\)-弹性即时快照是不可能的。 (英语) Zbl 1482.68055号

Suomela,Jukka(编辑),《结构信息和通信复杂性》。2016年7月19-21日在芬兰赫尔辛基举行的2016年SIROCCO第23届国际学术讨论会。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。9988, 177-191 (2016).
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部

偏好和约束下的异步协调。 (英语) Zbl 1482.68054号

Suomela,Jukka(编辑),《结构信息和通信复杂性》。2016年7月19-21日在芬兰赫尔辛基举行的2016年SIROCCO第23届国际学术讨论会。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。9988, 111-126 (2016).
MSC公司:64岁以下 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

读/写协议复合体是可折叠的。 (英语) Zbl 1398.68358号

Kranakis,Evangelos(编辑)等人,《拉丁语2016:理论信息学》。第十二届拉丁美洲研讨会,墨西哥恩塞纳达,2016年4月11日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49528-5/pbk;978-3-562-49529-2/电子书)。计算机科学讲座笔记9644179-191(2016)。
PDF格式BibTeX公司 XML格式引用

解开部分共识:迭代(x)共识模拟。 (英语) Zbl 1428.68075号

Pelc,Andrzej(编辑)等人,《分布式系统的稳定性、安全性和安全性》。2015年8月18日至21日在加拿大阿联酋埃德蒙顿举行的第17届SSS国际研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9212, 139-155 (2015).
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过组合拓扑进行分布式计算。 (英语) Zbl 1341.68004号

阿姆斯特丹:Elsevier/Morgan Kaufmann(ISBN 978-0-12-404578-1/pbk;978-0-14-404728-0/电子书)。xiv,319页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 链接

共识和安全共识之间的复杂性差距(扩展摘要)。 (英语) Zbl 1416.68083号

Halldórsson,Magnüs M.(编辑),结构信息和通信复杂性。2014年7月23日至25日,第21届国际学术讨论会,SIROCCO 2014,日本塔山。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8576, 68-82 (2014).
MSC公司:65年第68季度 64岁以下 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于异步拜占庭消息传递系统的可靠共享内存抽象。 (英语) Zbl 1416.68024号

Halldórsson,Magnüs M.(编辑),结构信息和通信复杂性。2014年7月23日至25日,第21届国际学术讨论会,SIROCCO 2014,日本塔山。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8576, 37-53 (2014).
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式计算和网络。2014年1月4日至7日在印度哥印拜陀举行的ICDCN 2014第15届国际会议。诉讼程序。 (英语) Zbl 1482.68016号

计算机科学课堂讲稿8314.柏林:施普林格出版社(ISBN 978-3-642-45248-2/pbk)。十八、552页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

介绍具有安全保障的分布式计算的拓扑理论。 (英语) Zbl 1347.68261号

Fajstrup,Lisbeth(编辑)等人,《计算机科学中几何和拓扑方法第九次研讨会论文集》,丹麦奥尔堡,2010年1月11日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记283,29-51(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无色任务的模拟和简化。 (英语) Zbl 1301.68122号

2012年ACM分布式计算原理研讨会论文集,PODC’12,Funchal,葡萄牙,2012年7月16-18日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1450-3)。253-260 (2012).
MSC公司:2005年第68季度 64岁以下 68米15 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简要声明:有很多任务比完美更名弱,比达成协议强。 (英语) Zbl 1301.68053号

2012年ACM分布式计算原理研讨会论文集,PODC’12,Funchal,葡萄牙,2012年7月16-18日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1450-3)。97-98 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无等待计算中的位置和可检查性。 (英语) Zbl 1311.68025号

Peleg,David(编辑),《分布式计算》。第25届国际研讨会,2011年DISC,2011年9月20日至22日,意大利罗马。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24099-7/pbk)。计算机科学课堂讲稿6950,333-347(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

共享内存对手的拓扑结构。 (英语) Zbl 1315.68028号

第29届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集,2010年7月25-28日,瑞士苏黎世,PODC’10。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-888-9)。105-113 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算同步和异步系统连接性的公理方法。 (英语) Zbl 1339.68307号

Goubault,Eric(编辑),并发理论中几何和拓扑方法研讨会论文集(GETCO 2004,2005,2006),阿姆斯特丹,荷兰2004,加利福尼亚州旧金山,美国2005,德国波恩2006。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记230,79-102(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多值连续一致性的稳定性。 (英语) Zbl 1339.68021号

Goubault,Eric(编辑),并发理论中几何和拓扑方法研讨会论文集(GETCO 2004,2005,2006),阿姆斯特丹,荷兰2004,加利福尼亚州旧金山,美国2005,德国波恩2006。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记230,23-38(2009)。
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于重命名的新组合拓扑上下限。 (英语) Zbl 1301.68141号

第27届ACM分布式计算原理年度研讨会论文集,PODC'08,加拿大多伦多,2008年8月18-21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-989-0)。295-304 (2008).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平均二进制长期共识:量化记忆所起的稳定作用。 (英语) Zbl 1143.68333号

Shvartsman,Alexander A.(编辑)等人,《结构信息和通信复杂性》。2008年6月17日至20日,第15届国际学术讨论会,SIROCCO 2008,瑞士维拉斯苏隆。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69326-0/pbk)。计算机科学课堂讲稿505848-60(2008)。
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部

迭代的受限即时快照模型。 (英语) Zbl 1148.68330号

胡晓东(编辑)等,《计算与组合学》。第14届国际年会,COCOON 2008,中国大连,2008年6月27-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69732-9/pbk)。计算机科学课堂讲稿5092487-497(2008)。
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

故障检测器是调度程序。 (英语) Zbl 1283.68088号

2007年8月12日至15日,美国俄勒冈州波特兰,PODC’07,第26届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-616-5)。308-309 (2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分包任务:重命名弱于设置协议。 (英语) Zbl 1155.68329号

Dolev,Shlomi(编辑),分布式计算。第20届国际研讨会,2006年DISC,瑞典斯德哥尔摩,2006年9月18-20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-44624-8/pbk)。计算机科学讲稿4167329-338(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向集合协议的故障检测器类的不可约性和可加性。 (英语) Zbl 1314.68078号

2006年7月23日至26日,美国科罗拉多州丹佛市2006年PODC第25届ACM分布式计算原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-384-0)。153-162 (2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

委员会决策问题。 (英语) Zbl 1145.68354号

Correa,JoséR.(编辑)等人,拉丁语2006:理论信息学。第七届拉丁美洲研讨会,2006年3月20日至24日,智利瓦尔迪维亚。诉讼程序。柏林:施普林格出版社(ISBN 3-540-32755-X/pbk)。计算机科学课堂讲稿3887,502-514(2006)。
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

条件和故障检测器的组合功率解决异步集协议。 (英语) Zbl 1314.68077号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。179-188 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

音乐长椅。 (英语) Zbl 1171.68373号

Fraignaud,Pierre(编辑),《分布式计算》。2005年9月26日至29日,第19届国际会议,DISC 2005,波兰克拉科夫。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29163-6/pbk)。计算机科学课堂讲稿3724,63-77(2005)。
MSC公司:64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步的基于条件的共识层次结构。 (英语) Zbl 1110.68345号

Guerraoui,Rachid(编辑),分布式计算。2004年10月4日至7日,荷兰阿姆斯特丹,第18届国际会议,DISC 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23306-7/pbk)。计算机科学课堂讲稿3274,1-15(2004)。
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用条件加快同步分布式系统中的一致性。 (英语) 兹比尔1180.68065

Fich,Faith Ellen(编辑),分布式计算。第17届国际会议,DISC 2003,意大利索伦托,2003年10月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20184-X/pbk)。莱克特。票据计算。科学。2848, 249-263 (2003).
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于在表现良好的跑步中达成共识表现的公开问题。 (英语) Zbl 1018.68710号

Schiper,André(编辑)等人,分布式计算的未来方向。研究和立场文件。柏林:斯普林格。莱克特。票据计算。科学。2584, 35-39 (2003).
MSC公司:68单位99 64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用纠错码解决分布式协议问题:分布式计算的未来方向? (英语) Zbl 1018.68641号

Schiper,André(编辑)等人,分布式计算的未来方向。研究和立场文件。柏林:斯普林格。莱克特。票据计算。科学。2584, 17-21 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

分布式协议及其与纠错码的关系。 (英语) Zbl 1029.68522号

Malkhi,Dahlia(编辑),分布式计算。第16届国际会议,DISC 2002,法国图卢兹,2002年10月28日至30日,会议记录。柏林:斯普林格。莱克特。票据计算。科学。2508, 63-87 (2002).
MSC公司:64岁以下 94B99型
PDF格式BibTeX公司 XML格式引用
全文: 链接

用于集合协议问题的基于条件的协议。 (英语) Zbl 1029.68515号

Malkhi,Dahlia(编辑),分布式计算。第16届国际会议,DISC 2002,法国图卢兹,2002年10月28日至30日,会议记录。柏林:斯普林格。莱克特。票据计算。科学。2508, 48-62 (2002).
MSC公司:68个M12 64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 链接

共识可解性的条件层次。 (英语) Zbl 1333.68282号

2001年8月26日至28日,美国罗得岛州纽波特市PODC’01第20届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-383-9)。151-160 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步分布式系统中一致可解性的输入向量条件。 (英语) Zbl 1323.68036号

2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日,希腊克里特岛赫索尼索斯。纽约州纽约市:ACM出版社(ISBN 1-581-13349-9)。153-162 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

长期共识的稳定性(扩展抽象)。 (英语) Zbl 1314.68371号

2000年7月16日至19日,美国俄勒冈州波特兰,PODC’00,第19届ACM分布式计算原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-183-6)。309-318 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

打破和实现链和环对称的比特复杂性(扩展抽象)。 (英语) 兹比尔1345.68014

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。265-274 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式决策任务的可判定性。(扩展摘要)。 (英语) Zbl 0963.68013号

1997年STOC。1997年5月4日至6日,美国德克萨斯州埃尔帕索举行的第29届ACM计算理论年会论文集。纽约州纽约市:ACM,计算机协会,589-598(1999)。
MSC公司:68个M12 64岁以下
PDF格式BibTeX公司 XML格式引用

分布式计算的新视角。(受邀演讲)。 (英语) Zbl 0958.68504号

Kutyłowski,Mirosław(编辑)等人,《计算机科学的数学基础》,1999年。1999年9月6日至10日,第24届国际研讨会,MFCS’99,波兰什克拉斯卡波罗巴。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1672, 170-186 (1999).
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用

统一同步和异步消息传递模型。 (英语) Zbl 1333.68061号

1998年6月28日至7月2日,第17届ACM分布式计算原理年会论文集,PODC’98,墨西哥瓦拉塔港。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-977-7)。133-142 (1998).
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用
全文: 内政部

共识的统一结构,分层分析方法。 (英语) Zbl 1333.68069号

1998年6月28日至7月2日,第17届ACM分布式计算原理年会论文集,PODC’98,墨西哥瓦拉塔港。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-977-7)。123 (1998).
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用任意对象达成共识(初步版本)。 (英语) Zbl 1373.68101号

第13届ACM分布式计算原理年度研讨会论文集,PODC'94,美国加利福尼亚州洛杉矶,1994年8月14日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-654-9)。324-333 (1994).
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时钟同步理论(扩展抽象)。 (英语) Zbl 1344.68034号

第26届ACM计算理论年度研讨会论文集,STOC'94,加拿大蒙特利尔,1994年5月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-663-8)。810-819 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不同延迟假设下的最佳时钟同步(初步版本)。 (英语) Zbl 1373.68071号

第12届ACM分布式计算原理年度研讨会论文集,PODC'93,美国纽约州伊萨卡,1993年8月15日至18日。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-613-1)。109-120 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

软件