×

找到71份文件(结果1-71)

树上事务内存的灵活调度。 (英语) Zbl 1522.68060号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第24届国际研讨会,SSS 2022,法国克莱蒙特-弗莱德,2022年11月15日至17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13751, 146-163 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

受邀论文:跨链状态机复制。 (英语) Zbl 1522.68072号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第24届国际研讨会,SSS 2022,法国克莱蒙特-弗莱德,2022年11月15日至17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13751, 51-65 (2022).
PDF格式BibTeX公司 XML格式引用

简短声明:线性化:输入错误。 (英语) Zbl 07824234号

Korhonen,Janne H.(编辑),第40届ACM分布式计算原理研讨会论文集,PODC'21,虚拟活动,意大利,2021年7月26日至30日。纽约州纽约市:计算机协会(ACM)。561-564(2021年)。
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

对冲跨链交易中严重的失败者攻击。 (英语) Zbl 07824192号

Korhonen,Janne H.(编辑),第40届ACM分布式计算原理研讨会论文集,PODC’21,虚拟事件,意大利,2021年7月26日至30日。纽约州纽约市:计算机协会(ACM)。155-164 (2021).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

VBR:基于版本的回收。 (英语) Zbl 07774286号

Gilbert,Seth(编辑),第35届分布式计算国际研讨会,DISC 2021,德国弗莱堡(虚拟会议),2021年10月4日至8日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。209,第35条,第18页(2021)。
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

透视状态机复制。 (英语) Zbl 1519.68014号

Izumi,Taisuke(编辑)等人,《分布式系统的稳定、安全和保障》。第20届国际研讨会,2018年SSS,日本东京,2018年11月4-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11201, 254-268 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

负载平衡的分布式目录。 (英语) Zbl 1519.68017号

Izumi,Taisuke(编辑)等人,《分布式系统的稳定、安全和保障》。第20届国际研讨会,2018年SSS,日本东京,2018年11月4-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11201, 221-238 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

原子跨链掉期。 (英语) Zbl 1428.68049号

第37届ACM分布式计算原理研讨会论文集,PODC’18,英国埃格姆,2018年7月23日至27日。纽约州纽约市:计算机协会(ACM)。245-254 (2018).
PDF格式BibTeX公司 XML格式引用

拜占庭同步系统中连通性和一致性的严格界限。 (英语) Zbl 1515.68072号

Richa,Andraéa W.(编辑),第31届分布式计算国际研讨会,DISC 2017,奥地利维也纳,2017年10月16-20日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。91,第35条,第16页(2017年)。
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用

弹性系统的异步可计算性定理。 (英语) Zbl 1393.68033号

Gavoille,Cyril(编辑)等人,《分布式计算》。2016年9月27日至29日,第30届国际研讨会,DISC 2016,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53425-0/pbk;978-3-562-53426-7/电子书)。计算机科学讲座笔记9888,428-441(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复合循环协议任务的相对功率。 (英语) Zbl 1380.68063号

Anceaume,Emmanuelle(编辑)等人,第19届分布式系统原理国际会议,OPODIS 2015,法国雷恩,2015年12月14-17日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-98-9)。LIPIcs–Leibniz International Proceedings in Informatics 46,Article 13,16 p.(2016)。
MSC公司:64岁以下
PDF格式BibTeX公司 XML格式引用

分布式事务内存不可能出现。 (英语) Zbl 1333.68137号

2015年ACM分布式计算原理研讨会论文集,PODC’15,Donostia-San Sebastián,西班牙,2015年7月21日至23日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3617-8)。207-215 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

共享数据结构的未来。 (英语) Zbl 1321.68225号

2014年ACM分布式计算原理研讨会论文集,2014年7月15日至18日,法国巴黎,PODC’14。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2944-6)。30-39 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拜占庭异步系统中的分布式可计算性。 (英语) Zbl 1315.68020号

2014年5月31日至6月3日,美国纽约州纽约市STOC’14第46届ACM计算理论年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2710-7)。704-713 (2014).
MSC公司:64岁以下 68米15
PDF格式BibTeX公司 XML格式引用

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

