×

找到4849个文档（结果1-100）

最新的 引文 关联
丽达·巴兹；萨拉·图西·皮尔乔瓦尼

简要声明：打破“（f+1）”障碍：在不到“（f+1\）”验证的情况下并行执行支付交易。 （英语） Zbl 07824334号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。274-277 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{R.Bazzi}和\textit{S.Tucci-Piergiovanni}，摘自：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。274--277（2023年；Zbl 07824334）
全文： 内政部 arXiv公司
奥尔·菲舍尔；梅拉夫·帕特

分布式CONGEST算法对抗移动对手。 （英语） Zbl 07824333号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。262-273 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{O.Fischer}和\textit{M.Parter}，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。262--273（2023；Zbl 07824333）
全文： 内政部 arXiv公司
Kaya Alpturer公司；约瑟夫·霍尔珀（Joseph Y.Halpern）。；罗恩·范德梅登

具有遗漏故障的最佳最终拜占庭协议。 （英语） Zbl 07824331号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。244-252 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{K.Alpturer}等人，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。244-252（2023年；兹bl 07824331）
全文： 内政部 arXiv公司
阿曼多·卡斯塔涅达；吉尔德·瓦莱里亚·罗德里格斯

异步无等待运行时验证和线性化能力的实施。 （英语） Zbl 07824315号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.Castañeda}和\textit{G.V.Rodríguez}，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101（2023；Zbl 07824315）
全文： 内政部 arXiv公司
Chan、David Yu Cheng；乔治·贾库普伊斯；菲利普·沃尔费尔

字数大小的RMR权衡了可恢复互斥。 （英语） Zbl 07824314号

Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。79-89 (2023).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{D.Y.C.Chan}等人，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。79-89（2023年；Zbl 07824314）
全文： 内政部
斯瓦提提瓦里；卡姆莱什·库马尔·亚达夫；帕拉尼科马尔，D。

使用基于智能量子计算的错误减少代码的容错机制。 （英语） Zbl 07767104号

Yadav、Satya Prakash（编辑）等人，《量子安全加密算法和方法》。量子计算对网络安全的影响。量子计算。柏林：De Gruyter。109-119（2023年）。
MSC公司：81页68 68米15 60H50型 81页65
PDF格式BibTeX公司 XML格式引用
\textit{S.Tiwari}等人，in：量子安全加密算法和方法。量子计算对网络安全的影响。柏林：De Gruyter。109-119（2023；Zbl 07767104）
全文： 内政部
Lips'kyĭ，博士。

