×

找到617个文档(结果1–100)

τ函数的积分:圆舞τ函数和多重矩阵积分。 (英语。俄文原件) Zbl 1516.37103号

西奥。数学。物理学。 215,编号3,784-792(2023); 来自Teor的翻译。材料Fiz。215,第3期,377-387(2023年)。
MSC公司:37K20码 37K10型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Ndimnoc:实时D维NoC。 (英语) Zbl 07699454号

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

A(C^\infty)结束引理(在Asaoka和Irie之后)。(Un lemme de fermeture\(C^\infty)(阿育王和艾琳)。) (法语) Zbl 1502.37063号

塞米纳伊尔·布尔巴吉。2019/2021年第1期。1166-1180年博览会。1948/49年至2019/21年期间的平均姓名表。巴黎:法国数学协会(SMF)。Astérisque 430,55-92,Exp.No.1168(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

评估在嵌入式系统上实现的交通标志检测的深度学习算法。 (英语) Zbl 07392099号

Melin,Patricia(编辑)等人,基于软计算的混合智能系统的最新进展。查姆:斯普林格。螺柱计算。智力。915, 95-115 (2021).
MSC公司:68倍
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌入式系统设计。嵌入式系统是网络物理系统和物联网的基础。第4次更新和修订版。 (英语) Zbl 1457.68003号

嵌入式系统查姆:施普林格(ISBN 978-3-030-60909-2/hbk;978-3-0.30-60910-8/电子书)。xxii,433页。,开放存取(2021年)。
MSC公司:68-01 68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌入式系统的带神经逼近的快速非线性模型预测控制算法:初步结果。 (英语) Zbl 07828868号

Bartoszewicz,Andrzej(编辑)等人,《高级当代控制》。2020年10月14日至29日,波兰科托德第20届波兰控制会议(PCC 2020),KKA 2020会议记录。查姆:斯普林格。高级智能。系统。计算。1196, 1067-1078 (2020).
MSC公司:93至XX
PDF格式BibTeX公司 XML格式引用
全文: 内政部

流形上的自适应Haar型小波。 (英语。俄文原件) Zbl 1453.42033号

数学杂志。科学。,纽约 251,第6期,797-813(2020年); Probl的翻译。材料分析。107,23-37(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带储能的交直流电网安全约束动态最优潮流的多区域协调。 (英语) Zbl 1447.93132号

Bertsch,Valentin(编辑)等人,《能源系统优化进展》。第二届能源系统优化国际研讨会论文集,2018年10月10日至11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。数学趋势。,27-40 (2020).
MSC公司:93B70型 93甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

输电网中嵌入HVDC的安全性分析。 (英语) Zbl 1447.93131号

Bertsch,Valentin(编辑)等人,《能源系统优化进展》。第二届能源系统优化国际研讨会论文集,2018年10月10日至11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。数学趋势。,13-25 (2020).
MSC公司:93B70型 93甲15 93-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时NoC的基于时隙的传输协议–SBT-NoC。 (英语) Zbl 07559360号

Sophie Quinton(编辑),第31届欧洲微型实时系统会议,ECRTS 2019,德国斯图加特,2019年7月9日至12日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。133,第26条,第22页(2019年)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在高性能微控制器中实时实现的自动模型预测控制代码生成。 (英语) Zbl 1447.93094号

Derbel,Nabil(编辑)等人,《系统、自动化和控制》。根据2018年莱比锡国际多人会议上的演讲选择的论文。柏林:De Gruyter/Oldenbourg高级系统。信号设备9,25-40(2019)。
MSC公司:93B45码 93C83号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时序契约下互连嵌入式控制系统的验证和综合。 (英语) Zbl 07120156号

第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16日至18日。纽约州纽约市:计算机协会(ACM)。208-217 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证交换网络中流量流的弱硬实时特性。 (英语) Zbl 1497.68057号

Altmeyer,Sebastian(编辑),第30届实时系统欧洲微观会议,ECRTS 2018,2018年7月3日至6日,西班牙巴塞罗那。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。106,第15条,第22页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时序逻辑指定定时模式。 (英语) Zbl 1409.68175号

第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。167-176(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于FPGA的Kummer HECC架构级优化。 (英语) 兹比尔1429.94058

Patra,Arpita(编辑)等人,《密码学进展——INDOCRYPT 2017》。2017年12月10日至13日在印度钦奈举行的第18届印度密码学国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10698, 44-64 (2017).
MSC公司:94A60型 14G50型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

三状态马尔可夫信道的时延分析。 (英语) Zbl 1383.60093号

岳武义(主编)等,排队论与网络应用。2017年8月21日至23日,第十二届QTNA国际会议,中国秦皇岛。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-68519-9/pbk;978-3-319-68520-5/ebook)。计算机科学课堂讲稿10591101-117(2017)。
MSC公司:60K25码 68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个批量到达的服务器队列。 (英语) Zbl 1383.60091号

Rykov,Vladimir V.(编辑)等人,《概率论中的分析和计算方法》。2017年10月23日至27日在俄罗斯莫斯科举行的2017年ACMPT第一届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-71503-2/pbk;978-3-3169-71504-9/电子书)。计算机科学课堂讲稿10684,97-108(2017)。
MSC公司:60K25码 68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有两个异构服务器的K容量排队系统分析。 (英语) Zbl 1383.60082号

Rykov,Vladimir V.(编辑)等人,《概率论中的分析和计算方法》。2017年10月23日至27日在俄罗斯莫斯科举行的2017年ACMPT第一届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-71503-2/pbk;978-3-3169-71504-9/电子书)。计算机科学课堂讲稿10684,23-30(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Simulink/Stateflow图的正式验证。演绎法。 (英语) Zbl 1412.68006号

查姆:施普林格(ISBN 978-3-319-47014-6/hbk;978-3-316-47016-0/电子书)。第十五章,258页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将系统键入为宏。 (英语) Zbl 1380.68081号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。694-705 (2017).
MSC公司:68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时合同下嵌入式控制器的调度。 (英语) Zbl 1369.93359号

2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

传记参考

全部的 前3名

软件