×

找到85个文档（结果1-85）

最新的 引文 关联
哈吉特·阿提亚;诺亚·席勒

基于集群的模型中的异步完全分散SGD。 （英语） Zbl 07745698号

Mavronicolas，Marios（编辑），《算法与复杂性》。第十三届国际会议，CIAC 2023，拉纳卡，塞浦路斯，2023年6月13-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13898, 52-66 (2023).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Attiya}和\textit{N.Schiller}，莱克特。注释计算。科学。13898，52-66（2023；Zbl 07745698）
全文： 内政部 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 1483.93626号

国际期刊系统。科学。，普林克。申请。系统。集成。 52，第16号，3368-3389（2021）.
MSC公司：93E10型 93E11号机组 93B70型 93元65角 93-02
PDF格式BibTeX公司 XML格式引用
\textit{X.-C.贾}，国际期刊系统。科学。，普林克。申请。系统。集成。52，第16号，3368--3389（2021；Zbl 1483.93626）
全文： 内政部
卡罗尔·德尔波特;Hugues的Fauconnier;塞尔吉奥·拉杰斯鲍姆

动态网络中无等待可计算性的通信复杂性。 （英语） 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.Delport-Gallet}等人，Lect。注释计算。科学。12156、291--309（2020；Zbl 07581072）
全文： 内政部
迪米特里斯·萨卡瓦拉斯;刘易斯·曾俊华;尼汀·瓦迪娅（Nitin H.Vaidya）。

拓扑知识和中继深度对异步近似一致性的影响。 （英语） Zbl 07561442号

曹建农（编辑）等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第14条，第16页（2019年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{D.Sakavalas}等人，LIPIcs——莱布尼茨国际程序。通知。125，第14条，第16页（2019年；Zbl 07561442）
全文： 内政部 arXiv公司
马蒂亚斯·福格尔;托马斯·诺瓦克

快速多维渐近和近似一致性。 （英语） Zbl 1497.68045号

Schmid，Ulrich（编辑）等人，第32届分布式计算国际研讨会，DISC 2018，美国路易斯安那州新奥尔良，2018年10月15日至19日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121，第27条，第16页（2018年）。
MSC公司：64岁以下 68米15 68宽15 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{M.Függer}和\textit{T.Nowak}，LIPIcs——莱布尼茨国际程序。通知。121，第27条，第16页（2018；Zbl 1497.68045）
全文： 内政部 arXiv公司
达里亚·梅尼克;王玉怡;罗杰·瓦滕霍夫

拜占庭优先投票。 （英语） Zbl 1443.91134号

Christodoulou，George（编辑）等人，《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11316, 327-340 (2018).
MSC公司：91B14号机组 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Melnyk}等人，Lect。注释计算。科学。11316、327--340（2018年；Zbl 1443.91134）
全文： 内政部 arXiv公司
文森特·格拉莫利;彼得·库兹涅佐夫;斯利瓦桑·拉维

在寻找最佳并发性的过程中。 （英语） Zbl 1482.68151号

Suomela，Jukka（编辑），《结构信息和通信复杂性》。第23届国际学术讨论会，2016年SIROCCO，芬兰赫尔辛基，2016年7月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9988, 143-158 (2016).
MSC公司：68问题85 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{V.Gramoli}等人，Lect。注释计算。科学。9988、143--158（2016；Zbl 1482.68151）
全文： 内政部 arXiv公司
刘易斯·曾俊华

消息传递网络中容错一致性的最新结果。 （英语） Zbl 1482.68049号

Suomela，Jukka（编辑），《结构信息和通信复杂性》。第23届国际学术讨论会，2016年SIROCCO，芬兰赫尔辛基，2016年7月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9988, 92-108 (2016).
MSC公司：68M10个 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{L.Tseng}，莱克特。注释计算。科学。9988、92——108（2016年；Zbl 1482.68049）
全文： 内政部 arXiv公司
苏，莉莉;尼汀·瓦迪娅

通过多跳通信达成近似拜占庭共识。 （英语） Zbl 1428.68082号

Pelc，Andrzej（编辑）等人，《分布式系统的稳定性、安全性和安全性》。2015年8月18日至21日在加拿大阿联酋埃德蒙顿举行的第17届SSS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9212, 21-35 (2015).
MSC公司：64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{L.Su}和\textit{N.Vaidya}，莱克特。注释计算。科学。9212，21-35（2015；Zbl 1428.68082）
全文： 内政部
伯纳黛特·查伦·博斯特;马蒂亚斯·福格尔;托马斯·诺瓦克

高度动态网络中的近似一致性：平均算法的作用。 （英语） Zbl 1417.68012号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 528-539 (2015).
MSC公司：68M10个 68米15 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Charron-Bost}等人，Lect。注释计算。科学。9135528--539（2015；Zbl 1417.68012）
全文： 内政部 arXiv公司
阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德

容错分布式算法的参数化模型检查教程。 （英语） Zbl 1445.68133号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 122-171 (2014).
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.Gmeiner}等人，Lect。注释计算。科学。8483122--171（2014年；Zbl 1445.68133）
全文： 内政部
耶胡达·阿费克;雅科夫·巴比琴科;乌列尔·菲戈;埃利·加夫尼;莱尼尔，纳提;本尼·苏达科夫

疏忽大意的合作。 （英语） 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个M12 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 1350.68040号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041，38-57（2011）。
MSC公司：64岁以下 68个M12 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{I.Ben-Hafaiedh}等人，Lect。注释计算。科学。7041，38-57（2011；Zbl 1350.68040）
全文： 内政部
Armendáriz-Iñigo，JoséEnrique;JoséRamón González de Mendívil;JoséRamón，Garitagoitia;穆尼奥斯·埃斯科尼（Muñoz-Escoí），弗朗西斯科·D·。

从I/O自动机模型的角度证明数据库复制协议的正确性。 （英语） Zbl 1179.68046号

学报信息。 46，第4期，297-330（2009）.
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Armendáriz-Iñigo}等人，《信息学报》46，第4期，297--330（2009；Zbl 1179.68046）
全文： 内政部
安娜·菲利普;大卫·沃克

关于\（\pi\）-演算中的合流。 （英语） Zbl 1401.68232号

Degano，Pierpaolo（编辑）等人，自动机，语言和编程。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256314-324（1997）。
MSC公司：68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.Philippou}和\textit{D.Walker}，莱克特。注释计算。科学。1256、314--324（1997；Zbl 1401.68232）
全文： 内政部
奥斯卡·伊巴拉;佩德罗·迪尼兹;马丁·里纳德

关于交换性分析的复杂性。 （英语） Zbl 1529.68119号

蔡金毅（主编）等，《计算与组合学》。第二届国际年会，COCOON’96，香港，1996年6月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1090, 323-332 (1996).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Ibarra}等人，Lect。注释计算。科学。1090、323--332（1996年；Zbl 1529.68119）
全文： 内政部
托比亚斯·尼普科;康拉德·斯林德

Isabelle/HOL中的I/O自动机。 （英语） Zbl 1530.68156号

Dybjer，Peter（编辑）等人，证明和程序的类型。1994年6月6日至10日，瑞典伯斯塔德，94型国际研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。996, 101-119 (1995).
MSC公司：60年第68季度 68个M12 2010年第68季度 65年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}和\textit{K.Slind}，Lect。注释计算。科学。996101-119（1995年；Zbl 1530.68156）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件