×

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

最新的 引文 关联
斯瓦提提瓦里;卡姆莱什·库马尔·亚达夫;帕拉尼科马尔，D。

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

Yadav、Satya Prakash（编辑）等人，《量子安全加密算法和方法》。量子计算对网络安全的影响。量子计算。柏林：De Gruyter。109-119 (2023).
MSC公司：81页68 68米15 60小时50分 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）
全文： 内政部
刘，于;Subotic，铺面;埃曼纽尔·莱蒂尔;谢尔盖·梅赫塔耶夫;阿比克·罗伊乔杜里

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

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

通过直接更换备件对处理器阵列进行可降级的自我重组。 （英语） 兹比尔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）
全文： 内政部
赫尔曼·科佩兹;威尔弗里德·施泰纳

实时系统。分布式嵌入式应用程序的设计原则。第三版。 （英语） 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）
全文： 内政部
穆罕默德·阿卜杜勒甘尼;索菲涅·塔哈尔

使用HOL定理证明的函数框图的形式化。 （英语） 兹比尔1528.68395

Lima，Lucas（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 22-35 (2022).
MSC公司：68V20型 68米15 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abdelghany}和\textit{S.Tahar}，莱克特。注释计算。科学。13768，22-35（2022；Zbl 1528.68395）
全文： 内政部
雅库布·斯利文斯基;冯兰岑，Yann;罗杰·瓦滕霍夫

按需达成共识。 （英语） Zbl 1522.68070号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 299-313 (2022).
MSC公司：64岁以下 68米15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Sliwinski}等人，莱克特。注释计算。科学。13751，299--313（2022；Zbl 1522.68070）
全文： 内政部 arXiv公司
罗马里亚·杜维格诺;米歇尔·雷纳尔;Elad M.席勒。

自我稳定的拜占庭容错重复可靠广播。 （英语） Zbl 1522.68064号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 206-221 (2022).
MSC公司：64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit｛R.Duvignau｝等人，Lect。注释计算。科学。13751、206-221（2022；Zbl 1522.68064）
全文： 内政部 链接
阿纳伊斯·杜兰德;米歇尔·雷纳尔;Taubenfeld，加迪

在存在争议的撞车事故时达成共识。 （英语） Zbl 1522.68063号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 193-205 (2022).
MSC公司：64岁以下 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand}等人，Lect。注释计算。科学。13751193-205（2022；Zbl 1522.68063）
全文： 内政部 哈尔
卡罗尔·德尔波特;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.Delport-Gallet}等人，Lect。注释计算。科学。13751，178--192（2022；Zbl 1522.68731）
全文： 内政部
薛英杰;莫里斯·赫利希

受邀论文：跨中国状态机复制。 （英语） Zbl 1522.68072号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 51-65 (2022).
MSC公司：64岁以下 68个M12 68米15 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{Y.Xue}和\textit{M.Herlihy}，莱克特。注释计算。科学。13751、51-65（2022年；Zbl 1522.68072）
全文： 内政部 arXiv公司
冯玲萱;罗顺龙

从稳定器状态到SIC-POVM基准状态。 （英语。俄文原件） Zbl 1519.81151号

西奥。数学。物理学。 213，第3期，1747-1761（2022）; 来自Teor的翻译。材料Fiz。213，第3期，505-522（2022）。
MSC公司：81页68 68米15 60G35型 第81页，共15页 46国集团10 35卢比
PDF格式BibTeX公司 XML格式引用
\textit{L.Feng}和\textit{S.Luo}，Theor。数学。物理学。213，第3号，1747年--1761年（2022年；Zbl 1519.81151年）；来自Teor的翻译。材料Fiz。213，编号3，505-522（2022）
全文： 内政部
Huda Chungpishit公司;朱列克·齐佐维奇;瑞安·基利克;埃文格洛斯·克拉纳基斯;丹尼·克里桑克

在有间谍在场的情况下，由定位软件机器人在线上实现最佳会合。 （英语） Zbl 1503.68275号

离散数学。算法应用。 14，第7号，文章ID 2250030，38 p.（2022）.
MSC公司：68T40型 64岁以下 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{H.Chuangpishit}等人，《离散数学》。算法应用。14，第7号，文章ID 2250030，38 p.（2022；Zbl 1503.68275）
全文： 内政部
柯斯汀·彼得斯;乌韦·内斯特曼;克里斯托夫·瓦格纳

容错多方会话类型。 （英语） Zbl 1499.68233号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 93-113 (2022).
MSC公司：68问题85 64岁以下 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}等人，Lect。注释计算。科学。13273，93-113（2022；Zbl 1499.68233）
全文： 内政部 arXiv公司
兰登·泰勒;张震

扩大网络对芯片路由算法的活锁验证。 （英语） Zbl 1498.68173号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 378-399 (2022).
MSC公司：第68季度第60季度 2007年7月68日 68米15
PDF格式BibTeX公司 XML格式引用
\textit{L.Taylor}和\textit{Z.Zhang}，Lect。注释计算。科学。13182，378--399（2022；Zbl 1498.68173）
全文： 内政部
米歇尔·雷纳尔

