×

找到1070个文档(结果1-100)

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

查姆:施普林格(ISBN 978-3-031-1991-0/hbk;978-3-0031-1994-1/pbk;978-1031-1992-7/电子书)。十六、406页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Johnen,Colette(编辑)等人,《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会,SSS 2021,虚拟活动,2021年11月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13046, 258-272 (2021).
PDF格式BibTeX公司 XML格式引用

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

Johnen,Colette(编辑)等人,《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会,SSS 2021,虚拟活动,2021年11月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13046, 243-257 (2021).
PDF格式BibTeX公司 XML格式引用

在无声的搅动下,拜占庭容忍可靠的广播。 (英语) Zbl 1521.68017号

Johnen,Colette(编辑)等人,《分布式系统的稳定性、安全性和安全性》。第23届国际研讨会,SSS 2021,虚拟活动,2021年11月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13046, 21-33 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通信网络中的关键损坏分析。III:节间流分析。 (英语。俄文原件) Zbl 1483.94005号

J.计算。系统。科学。国际。 60,第4号,576-584(2021); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2021年,第4期,第74-83页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简要公告:ADD沟通模式中的领导者选举。 (英语) Zbl 1517.68056号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第22届国际研讨会,SSS 2020,美国德克萨斯州奥斯汀,2020年11月18-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12514, 229-234 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

提高拜占庭容错可靠通信的效率。 (英语) Zbl 1518.68022号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第22届国际研讨会,SSS 2020,美国德克萨斯州奥斯汀,2020年11月18-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12514, 29-44 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

容错弹塑性晶格材料。 (英语) Zbl 1464.74033号

MSC公司:74C05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过反例引导细化有效验证网络容错性。 (英语) Zbl 07805830号

Dillig,Isil(编辑)等人,《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。11562, 305-323 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多玩家多方位合作搜索游戏。 (英语) Zbl 07561639号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第146条,第14页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对移动拜占庭故障构建生成树的一种强稳定协议。 (英语) Zbl 07176672号

Censor-Hillel,Keren(编辑)等人,《结构信息和通信复杂性》。第26届国际学术讨论会,2019年7月1日至4日,意大利拉奎拉,SIROCCO 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11639, 353-356 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

析因设计中独立观察的秩和伪秩程序。使用R和SAS。 (英语) Zbl 1455.62001号

统计学中的斯普林格系列查姆:施普林格(ISBN 978-3-030-02912-8/hbk;978-3-0.30-02914-2/电子书)。第xx页,第521页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息技术系统基础。计算机网络性能分析的基本概率论,排队论的随机过程,信息论和循环冗余码,基本统计系统理论。(基础信息技术系统。元素是Wahrscheinlichkeitsrechnung mit Leistungsanalyse von Computernetzwerken,随机项目是Warteschlangenthorie,信息理论和zyklischer冗余代码,元素是统计系统理论。) (德语) Zbl 1419.68001号

信息技术领域亚琛:Shaker Verlag(ISBN 978-3-8440-6897-9/pbk)。第461页。(2019).
PDF格式BibTeX公司 XML格式引用

网络拓扑和容错共识。 (英语) Zbl 1415.68008号

分布式计算理论综合讲座16.加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(ISBN 978-1-68173-566-5/pbk;978-1-681 73-568-9/hbk;97 8-1-68173-567-2/电子书)。第二十二章,第129页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有局部边界拜占庭故障的动态网络中的可靠广播。 (英语) Zbl 1519.68007号

Izumi,Taisuke(编辑)等人,《分布式系统的稳定、安全和保障》。第20届国际研讨会,2018年SSS,日本东京,2018年11月4-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11201, 170-185 (2018).
MSC公司:68M10个 68米15
PDF格式BibTeX公司 XML格式引用

具有链路故障的网络拥塞博弈的一致混合均衡。 (英语) Zbl 1499.68029号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第146条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

替换路径的有效预言和路由方案。 (英语) 兹比尔1487.68051

Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第13条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定向动态网络中达成共识的最强消息对手。 (英语) Zbl 1517.68035号

Lotker,Zvi(编辑)等人,《结构信息和通信复杂性》。2018年6月18日至21日,第25届国际学术讨论会,2018年SIROCCO,以色列Ma'ale HaHamisha。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11085, 102-120 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件