开发web应用程序测试自动化平台。 （乌克兰语。英文摘要） Zbl 07744786号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡 2023年，第1期，第89-93页（2023年）.
MSC公司：68米15
PDF格式BibTeX公司 XML格式引用
\textit{D.O.Lips'kyĭ}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2023，编号1，89--93（2023；Zbl 07744786）
全文： 内政部
乔恒基；张明祖；马文环；杨，邢

一个（O（log（N））算法视图：折叠交叉超立方体基于额外边连通性的可靠性评估。 （英语） Zbl 1518.68274号

并行过程。莱特。 33，第1-2号，文章ID 2350003，24页（2023）.
MSC公司：68兰特 05C40号 05C85号 68米15 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{H.Qiao}等人，《并行处理》。莱特。33，编号1--2，文章ID 2350003，24 p.（2023；Zbl 1518.68274）
全文： 内政部
刘，于；Subotic，铺面；埃曼纽尔·莱蒂尔；谢尔盖·梅赫塔耶夫；阿比克·罗伊乔杜里

高效的基于SMT的网络容错验证。 （英语） Zbl 1529.68161号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 92-100 (2023).
MSC公司：60年第68季度 68米15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Lect。注释计算。科学。14000，92-100（2023；Zbl 1529.68161）
全文： 内政部
伊索高南；福石、Masaru

通过直接更换备用磁盘实现处理器阵列的可降级自组织。 （英语） Zbl 1528.68038号

Gavrilova，Marina L.（编辑）等，《计算科学学报》，第三十九期。柏林：斯普林格。莱克特。注释计算。科学。13460，1-21（2023）。
MSC公司：2007年7月68日 68米15 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{I.Takanami}和\textit{M.Fukushi}，Lect。注释计算。科学。13460，1--21（2023；Zbl 1528.68038）
全文： 内政部
阿尔瓦罗·费尔南德斯·迪亚斯；拉尔斯·奥克·弗雷德隆德；克拉拉·贝纳克·艾尔；马里尼奥，胡里奥

Jason中代理分布和容错的形式化语义。 （英语） Zbl 1512.68054号

J.日志。阿尔盖布。方法计划。 133，文章ID 100874，23 p.（2023）.
MSC公司：68甲15 68问题55 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{阿尔·费尔南德斯·迪亚兹}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100874，23 p.（2023；Zbl 1512.68054）
全文： 内政部
伊泰·亚伯拉罕；卡提克·纳亚克；尼贝什·什雷斯塔

旋转先导同步BFT的最佳良好情况延迟。 （英语） Zbl 07832768号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第27条，第19页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，LIPIcs——莱布尼茨国际程序。通知。217，第27条，第19页（2022；Zbl 07832768）
全文： 内政部
威廉·舒尔茨；周思源；伊恩·达迪克；斯塔夫罗斯·特里帕基斯

一种无日志动态重构协议的设计与分析。 （英语） Zbl 07832767号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第26条，第16页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{W.Schultz}等人，LIPIcs——莱布尼茨国际程序。通知。217，第26条，第16页（2022；Zbl 07832767）
全文： 内政部 arXiv公司
弗雷塔斯，德苏扎·卢西亚诺；安德烈·通基克；萨拉·图西·皮尔乔瓦尼；雷诺·瑟迪；奥纳·斯坦；尼古拉斯·奎罗；彼得·库兹涅佐夫

Randsolomon：具有确定性终止的最佳弹性随机数生成器。 （英语） Zbl 07832764号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第23条，第16页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{D.S.L.Freitas}等人，LIPIcs——莱布尼茨国际程序。通知。217，第23条，第16页（2022；Zbl 07832764）
全文： 内政部 arXiv公司
谢哈尔·巴诺；阿尔贝托·索尼诺；安德烈·丘尔辛；德米特里·佩雷尔曼；李泽坤；艾弗里·钦；大丽亚·马尔基

双胞胎：BFT系统变得强大。 （英语） Zbl 07832748号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第7条，第29页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bano｝等人，LIPIcs——莱布尼茨国际期刊。通知。217，第7条，29 p.（2022；Zbl 07832748）
全文： 内政部 arXiv公司
彼得·库兹涅佐夫

责任分布式计算（受邀演讲）。 （英语） Zbl 07832743号

Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第2条，第1页（2022年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.库兹涅佐夫}，LIPIcs——莱布尼茨国际程序。通知。217，第2条，第1页（2022；Zbl 07832743）
全文： 内政部
格雷格·博德温；迈克尔·迪尼茨；雅萨明·纳扎里

顶点容错仿真器。 （英语） Zbl 07829257号

Mark Braverman（编辑），《理论计算机科学会议的第13次创新》，ITCS 2022，美国加州伯克利，2022年1月31日至2月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215，第25条，第22页（2022年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Bodwin}等人，LIPIcs——莱布尼茨国际程序。通知。215，第25条，22 p.（2022；Zbl 07829257）
全文： 内政部 arXiv公司
戴维·比洛；卡瑟尔·凯特琳；基尔蒂·乔达里；萨雷尔·科恩；托比亚斯·弗里德里希；J.A.Gregor，Lagodzinski；马丁·施奈克；西蒙·维瑟尔

固定参数灵敏度oracles。 （英语） Zbl 07829255号