并发防撞共享内存系统。一些理论概念。 （英语） Zbl 1487.68006号

分布式计算理论综合讲座18.加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-63639-331-5/hbk；978-1-63659-329-2/pbk；978-1-63639-330-8/电子书）。xxiii，115页。(2022).
MSC公司：68-02 2007年7月68日 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{M.Raynal}，并发防撞共享内存系统。一些理论概念。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2022；Zbl 1487.68006）
全文： 内政部
阿尔维斯（Marcos V.S.Alves）。;拉斐尔·巴切洛斯。;Lilian K·卡瓦略。;乔昂·C·巴西利奥。

网络离散事件系统对DoS和欺骗攻击的鲁棒分散诊断能力。 （英语） Zbl 1483.68015号

非线性分析。，混合系统。 44，文章ID 101162，23 p.（2022）.
MSC公司：68M10个 68米15 65年第68季度 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{M.V.S.Alves}等人，《非线性分析》。，混合系统。44，文章ID 101162，第23页（2022；Zbl 1483.68015）
全文： 内政部
戴浩;傅双双;罗顺龙

通过特征函数检测魔法状态。 （英语） Zbl 1486.81059号

国际J.Theor。物理学。 61，第2号，第35号论文，第18页（2022年）.
MSC公司：81页68 68米15 81问题93 82D20型 第81页，共15页 41A58型 第81页，共16页 81页第45页 81卢比 第81页第40页
PDF格式BibTeX公司 XML格式引用
\textit{H.Dai}等人，国际期刊Theor。物理学。61，第2号，第35号论文，第18页（2022年；Zbl 1486.81059）
全文： 内政部
米拉德·巴赫里亚·科斯罗沙希;阿利雷扎·阿卜杜利;阿米尔·马苏德·拉赫曼尼

量子点细胞自动机中超高速容错全加法器单元的设计和功率分析。 （英语） Zbl 1486.81117号

国际J.Theor。物理学。 61，第2号，第23号论文，第19页（2022年）.
MSC公司：87年第81季度 81页68 68克80 68M10个 68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.B.Khosroshahy}等人，国际期刊Theor。物理学。61，第2号，第23号论文，第19页（2022年；Zbl 1486.81117）
全文： 内政部
朱雷克·齐佐维奇;康斯坦丁诺斯·乔治乌;埃文格洛斯·克拉纳基斯;丹尼·克里桑克;拉塔纳拉亚南;雅罗斯拉夫·奥帕特尼;Sunil Shende公司

拜占庭机器人在线上搜索。 （英语） Zbl 1522.68730号

发现的国际期刊。计算。科学。 32，第4号，369-387（2021）.
MSC公司：68宽15 64岁以下 68米15 65年第68季度 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{J.Czyzowicz}等人，国际期刊发现。计算。科学。32，编号4，369--387（2021；Zbl 1522.68730）
全文： 内政部
安德鲁·伯恩斯

用于有效稳定和弦覆盖网络。 （英语） Zbl 1521.68013号

Johnen，Colette（编辑）等人，《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会，SSS 2021，虚拟活动，2021年11月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13046, 258-272 (2021).
MSC公司：68M10个 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{A.Berns}，莱克特。注释计算。科学。13046、258--272（2021；Zbl 1521.68013）
全文： 内政部 arXiv公司
安德鲁·伯恩斯

自稳定覆盖网络通用框架的应用和含义。 （英语） Zbl 1521.68012号

Johnen，Colette（编辑）等人，《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会，SSS 2021，虚拟活动，2021年11月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13046, 243-257 (2021).
MSC公司：68M10个 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{A.Berns}，莱克特。注释计算。科学。13046、243-257（2021；Zbl 1521.68012）
全文： 内政部 arXiv公司
约塔姆·阿什肯纳齐;什洛米·多列夫;龟井静香;吉崎片山;福下大田;小一和田

自我稳定拜占庭容忍蜂群的位置功能。 （英语） Zbl 1521.68219号

Johnen，Colette（编辑）等人，《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会，SSS 2021，虚拟活动，2021年11月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13046, 229-242 (2021).
MSC公司：68T40型 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ashkenazi}等人，Lect。注释计算。科学。13046、229--242（2021；Zbl 1521.68219）
全文： 内政部
蒂莫西·阿尔布;戴维·弗雷;米歇尔·雷纳尔;弗朗索瓦州塔亚尼

在无声的搅动下，拜占庭容忍可靠的广播。 （英语） Zbl 1521.68017号

Johnen，Colette（编辑）等人，《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会，SSS 2021，虚拟活动，2021年11月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13046, 21-33 (2021).
MSC公司：64岁以下 68M10个 68米15
PDF格式BibTeX公司 XML格式引用
\textit{T.Albouy}等人，Lect。注释计算。科学。13046，21-33（2021；Zbl 1521.68017）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件