OASIcs，第98卷
下一代实时嵌入式系统第三次研讨会（NG-RES 2022）
-
部分： 系列： 信息学开放存取系列（OASIcs）
会议： 下一代实时嵌入式系统（NG-RES）研讨会
出版物详细信息
发布时间：2022-06-11 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-95977-221-1 DBLP： db/conf/hipeac/ngres2022
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
OASIcs，第98卷，NG-RES 2022，完整卷
摘要
引用为
@会议记录{bertogna_et_al:OASIcs.NG-RES.2022， title={{OASIcs，第98卷，NG-RES 2022，完整卷}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页数={1--58}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份＝{2022}， 体积={98}， editor={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2022 }, URN={URN:nbn:de:0030-drops-161070}， doi={10.4230/OASIcs.NG-RES.2022}， annote={关键词：OASIcs，第98卷，NG-RES 2022，完整卷} }
封面、目录、前言、会议组织
摘要
引用为
@会议记录{bertogna_et_al:OASIcs.NG-RES.2022.0， author={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， title={{正文，目录，前言，会议组织}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页面={0:i--0:x}， series＝{信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份={2022}， 体积={98}， editor={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2022.0 }, URN={URN:nbn:de:0030-drops-161082}， doi={10.4230/OASIcs.NG-RES.2022.0}， 注释={关键词：前言、目录、前言、会议组织} }
我们能信任AI驱动的实时嵌入式系统吗？ （特邀论文）
摘要
引用为
@会议记录{buttazzo:OASIcs.NG-RES.2022.1， author={Buttazzo，Giorgio}， title={{我们能信任AI驱动的实时嵌入式系统吗？}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页数={1:1--1:14}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份={2022}， 体积={98}， editor={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2022.1 }, URN={URN:nbn:de:0030-drops-161099}， doi={10.4230/OASIcs.NG-RES.2022.1}， annote={关键词：实时系统、异构架构、值得信赖的AI、虚拟机监控程序、深度学习、对抗性攻击、FPGA加速、混合临界系统} }
使用强制FSM对MPSoC的非功能属性进行多要求强制——一个案例研究
摘要
引用为
@会议记录{esper_et_al:OASIcs.NG-RES.2022.2， author={Esper、Khalil和Wildermann、Stefan和Teich，J“ {u} rgen公司 }, title={{使用强制FSM对MPSoC上非功能属性的多要求强制-案例研究}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页数={2:1--2:13}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份={2022}， 体积＝{98}， editor＝{贝尔托尼亚，马尔科和特拉尼奥，费德里科和雷根扎尼，费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/OASIcs.NG-RES.2022.2 }, URN={URN:nbn:de:0030-drops-161102}， doi={10.4230/OASIcs.NG-RES.2022.2}， annote={关键词：运行时需求执行、验证、有限状态机、马尔可夫链、能耗、概率模型检查、PCTL、MPSoC} }
重叠地平线MPC：实时预测控制中计算约束的新方法
摘要
引用为
@在诉讼程序{leva_et_al:OASIcs.NG-RES.202.3， 作者={莱瓦、阿尔贝托和福门汀、西蒙和塞瓦、西尔瓦诺}， title={{重叠地平线MPC:实时预测控制中计算约束的一种新方法}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页数={3:1--3:10}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份={2022}， 体积={98}， editor={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.202.23 }, URN={URN:nbn:de:0030-drops-161118}， doi={10.4230/OASIcs.NG-RES.2022.3}， annote={关键词：实时控制，模型预测控制} }
提前实时（ART）：一种静态减少最坏情况执行时间的方法
摘要
引用为
@在诉讼程序{cattaneo_et_al:OASIcs.NG-RES.202.4， 作者={Cattaneo、Daniele和Magnani、Gabriele和Cherubin、Stefano和Agosta、Giovanni}， title={{Ahead-Of-Real-Time（ART）：静态减少最坏情况执行时间的方法}}， booktitle={下一代实时嵌入式系统第三次研讨会（NG-RES 2022）}， 页数={4:1--4:10}， series={信息学开放存取系列（OASIcs）}， 国际标准图书编号={978-3-95977-221-1}， ISSN={2190-6807}， 年份={2022}， 体积={98}， editor={贝托尼亚、马尔科和特拉尼奥、费德里科和雷根扎尼、费德里科}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2022.4 }, URN={URN:nbn:de:0030-drops-161120}， doi={10.4230/OASIcs.NG-RES.2022.4}， annote={关键词：近似计算、精度调整、最坏情况执行时间} }