Mark Braverman（编辑），《理论计算机科学会议的第13次创新》，ITCS 2022，美国加州伯克利，2022年1月31日至2月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215，第23条，第18页（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Biló}等人，LIPIcs——莱布尼茨国际程序。通知。215，第23条，第18页（2022；Zbl 07829255）
全文： 内政部 arXiv公司
本·大卫，Naama；Chan，Benjamin Y。；石，伊莱恩

重新审视分布式协议中不含糊的力量。 （英语） Zbl 07824298号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。450-459 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{N.Ben-David}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。450-459（2022；Zbl 07824298）
全文： 内政部
克里斯托弗·伦岑；损失，朱利安

具有签名的最佳时钟同步。 （英语） Zbl 07824297号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。440-449（2022年）。
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{C.Lenzen}和\textit{J.Loss}，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。440-449（2022；Zbl 07824297）
全文： 内政部 arXiv公司
刘夏林；沃伊切赫·戈拉布

简要声明：面向持久数据结构中的磨损均衡理论。 （英语） Zbl 07824267号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。220-223 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit｛X.Liu｝和\textit｛W.Golab｝，载于：第41届ACM分布式计算原理研讨会论文集，PODC'22，意大利萨莱诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。220-223（2022；Zbl 07824267）
全文： 内政部
奥姆里·卡哈隆；洪乐；Milenković，拉扎尔；谢·所罗门

无法看到森林中的树木：使用有界跳直径扳手导航度量空间。 （英语） 兹伯利07824260

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。151-162 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{O.Kahalon}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。151-162（2022；Zbl 07824260）
全文： 内政部 arXiv公司
卢西亚诺·弗雷塔斯；彼得·库兹涅佐夫；安德烈·通基克

简要声明：异步随机性和一致性，无需可信设置。 （英语） Zbl 07824254号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。103-105 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{L.Freitas}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。103-105（2022；Zbl 07824254）
全文： 内政部
赫尔曼·科佩兹；威尔弗里德·施泰纳

实时系统。分布式嵌入式应用程序的设计原则。第三版。 （英语） Zbl 1529.68004号

查姆：施普林格（ISBN 978-3-031-1991-0/hbk；978-3-0031-1994-1/pbk；978-1031-1992-7/电子书）。十六、406页。(2022).
MSC公司：68-01 64岁以下 68米15 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{H.Kopetz}和\textit{W.Steiner}，实时系统。分布式嵌入式应用程序的设计原则。第三版。查姆：斯普林格（2022；Zbl 1529.68004）
全文： 内政部
梅拉夫·帕特

最佳时间内的近似最优顶点容错扳手：顺序、分布式和并行。 （英语） Zbl 07774401号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。1080-1092 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Parter}，in：第54届ACM SIGACT计算理论研讨会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。1080--1092（2022；Zbl 07774401）
全文： 内政部 arXiv公司
穆罕默德·阿卜杜勒甘尼；索菲涅·塔哈尔

使用HOL定理证明对功能框图进行形式化。 （英语） Zbl 1528.68395号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 22-35 (2022).
MSC公司：68V20型 68米15 90秒25
PDF格式BibTeX公司 XML格式引用
\textit{M.Abdelghany}和\textit{S.Tahar}，莱克特。注释计算。科学。13768，22-35（2022；Zbl 1528.68395）
全文： 内政部
戴维·比洛；吉安洛伦佐·D’Angelo；卢西亚诺·瓜拉；斯特凡诺·卢奇；米尔科·罗西

耐断电临时扳手。 （英语） Zbl 07722890号

Erlebach，Thomas（编辑）等人，《无线网络算法》。第18届无线网络算法国际研讨会，ALGOSENSORS 2022，波茨坦，德国，2022年9月8日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13707, 31-44 (2022).
MSC公司：68米18 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Biló}等人，Lect。注释计算。科学。13707，31-44（2022；Zbl 07722890）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件