×

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

最新的 引文 关联
德普雷斯，马蒂尔德；Mostéfaoui，阿丘；马蒂厄·佩林；米歇尔·雷纳尔

简短声明：MBroadcast抽象。 （英语） Zbl 07824336号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。282-285 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{M.Déprés}et al.，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。282--285（2023年；Zbl 07824336）
全文： 内政部
伊泰·亚伯拉罕；任玲；项卓伦

未经验证的拜占庭广播的好情况和坏情况延迟：完全分类。 （英语） Zbl 07832746号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第5条，第20页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，LIPIcs——莱布尼茨国际程序。通知。217，第5条，20 p.（2022；Zbl 07832746）
全文： 内政部 arXiv公司
亚伯拉罕·伊泰；本·大卫，Naama；斯拉维亚Yandamuri

通过绑定十字军协议实现高效且自适应安全的异步二进制协议。 （英语） Zbl 07824289号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。381-391 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。381--391（2022；Zbl 07824289）
全文： 内政部
本亚明·巴沙里；菲利普·沃尔费尔

高效的自适应部分快照实现。 （英语） Zbl 07824232号

Korhonen，Janne H.（编辑），第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。545-555 (2021).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{B.Bashari}和\textit{P.Woelfel}，in：第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。545--555（2021；Zbl 07824232）
全文： 内政部 链接
拉蒂·格拉什维利；Kokoris-Kogias，Lefteris公司；亚历山大·斯皮格曼；项卓伦

简要声明：网络出现故障时要做好准备：一种异步视图更改协议。 （英语） Zbl 07824195号

Korhonen，Janne H.（编辑），第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。187-190 (2021).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gelashvili}等人，in：第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。187-190（2021；Zbl 07824195）
全文： 内政部 arXiv公司
艾迪特·基达尔；Kokoris-Kogias，Eleftherios公司；诺尔，奥德；亚历山大·斯皮格曼

你所需要的只是DAG。 （英语） Zbl 07824193号

Korhonen，Janne H.（编辑），第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。165-175 (2021).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Keidar}等人，in：第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26-30日。纽约州纽约市：计算机协会（ACM）。165-175（2021；Zbl 07824193）
全文： 内政部 arXiv公司
大卫·柯克帕特里克；艾琳娜·科斯蒂奇纳；阿尔弗雷多·纳瓦拉；朱塞佩·普伦西佩；尼古拉·桑托罗

分离自主机器人的有界和无界异步：点收敛（Point Convergence）能见度有限。 （英语） Zbl 07824178号

Korhonen，Janne H.（编辑），第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。9-19 (2021).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kirkpatrick}等人，in：第40届ACM分布式计算原理研讨会论文集，PODC’21，虚拟事件，意大利，2021年7月26日至30日。纽约州纽约市：计算机协会（ACM）。9--19（2021；Zbl 07824178）
全文： 内政部 arXiv公司
克里斯蒂安·乌尔达尔·格劳伦德；Dmitrij，Szamozvancev；内尔·克里希纳斯瓦米

伴随反应式GUI编程。 （英语） Zbl 07410430号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 289-309 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛C.U.Graulund｝等人，Lect。注释计算。科学。12650、289--309（2021；Zbl 07410430）
全文： 内政部 arXiv公司
丹尼尔·赫希科夫；英格朗·普雷贝特；戴维·桑吉奥吉

关于\（\pi\）-演算中引用的表示。 （英语） Zbl 07559490号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第34条，第20页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Hirschkoff}等人，LIPIcs——莱布尼茨国际程序。通知。171，第34条，20 p.（2020；Zbl 07559490）
全文： 内政部
哈维尔·埃斯帕尔扎；费比安·雷特

分布式计算弱异步模型的分类。 （英语） Zbl 07559466号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第10条，第16页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{F.Reiter}，LIPIcs——莱布尼茨国际程序。通知。171，第10条，第16页（2020；Zbl 07559466）
全文： 内政部 arXiv公司
埃马纽埃尔·戈达尔；达米安·伊姆斯；米歇尔·雷纳尔；加迪·陶本费尔德

从Bezout的身份到匿名存储系统中的空间最优选举。 （英语） Zbl 07323167号

Christian Cachin（编辑）等人，《第39届ACM分布式计算原理研讨会论文集》，PODC’20，虚拟事件，2020年8月3日至7日。纽约州纽约市：计算机协会（ACM）。41-50 (2020).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{E.Godard}等人，in：第39届ACM分布式计算原理研讨会论文集，PODC’20，虚拟事件，2020年8月3-7日。纽约州纽约市：计算机协会（ACM）。41-50（2020；Zbl 07323167）
全文： 内政部 哈尔
大卫·科扎亚；奥根·马里克；伊冯安·皮诺莱特

