×

找到111个文档（结果1–100）

最新的 引文 关联
皮埃尔·西维特；塞斯·吉尔伯特；拉希德·格拉乌伊；约万·科马托维奇；曼纽尔·维迪古埃拉

关于共识的有效性。 （英语） Zbl 07824342号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。332-343 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{P.Civit}等人，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。332-343（2023年；兹bl 07824342）
全文： 内政部 arXiv公司
卡罗尔·德尔波特；Hugues的Fauconnier；米歇尔·雷纳尔；穆纳·萨菲尔

同步拜占庭集合协议的优化算法。 （英语） Zbl 1522.68731号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 178-192 (2022).
MSC公司：68宽15 64岁以下 68米15 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Delporte Gallet｝等人，Lect。注释计算。科学。13751，178--192（2022；Zbl 1522.68731）
全文： 内政部
汉斯·范·迪特马尔施

通缉死者或生还者：不纯正简单复合体的认知逻辑。 （英语） Zbl 07547732号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 31-46 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}，莱克特。注释计算。科学。13038，31-46（2021；Zbl 07547732）
全文： 内政部 arXiv公司
塞尔吉奥·拉杰斯鲍姆

俄罗斯卡问题中无条件安全信息传输的分布式计算观点。 （英语） Zbl 1521.68064号

Jurdziñski，Tomasz（编辑）等人，《结构信息和通信复杂性》。第28届国际学术讨论会，SIROCCO 2021，Wrocław，波兰，2021年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12810, 277-295 (2021).
MSC公司：2010年第68季度 第68页 68兰特 94A60型
PDF格式BibTeX公司 XML格式引用
\文本｛S.Rajsbaum｝，Lect。注释计算。科学。12810277-295（2021年；Zbl 1521.68064）
全文： 内政部 arXiv公司
Dan Alistarh；埃伦·费思；乔尔·里比奇

图上无等待近似一致。 （英语） Zbl 07495135号

Jurdziñski，Tomasz（编辑）等人，《结构信息和通信复杂性》。第28届国际学术讨论会，SIROCCO 2021，Wrocław，波兰，2021年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12810, 87-105 (2021).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Alistarh}等人，Lect。注释计算。科学。12810，87-105（2021；Zbl 07495135）
全文： 内政部 arXiv公司
汉斯·范·迪特马尔施；埃里克·古堡；玛丽亚娜·拉齐奇；杰雷米·莱登特；塞尔吉奥·拉杰斯鲍姆

平等否定和其他认知覆盖任务的动态认知逻辑分析。 （英语） Zbl 1502.68195号

J.日志。阿尔盖布。方法计划。 121，文章ID 100662，26 p.（2021）.
审核人：菲利普·高彻（巴黎）
MSC公司：68问题85 03B42号 03B70号 57M10个
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100662，26 p.（2021；Zbl 1502.68195）
全文： 内政部
卡罗尔·德尔波特；胡格斯·福科尼尔；塞尔吉奥·拉杰斯鲍姆

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

Richa，Andrea Werneck（编辑）等人，《结构信息和通信复杂性》。第27届国际学术讨论会，SIROCCO 2020，德国帕德博恩，2020年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12156, 291-309 (2020).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛C.Delporte Gallet｝等人，Lect。注释计算。科学。12156、291--309（2020；Zbl 07581072）
全文： 内政部
杰雷米·莱登特；塞缪尔·米姆拉姆

任务可解性拓扑方法的良好基础。 （英语） Zbl 07649942号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第34条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Ledent}和\textit{S.Mimram}，LIPIcs——莱布尼茨国际程序。通知。140，第34条，第15页（2019年；Zbl 07649942）
全文： 内政部
亚当·什米；奥雷利·胡罗；菲利普·奎因内克

通过轮次描述异步消息传递模型。 （英语） Zbl 07561446号

曹建农（编辑）等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第18条，第17页（2019年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Shimi}等人，LIPIcs——莱布尼茨国际程序。通知。125，第18条，第17页（2019年；Zbl 07561446）
全文： 内政部 arXiv公司
维塔利·阿克塞诺夫；彼得·库兹涅佐夫；安纳托利·沙利托

并行组合：显式同步的优点。 （英语） Zbl 07561439号

