×

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

在双方随机审查的信息模型中,使用参数方法估计分布函数。 (英语) Zbl 07823956号

Dudin,Alexander(编辑)等人,《信息技术与数学建模》。排队理论与应用。第21届国际会议,ITMM 2022,乌兹别克斯坦卡什,2022年10月25-29日。修改选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1803, 225-237 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有服务器中断和重试的库存模型的显式解。 (英语) Zbl 07823950号

Dudin,Alexander(编辑)等人,《信息技术与数学建模》。排队理论与应用。第21届国际会议,ITMM 2022,乌兹别克斯坦卡什,2022年10月25-29日。修改选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1803, 149-161 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于排队网络的单线铁路网路段建模。 (英语) 兹伯利07823941

Dudin,Alexander(编辑)等人,《信息技术与数学建模》。排队理论与应用。第21届国际会议,ITMM 2022,乌兹别克斯坦卡什,2022年10月25-29日。修改选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1803, 40-54 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Trivium硬件实现的高阶屏蔽方案。 (英语) Zbl 07730529号

邓毅(编辑)等,《信息安全与密码学》。2022年12月11日至13日,第18届国际会议,Inscrypt 2022,中国北京。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13837, 337-356 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性自稳定领导者选举算法的最优空间下界。 (英语) Zbl 07832765号

Bramas,Quentin(ed.)等人,第25届分布式系统原理国际会议,OPODIS 2021,法国斯特拉斯堡,2021年12月13日至15日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217,第24条,第12页(2022年)。
PDF格式BibTeX公司 XML格式引用

加权顶点覆盖和匹配的分布式CONGEST近似。 (英语) Zbl 07832758号

Bramas,Quentin(ed.)等人,第25届分布式系统原理国际会议,OPODIS 2021,法国斯特拉斯堡,2021年12月13日至15日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217,第17条,第20页(2022年)。
PDF格式BibTeX公司 XML格式引用

除了分布式子图检测:诱导子图、多色问题和图参数。 (英语) Zbl 07832756号

Bramas,Quentin(ed.)等人,第25届分布式系统原理国际会议,OPODIS 2021,法国斯特拉斯堡,2021年12月13日至15日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217,第15条,第18页(2022年)。
PDF格式BibTeX公司 XML格式引用

检查计划导致的违反控制安全属性的情况。 (英语) 兹比尔1522.68352

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 100-116 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实现具有日志分段时间戳的顺序关系查询语言。 (英语) Zbl 07744957号

Combi,Carlo(编辑)等人,第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。206,第14条,第13页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

控制系统的稳定性和性能分析,以应对突发的截止期失误。 (英语) 兹比尔07699464

Brandenburg,Björn B.(编辑),第33届实时系统欧洲微观会议,ECRTS 2021,虚拟会议,2021年7月5日至9日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。196,第15条,第23页(2021年)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分组交换网络中的死锁。 (英语) Zbl 1496.68043号

Hojjat,Hossein(编辑)等人,《软件工程基础》,第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12818, 127-141 (2021).
PDF格式BibTeX公司 XML格式引用

通过测量利用率控制服务器速度来排队响应时间。 (英语) Zbl 1491.68033号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 295-309 (2021).
MSC公司:68平方米 60K25码
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂工作流响应时间分布的合成安全近似。 (英语) Zbl 1491.68119号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 83-104 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查实时任务可调度性中的聚光灯抽象。 (英语) Zbl 1490.68135号

Laarman,Alfons(编辑)等人,《模型检查软件》。第27届国际研讨会,SPIN 2021,虚拟活动,2021年7月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12864, 63-80 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用隐马尔可夫模型估计分层系统的参数。 (英语。乌克兰原文) Zbl 1517.60086号

赛博。系统。分析。 57,第5号,730-739(2021); 翻译自Kibern。修女。分析。57,第5期,72-83(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于四阶段排队系统的铁路编组站仿真。 (英语) 兹比尔1470.60266

Dudin,Alexander(编辑)等人,《信息技术与数学建模》。排队理论与应用。第19届国际会议,ITMM 2020,以俄罗斯托木斯克A.F.Terpugov命名,2020年12月2-5日。修改选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1391, 143-154 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据答案集编程规范合成命令代码。 (英语) Zbl 1502.68075号

Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042, 75-89 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

它有时可以工作:一种用于修复随机过程代数模型的提升算法。 (英语) Zbl 1484.68038号

Hermanns,Holger(编辑),计算系统的测量、建模和评估。2020年3月16日至18日,德国萨尔布吕肯,第20届国际GI/ITG会议,MMB 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12040, 190-207 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

虚拟现实流媒体模型的性能分析。 (英语) Zbl 1484.68034号

Hermanns,Holger(编辑),计算系统的测量、建模和评估。第20届国际GI/ITG会议,MMB 2020,德国萨尔布吕肯,2020年3月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12040, 1-18 (2020).
MSC公司:68平方米 68T05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有多阈值的M/M/1休假队列:流体分析。 (英语) Zbl 1483.68041号

Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12289, 148-152 (2020).
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AODV的概率模型检验。 (英语) Zbl 1483.68037号

Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12289, 54-73 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间值直觉模糊评价用于学生知识分析。 (英语) Zbl 07392047号

Castillo,Oscar(编辑)等人,《神经和优化算法中的直觉和2型模糊逻辑增强:理论和应用》。查姆:斯普林格。螺柱计算。智力。862, 75-82 (2020).
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件