你只能活多次：一个黑箱解决方案，用于在实际的崩溃恢复设置中重用崩溃停止算法。 （英语） 兹伯利07561447

曹建农（编辑）等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第19条，第17页（2019年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozhaya}等人，LIPIcs——莱布尼茨国际程序。通知。125，第19条，第17页（2019年；Zbl 07561447）
全文： 内政部 arXiv公司
迪米特里斯·萨卡瓦拉斯；刘易斯·曾俊华；尼汀·瓦迪娅（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公司
苏，莉莉；尼汀·瓦迪娅（Nitin H.Vaidya）。

存在碰撞故障时的异步非贝叶斯学习。 （英语） Zbl 1425.68354号

Bonakdarpour，Borzoo（编辑）等人，《分布式系统的稳定、安全和保障》。2016年11月7日至10日在法国里昂举行的2016年SSS第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10083, 352-367 (2016).
MSC公司：68T05型 64岁以下 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{L.Su}和\textit{N.H.Vaidya}，莱克特。注释计算。科学。10083352-367（2016年；兹比尔1425.68354）
全文： 内政部 arXiv公司
罗曼·德曼根；吉田、Nobuko

关于多党会议的表现力。 （英语） Zbl 1366.68012号

Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16日至18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集4560-574（2015）。
MSC公司：64岁以下 68个M12
PDF格式BibTeX公司 XML格式引用
\textit｛R.Demangeon｝和\textit｛N.Yoshida｝，LIPIcs——莱布尼茨国际期刊。通知。45560--574（2015；Zbl 1366.68012）
全文： 内政部
Al-Humaimedy，Abeer S。；玛丽贝尔·费尔南德斯

在CSP中为SOC启用同步和异步通信。 （英语） Zbl 1342.68221号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31269-88，仅电子版（2015）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Al-Humamededy}和\textit{M.Fernández}，电子。注释Theor。计算。科学。31269--88（2015；Zbl 1342.68221）
全文： 内政部
迈克尔·巴克斯；费边·本顿；阿什什·乔杜里；凯特，阿妮凯特

异步MPC，使用非模棱两可的严格诚实多数。 （英语） 兹比尔1321.68039

2014年ACM分布式计算原理研讨会论文集，2014年7月15日至18日，法国巴黎，PODC’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2944-6）。2014年10月19日。
MSC公司：68个M12 64岁以下 68米15 68宽15 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}等人，《第33届ACM分布式计算原理研讨会论文集》，PODC’14，法国巴黎，2014年7月15-18日。纽约州纽约市：计算机协会（ACM）。10-19（2014年；Zbl 1321.68039）
全文： 内政部
克里索瓦兰迪斯·阿加丹格鲁；克里斯西·乔治奥；马里奥斯·马夫罗尼科拉斯

一种分布式算法，用于在飞机上聚集多个肥胖的移动机器人。 （英语） Zbl 1323.68547号

2013年7月22日至24日，加拿大魁北克省蒙特利尔市，2013年ACM分布式计算原理研讨会论文集，PODC’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2065-8）。250-259 (2013).
MSC公司：68宽15 64岁以下 68T40型 68周05
PDF格式BibTeX公司 XML格式引用
\textit{C.Agathangelou}等人，in：第32届ACM分布式计算原理研讨会论文集，PODC’13，加拿大魁北克省蒙特利尔，2013年7月22日至24日。纽约州纽约市：计算机协会（ACM）。250-259（2013；Zbl 1323.68547）
全文： 内政部 arXiv公司
延斯·沃尔夫哈德·希克；柯斯汀·彼得斯；乌尔苏拉·戈尔茨

异步Petri网中的同步性与因果性。 （英语） Zbl 1457.68194号

Luttik，Bas（编辑）等人，《第18届并发表达性国际研讨会论文集》，EXPRESS’11，德国亚琛，2011年9月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）64，119-131（2011）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.-W.Schicke}等人，《电子》。程序。西奥。计算。科学。（EPTCS）64、119--131（2011；Zbl 1457.68194）
全文： arXiv公司 链接
柯斯汀·彼得斯；延斯·沃尔夫哈德·希克；乌韦·内斯特曼

异步演算中的同步与因果关系。 （英语） Zbl 1457.68192号