曹建农（编辑）等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第11条，第16页（2019年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{V.Aksenov}等人，LIPIcs——莱布尼茨国际程序。通知。125，第11条，第16页（2019年；Zbl 07561439）
全文： 内政部 arXiv公司
约塔姆·M·Y·费尔德曼。；康斯坦丁·埃纳；亚当·莫里森；诺姆·里内茨基；沙龙·肖姆

混乱的秩序：使用局部视图证明线性化能力。 （英语） Zbl 1497.68141号

Schmid，Ulrich（编辑）等人，第32届分布式计算国际研讨会，DISC 2018，美国路易斯安那州新奥尔良，2018年10月15日至19日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121，第23条，第21页（2018年）。
MSC公司：68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.M.Y.Feldman}等人，LIPIcs——莱布尼茨国际程序。通知。121，第23条，第21页（2018；Zbl 1497.68141）
全文： 内政部 arXiv公司
泰勒·索伦森；埃夫拉德，雨果；阿拉斯泰尔·唐纳森。

GPU调度程序：公平到什么程度？ （英语） Zbl 1520.68016号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第23条，第17页（2018年）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Sorensen}等人，LIPIcs——莱布尼茨国际程序。通知。118，第23条，第17页（2018；Zbl 1520.68016）
全文： 内政部
杨格雷格

函数的同调理论：非均匀布尔复杂性分离和通过代数拓扑的VC维界，以及同调Farkas引理。 （英语） Zbl 1462.68063号

Karlin，Anna R.（编辑），第九届理论计算机科学创新会议，ITCS 2018，美国马萨诸塞州剑桥，2018年1月11-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94，第56条，第16页（2018年）。
MSC公司：2015年第68季度 13层55 55N10型
PDF格式BibTeX公司 XML格式引用
\textit{G.Yang}，LIPIcs——莱布尼茨国际程序。通知。94，第56条，第16页（2018；Zbl 1462.68063）
全文： 内政部
亚当·什米；奥雷利·胡罗；菲利普·奎因内克

超越因果关系的异步消息排序。 （英语） Zbl 1487.68116号

Aspnes，James（ed.）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18日至20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第29条，第20页（2018年）。
MSC公司：2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Shimi}等人，LIPIcs——莱布尼茨国际程序。通知。95，第29条，第20页（2018；兹bl 1487.68116）
全文： 内政部
苏苏木西村

Schlegel图和可优化的即时快照协议。 （英语） Zbl 1487.68049号

Aspnes，James（ed.）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18日至20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第22条，第16页（2018年）。
MSC公司：64岁以下 05年第57季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Nishimura}，LIPIcs——莱布尼茨国际程序。通知。95，第22条，第16页（2018；Zbl 1487.68049）
全文： 内政部 arXiv公司
德米特里·科兹洛夫。

六个过程的标准色细分和弱对称破缺的组合拓扑。 （英语） 兹比尔1426.68185

Callegaro，Filippo（编辑）等人，《配置空间》。几何、拓扑和表示理论。根据2014年8月31日至9月6日在意大利科尔托纳举行的会议。查姆：斯普林格。Springer INdAM系列。14, 155-194 (2016).
MSC公司：68问题85 第57季度99
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Kozlov}，Springer INdAM Ser（施普林格INdAM系列）。14、155--194（2016；Zbl 1426.68185）
全文： 内政部 arXiv公司
卡罗尔·德尔波特；Hugues的Fauconnier；塞尔吉奥·拉杰斯鲍姆；米歇尔·雷纳尔

\（t）-不可能实现弹性即时快照。 （英语） Zbl 1482.68055号

Suomela，Jukka（编辑），《结构信息和通信复杂性》。2016年7月19-21日在芬兰赫尔辛基举行的2016年SIROCCO第23届国际学术讨论会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9988, 177-191 (2016).
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{C.Delporte}等人，Lect。注释计算。科学。9988177--191（2016；Zbl 1482.68055）
全文： 内政部
卡斯塔涅达，阿曼多；皮埃尔·弗拉吉奥德；埃利·加夫尼；塞尔吉奥·拉杰斯鲍姆；罗伊，马蒂厄

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

Suomela，Jukka（编辑），结构信息和通信复杂性。2016年7月19-21日在芬兰赫尔辛基举行的2016年SIROCCO第23届国际学术讨论会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9988, 111-126 (2016).
MSC公司：64岁以下 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Castañeda}等人，Lect。注释计算。科学。9988111-126（2016；Zbl 1482.68054）
全文： 内政部 哈尔
达米安·伊姆斯；塞尔吉奥·拉杰斯鲍姆；阿德里安·瓦莱