阿姆斯特丹:爱思唯尔/摩根·考夫曼(ISBN 978-0-12-404578-1/pbk;978-0-12-404728-0/电子书)。xiv,319页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 链接

解决硬重命名复杂性的上限。 (英语) Zbl 1323.68291号

2013年7月22日至24日,加拿大魁北克省蒙特利尔市,2013年ACM分布式计算原理研讨会论文集,PODC’13。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2065-8)。190-199 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拜占庭异步系统中的多维近似协议。 (英语) Zbl 1293.68060号

第45届ACM计算理论年会论文集,STOC’13。2013年6月1日至4日,美国加利福尼亚州帕洛阿尔托。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2029-0)。391-400 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无色任务的模拟和简化。 (英语) 兹比尔1301.68122

2012年ACM分布式计算原理研讨会论文集,PODC'12,葡萄牙丰沙尔,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 1321.68048号

2011年6月6日至8日,美国加利福尼亚州圣何塞市,第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0719-2)。231-238 (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 1161.68341号

Taubenfeld,Gadi(编辑),分布式计算。第22届国际研讨会,DISC 2008,法国阿卡松,2008年9月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87778-3/pbk)。计算机科学课堂讲稿5218,335-349(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在有史以来最弱的故障检测器上。 (英语) Zbl 1283.68096号

2007年8月12日至15日,美国俄勒冈州波特兰,PODC’07,第26届ACM分布式计算原理年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-616-5)。235-243 (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 1273.68066号

Shvartsman,Alexander A.(编辑),《分布式系统原理》。2006年12月12日至15日,第十届国际会议,OPODIS 2006,法国波尔多。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49990-9/-pbk)。计算机科学讲义4305,20-35(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向事务争用管理器理论。 (英语) Zbl 1314.68088号

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

用于度量空间网络的分布式事务存储器。 (英语) Zbl 1171.68375号

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

反标记保留属性的组合特征。 (英语) Zbl 1082.68002号

Péun,G.(编辑)等人,《理论计算机科学的当前趋势》。新世纪的挑战。第一卷:算法和复杂性。新泽西州River Edge:世界科学(ISBN 981-238-966-0/hbk;981-237-783-8/set)。297-314 (2004).
MSC公司:68M10个 68第05页
PDF格式BibTeX公司 XML格式引用

有限范围故障检测器的\(k\)集协议的紧界。 (英语) Zbl 1321.68282号

第22届ACM分布式计算原理年度研讨会论文集,PODC'03,美国马萨诸塞州波士顿,2003年7月13-16日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-708-708-7)。221-221 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限范围故障检测器的\(k\)集协议的紧界。 (英语) Zbl 1180.68192号

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

竞争并发分布式排队。 (英语) Zbl 1333.68062号

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

自稳定分布式排队。 (英语) Zbl 1024.68513号

Jennifer Welch(编辑),《分布式计算》。第15届国际会议,DISC 2001,葡萄牙里斯本,2001年10月3-5日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。2180209-223(2001)中描述。
PDF格式BibTeX公司 XML格式引用
全文: 链接

硬插接布线。 (英语) Zbl 1296.68012号

2000年5月21日至23日,美国俄勒冈州波特兰市,第三十二届ACM计算理论年会论文集(STOC 2000)。纽约州纽约市:ACM出版社(ISBN 1-58113-184-4)。278-285 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

分布式计算的新视角。(受邀演讲)。 (英语) 兹比尔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 1373.68101号

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

一个用于无等待计算的简单构造性可计算性定理。 (英语) Zbl 1344.68031号

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

关于随机同步的空间复杂性。 (英语) Zbl 1373.68268号

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

弹性任务的异步可计算性定理。 (英语) Zbl 1310.68079号

第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。111-120 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机无等待并发对象(扩展抽象)。 (英语) Zbl 1314.68380号

1991年8月19日至21日,加拿大魁北克省蒙特利尔市,第十届ACM分布式计算原理年度研讨会论文集,PODC’91。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-439-2)。11-21 (1991).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份