Luttik，Bas（编辑）等人，《第18届并发表达性国际研讨会论文集》，EXPRESS’11，德国亚琛，2011年9月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）64，89-103（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}等人，《电子》。程序。西奥。计算。科学。（EPTCS）64，89--103（2011；Zbl 1457.68192）
全文： arXiv公司 链接
拉蒙·阿隆索·桑斯

具有存储器的离散系统。 （英语） Zbl 1250.68006号

非线性科学世界科学丛书，A辑75。新泽西州哈肯萨克：世界科学（ISBN 978-981-4343-63-3/hbk；978-981-14343-64-0/电子书）。xi，第465页。(2011).
审核人：丹·波波维奇（蒂米什·奥拉）
MSC公司：68-02 37-02 37B15号机组 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{R.Alonso-Sanz}，带内存的离散系统。新泽西州哈肯萨克：《世界科学》（2011；Zbl 1250.68006）
全文： 链接
达米安·伊姆斯；米歇尔·雷纳尔

需要时提供帮助，但仅此而已：高效的读/写部分快照。 （英语） Zbl 1261.68028号

Keidar，Idit（编辑），《分布式计算》。2009年9月23日至25日，第23届国际研讨会，DISC 2009，西班牙埃尔切。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04354-3/pbk）。计算机科学课堂讲稿5805142-156（2009）。
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{D.Imbs}和\textit{M.Raynal}，莱克特。注释计算。科学。5805142-156（2009年；Zbl 1261.68028）
全文： 内政部 链接
穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。；吐温·巴斯滕；米歇尔·乔德隆

PARS：一种处理资源和调度程序的进程代数方法。 （英语） Zbl 1171.68575号

Alexander，Michael（编辑）等人，《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿：CRC pRESS（ISBN 978-1-4200-6486-5/hbk）。查普曼和霍尔/CRC计算科学系列，331-358（2009）。
MSC公司：68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Mousavi}等人，in：并行和分布式处理的进程代数。佛罗里达州博卡拉顿：CRC pRESS。331-358（2009年；Zbl 1171.68575）
博格丹·S·克莱布斯。；Dariusz R.科瓦尔斯基。

异步独占选择。 （英语） Zbl 1301.68125号

2008年8月18日至21日，加拿大多伦多，2008年PODC，第27届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-989-0）。375-384 (2008).
MSC公司：第68季度10 64岁以下 68米15 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Chlebus}和\textit{D.R.Kowalski}，in：第27届ACM分布式计算原理研讨会论文集，PODC’08，加拿大多伦多，2008年8月18-21日。纽约州纽约市：计算机协会（ACM）。375--384（2008年；Zbl 1301.68125）
全文： 内政部 arXiv公司
克里斯西·乔治奥；塞斯·吉尔伯特；拉希德·格拉乌伊；Dariusz R.科瓦尔斯基。

异步八卦的复杂性。 （英语） Zbl 1301.68160号

2008年8月18日至21日，加拿大多伦多，2008年PODC，第27届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-989-0）。135-144 (2008).
MSC公司：65年第68季度 68个M12 64岁以下 68米15 2017年第68季度 87年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{C.Georgiou}等人，in：第27届ACM分布式计算原理研讨会论文集，PODC’08，加拿大多伦多，2008年8月18-21日。纽约州纽约市：计算机协会（ACM）。135-144（2008年；兹bl 1301.68160）
全文： 内政部 链接
贾斯敏·费希尔；托马斯·亨辛格（Thomas A.Henzinger）。；玛丽亚·马泰斯库；尼尔·皮特曼

有界异步：用于建模细胞间交互的并发性。 （英语） 兹比尔1375.92018

Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学讲义，17-32（2008）。
MSC公司：92立方37 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Fisher}等人，Lect。注释计算。科学。5054，17-32（2008；Zbl 1375.92018）
全文： 内政部 链接
安东尼奥·费尔南德斯；米歇尔·雷纳尔

从间歇旋转的恒星到领导者。 （英语） Zbl 1283.68093号

2007年8月12日至15日，美国俄勒冈州波特兰，PODC’07，第26届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-616-5）。320-321 (2007).
MSC公司：64岁以下 68宽15 68平方米 68米15
PDF格式BibTeX公司 XML格式引用
\textit{A.Fernández}和\textit{M.Raynal}，摘自：第26届ACM分布式计算原理研讨会论文集，PODC’07，波特兰，俄勒冈州，美国，2007年8月12-15日。纽约州纽约市：计算机协会（ACM）。320-321（2007；Zbl 1283.68093）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件