解开部分共识：迭代（x）共识模拟。 （英语） Zbl 1428.68075号

Pelc，Andrzej（编辑）等人，《分布式系统的稳定性、安全性和安全性》。2015年8月18日至21日，第17届国际研讨会，2015年SSS，加拿大安大略省埃德蒙顿。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9212, 139-155 (2015).
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{D.Imbs}等人，Lect。注释计算。科学。9212、139--155（2015年；Zbl 1428.68075）
全文： 内政部
尼尔·沙维特；加迪·陶本费尔德

放松数据结构的可计算性：以队列和堆栈为例。 （英语） Zbl 1471.68079号

Christian Scheidler（编辑），《结构信息和通信复杂性》。2015年7月14日至16日，西班牙蒙特塞拉特，第22届国际学术讨论会，SIROCCO 2015。后期制作。查姆：斯普林格。莱克特。注释计算。科学。9439, 414-428 (2015).
MSC公司：68第05页 68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Shavit}和\textit{G.Taubenfeld}，莱克特。注释计算。科学。9439、414--428（2015年；Zbl 1471.68079）
全文： 内政部
卡罗尔·德尔波特；Hugues的Fauconnier；图伊格，山姆

基于进程调度的\（n\）-共识和\（n+1）\）-一致的分离。 （英语） Zbl 1472.68014号

Christian Scheidler（编辑），《结构信息和通信复杂性》。2015年7月14日至16日，西班牙蒙特塞拉特，第22届国际学术讨论会，SIROCCO 2015。后期制作。查姆：斯普林格。莱克特。注释计算。科学。9439, 385-398 (2015).
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{C.Delport-Gallet}等人，Lect。注释计算。科学。9439，385--398（2015；Zbl 1472.68014）
全文： 内政部
米歇尔·雷纳尔

分布式系统中可以计算什么？ （英语） Zbl 1416.68025号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415209-224（2014年）。
MSC公司：64岁以下 68米15 65年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{M.Raynal}，莱克特。注释计算。科学。8415，209--224（2014；Zbl 1416.68025）
全文： 内政部
米歇尔·雷纳尔；朱利安·施泰纳

同步共识vs集合协议：对消息传递敏感的协议问题层次结构。 （英语） Zbl 1406.68010号

Moscibroda，Thomas（编辑）等人，《结构信息和通信复杂性》。第20届国际学术讨论会，2013年7月1日至3日，意大利伊斯基亚，SIROCCO 2013。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-319-03577-2/pbk）。计算机科学课堂讲稿8179298-309（2013）。
MSC公司：64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.Raynal}和\textit{J.Stainer}，莱克特。注释计算。科学。8179298--309（2013；Zbl 1406.68010）
全文： 内政部 哈尔
鲁道夫·孔德；塞尔吉奥·拉杰斯鲍姆

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

Fajstrup，Lisbeth（编辑）等人，《计算机科学中几何和拓扑方法第九次研讨会论文集》，丹麦奥尔堡，2010年1月11日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记283，29-51（2012）。
MSC公司：68问题85 05E45型 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{R.Conde}和\textit{S.Rajsbaum}，电子。注释Theor。计算。科学。283、29-51（2012；Zbl 1347.68261）
全文： 内政部
阿曼多·卡斯塔涅达；塞尔吉奥·拉杰斯鲍姆

一种用于计算对称细分的单色单纯形的归纳式过程，用于分布式计算。 （英语） Zbl 1347.68259号

Fajstrup，Lisbeth（编辑）等人，《计算机科学中几何和拓扑方法第九次研讨会论文集》，丹麦奥尔堡，2010年1月11日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记283，13-27（2012）。
MSC公司：68问题85 05E45型
PDF格式BibTeX公司 XML格式引用
\textit{A.Castañeda}和\textit{S.Rajsbaum}，电子。注释Theor。计算。科学。283、13-27（2012；Zbl 1347.68259）
全文： 内政部
阿曼多·卡斯塔涅达；莫里斯·赫利希；塞尔吉奥·拉杰斯鲍姆

等方差定理及其在重命名中的应用。 （英语） Zbl 1353.68197号

Fernández-Baca，David（编辑），《拉丁语2012：理论信息学》。第十届拉丁美洲研讨会，2012年4月16日至20日，秘鲁阿雷基帕。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29343-6/pbk）。计算机科学课堂讲稿7256133-144（2012）。
MSC公司：68问题85 55单位10
PDF格式BibTeX公司 XML格式引用
\textit{A.Castañeda}等人，Lect。注释计算。科学。72563133-144（2012年；兹比尔1353.68197）
全文： 内政部 链接
耶胡达·阿费克；雅科夫·巴比琴科；乌列尔·菲戈；埃利·加夫尼；莱尼尔，纳提；本尼·苏达科夫

不经意的合作。 （英语） Zbl 1350.68037号

Peleg，David（编辑），《分布式计算》。第25届国际研讨会，2011年DISC，2011年9月20日至22日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24099-7/pbk）。计算机科学课堂讲稿6950489-504（2011）。
MSC公司：64岁以下 68平方米 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Afek}等人，Lect。注释计算。科学。6950489-504（2011年；Zbl 1350.68037）
全文： 内政部 arXiv公司
皮埃尔·弗拉吉奥德；塞尔吉奥·拉杰斯鲍姆；科伦蒂·特拉弗斯

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

Peleg，David（编辑），《分布式计算》。第25届国际研讨会，2011年DISC，2011年9月20日至22日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24099-7/pbk）。计算机科学课堂讲稿6950，333-347（2011）。
MSC公司：64岁以下 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Fraignaud}等人，Lect。注释计算。科学。6950333--347（2011；Zbl 1311.68025）
全文： 内政部 哈尔
埃利·加夫尼；拉希德·格拉乌伊

广义普遍性。 （英语） Zbl 1343.68168号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901，17-27（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Gafni}和\textit{R.Guerraoui}，莱克特。注释计算。科学。6901,17--27（2011；Zbl 1343.68168）
全文： 内政部
维奥里卡Sofrone-Stokkerman

滑轮和几何逻辑以及在复杂系统模块验证中的应用。 （英语） Zbl 1339.68192号

Goubault，Eric（编辑），《并发理论中的几何和拓扑方法研讨会论文集》（GETCO 2004、2005、2006），荷兰阿姆斯特丹，2004年，美国加利福尼亚州旧金山，2005年，德国波恩，2006年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记230，161-187（2009）。
MSC公司：68问题85 03B70号 54B40码 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Sofronie-Stokkermans}，电子。注释Theor。计算。科学。230、161--187（2009年；Zbl 1339.68192）
全文： 内政部
路易吉·桑托卡纳莱

事件结构的拓扑性质。 （英语） Zbl 1339.68191号

Goubault，Eric（编辑），并发理论中几何和拓扑方法研讨会论文集（GETCO 2004，2005，2006），阿姆斯特丹，荷兰2004，加利福尼亚州旧金山，美国2005，德国波恩2006。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记230，149-160（2009）。
MSC公司：68问题85 05年10月 05C69号 05C78号 05E45型
PDF格式BibTeX公司 XML格式引用
\textit{L.Santocanale}，电子。注释Theor。计算。科学。230、149-160（2009年；Zbl 1339.68191）
全文： 内政部
莫里斯·赫利希；塞尔吉奥·拉杰斯鲍姆；马克·塔特尔

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

Goubault，Eric（编辑），并发理论中几何和拓扑方法研讨会论文集（GETCO 2004，2005，2006），阿姆斯特丹，荷兰2004，加利福尼亚州旧金山，美国2005，德国波恩2006。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记230，79-102（2009）。
MSC公司：68宽15 64岁以下 68米15 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Herlihy}等人，《电子》。理论注释。计算。科学。230、79-102（2009年；Zbl 1339.68307）
全文： 内政部
拉希德·格拉乌伊；巴斯蒂安·波雄

早期确定集合协议的复杂性：拓扑如何帮助？ （英语） Zbl 1339.68306号

Goubault，Eric（编辑），并发理论中几何和拓扑方法研讨会论文集（GETCO 2004，2005，2006），阿姆斯特丹，荷兰2004，加利福尼亚州旧金山，美国2005，德国波恩2006。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记230，71-78（2009）。
MSC公司：68宽15 55页99 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Guerraoui}和\textit{B.Pochon}，电子。注释Theor。计算。科学。230、71-78（2009年；Zbl 1339.68306）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件