2020年第23届DSD:斯洛文尼亚克兰治
-
第23届欧洲微观数字系统设计会议,DSD 2020,斯洛文尼亚克兰治,2020年8月26-28日。 电气与电子工程师协会 2020 ,国际标准图书编号 978-1-7281-9535-3
DSD: 数字系统设计
安德烈·泽姆瓦 , 安德烈·特罗斯特 :
项目主席致辞。 二十三至二十四 奥马尔·拉菲克 , 克劳斯·施耐德 :
SHeD:异构数据流过程网络的自动软件合成框架。 1-10 安德烈·斯卡拉巴 :
总主席致辞。 1-2 斯特芬·泽德尔 , 奥利弗·施罗德 , Anselm Breitenreiter公司 , 尔斯蒂奇 :
用于非连续运行时钟的无闪烁时钟多路复用器。 11-15 阿姆纳·加尔比 , 安德烈亚·恩里奇 , Bogdan Uscumlic公司 , 卢多维克·阿普维尔 , 雷诺德·帕卡莱特 :
高效准确地探索异构和多总线平台的设计空间。 16-23 米特科·贝莱斯基 , 迈克尔·Hübner , 尔斯蒂奇 , 罗尔夫·克莱默 :
自适应低功耗和容错系统芯片的高度可配置框架。 24-28 吉安卢卡·马蒂诺 , 海因茨-里纳 , 戈尔施温·费伊 :
重温精确合成的显式枚举。 29-34 迈克尔·沃纳 , 伊格利·泽拉利乌 , 赵涵 , 塞巴斯蒂安·齐格弗里德·普雷贝克 , 洛伦佐·塞瓦迪 , 沃尔夫冈·埃克尔 :
从抽象寄存器接口模型优化硬件/固件生成。 35-39 乔治·克雷洛夫 , Jean-Philippe Legault律师事务所 , 肯尼思·肯特 :
VTR中乘法器的硬逻辑和软逻辑权衡。 40-43 希马·侯赛因扎德 , 梅赫达德·比格拉里 , 迪特马尔·费伊 :
TReMo:一种具有可调写验证功能的基于三值ReRAM的内存模型。 44-48 卢卡斯·凯凯利 , 雅库布阴谋集团 , 维克多猫 , 扬·科伦克 :
多总线:FPGA中数据总线宽度缩放的理论和实践考虑。 49-56 马泰奥·贝尔托利诺 , 雷诺德·帕卡莱特 , 卢多维克·阿普维尔 , 安德烈亚·恩里奇 :
云数据中心基础设施FPGA的高效调度。 57-64 埃米莉安·福尼尔 , 西普里安·特奥多罗夫 , 洛伊克·拉加德克 :
Menhir:通用高速FPGA模型检查器。 65-72 豪尔赫·安德烈斯·帕拉西奥斯 , 文森佐·卡罗 , 米盖尔·杜兰 , 米盖尔·菲格罗亚 :
FPGA上具有色度保持功能的多尺度Retinex硬件架构。 73-80 亨贝托·卡瓦略 , 杰弗里·内里森 , 帕维尔·扎科夫 :
mcQEMU:使用QEMU对多核平台进行时间准确模拟。 81-88 戈蒂尔·伯寿 , 凯文·马奎特 , Tanguy Risset公司 , 纪尧姆·萨拉格纳克 :
瞬时供电系统基于MPU的增量检查点。 89-96 托马斯·贝内斯 , 米查尔·凯凯利 , 卡雷尔·海内克 , 托马斯·塞卡 :
流水线ALU,用于FPGA中有效的外部内存访问。 97-100 Eishi Arima公司 :
通过分区受害者地址历史记录进行基于分类的统一缓存替换。 101-108 托马斯·费梅尔 , 越南湾 , 多米尼克·斯托菲尔 , 沃尔夫冈·昆兹 :
用于建模不受信任的嵌入式设备驱动程序的自动状态空间分析。 109-116 维托里亚诺·穆蒂略 , 贾科莫·瓦伦特 , 路易吉·波曼特 , 赫克托·波萨达斯 , 哈维尔·梅里诺 , 尤金尼奥·维拉尔 :
基于组件的嵌入式系统设计流的运行时监控和跟踪分析方法。 117-125 马泰奥·贝托卢奇 , 弗朗西斯科·法拉斯基 , 里卡多·卡塞塔里 , 丹尼尔·达瓦莱 , 卢卡·法努奇 :
CCSDS 131.2-B-1扩展ModCod(SCCC-X)实现的综合权衡分析。 126-132 斯维特拉娜·米纳科娃 , 托多尔·斯特凡诺夫 :
移动和嵌入式设备上内存高效CNN推断的缓冲区大小减少。 133-140 哈维尔·索托 , 保罗·乌比斯 , 塞西莉亚·埃尔南德斯 , 米盖尔·菲格罗亚 :
使用top-k最频繁元素进行熵估计的硬件加速器。 141-148 弗里乔夫·施泰纳 , 尼古拉斯·谢尔滕 , 安东·舒尔特 , 本诺·斯塔贝纳克 :
将网络连接加速器集成到数据中心的硬件和软件组件。 149-153 凯·莱尼格尔 , 马钦·阿夫托维茨(Marcin J.Aftowicz) , 彼得·兰根德 , 佐亚·戴卡 :
Xtensa硬件体系结构上面向返回编程的挑战。 154-158 西蒙·克里帕 , 朱塞佩·马萨里 , 费德里科·雷根扎尼 , 米歇尔·扎内拉 , 威廉·福纳西亚里 :
能量受限嵌入式系统中的预测资源管理。 159-166 阿梅德 , 伯克·阿兰乔格鲁 , 伊尔克·哈姆佐格鲁 :
H.264和HEVC运动估计近似电路的比较。 167-173 乔丹·洛兰德尔 , 哈比巴·拉赫迪里 , Emmanuelle布尔德尔 , Salvatore Monteleone公司 , 毛里齐奥·帕莱西 :
基于NoC的深度神经网络加速器的高效压缩技术。 174-179 朱利奥·斯特拉蒙多 , Manil Dev Gomony公司 , Bartek Kozicki先生 , 塞斯·德拉特 , 安娜·露西娅·瓦班斯库 :
μ-Genie:内存-软件空间处理器体系结构协同设计探索框架。 180-184
美国心脏协会: 安全应用程序的体系结构和硬件
马克西姆·蒙托亚 , 西蒙·巴克斯-敏 , 安卡·莫尔诺斯 , 雅克·福尼尔 :
动态编码,针对硬件攻击的轻量级组合对策。 185-192 彼得·索查 , 马丁·诺沃顿 :
走向多形旁道对抗措施的高级综合。 193-199 约翰内斯·温克勒 , 安德烈亚·霍勒 , 克里斯蒂安·斯特格 :
为有限的内存资源优化野餐。 200-204 菲利普·科德克 , 洛贝特·洛伦茨 , 基里·布切克 :
在FPGA上比较三种基于计数器值的ROPUF。 205-212 阿梅尔·沙拉比 , 塔拉·加森波里 , 皮特·埃勒维 , Jaan Raik公司 :
SCAAT:安全缓存替代地址表,用于缓解缓存逻辑副通道攻击。 213-217 Lampros Pyrgas公司 , 阿里基·帕纳吉塔罗 , 巴黎基特索 :
没有组合循环的环形振荡器是否足以检测硬件特洛伊木马? 218-221 艾蒂安·特赫拉尼 , 塔里克·格拉巴 , 阿卜杜勒马利克·西·莫拉贝特 , Jean-Luc危险 :
轻量级加密的RISC-V扩展。 222-228 多里安·阿米特 , 卢卡斯·伦伯格 , 安德烈亚斯·库里格 , 保罗·兹宾登 :
基于FPGA的SPHINS + 实现:小心故障。 229-237 德米特罗·佩特里克 , 佐亚·戴卡 , 爱德华多·佩雷斯 , Mamathamba Kalishetthalli Mahadeviaha(马马坦巴·卡利舍蒂哈利·马哈德瓦亚哈) , 伊夫根·卡宾 , 克里斯蒂安·温格 , 彼得·兰根德 :
RRAM单元对光学故障注入攻击的敏感性评估。 238-245 奥利维尔·萨弗里 , 穆斯塔法·埃尔·马吉希 , 托马斯·希斯科克 :
机密:使用指令和数据身份验证加密控制流量保护。 246-253 米拉德·巴哈多里 , 基姆·Järvinen :
用于隐私增强技术的DGK加密系统的可编程SoC实现。 254-261 阿里什·萨提桑 , 乔·弗利根 , 琼·戴门 , 内尔·曼滕斯 :
用于超高速网络安全应用的新型Bloom过滤器算法和架构。 262-269 伊夫根·卡宾 , 佐亚·戴卡 , 丹·克莱恩 , 内尔·曼滕斯 , Lejla Batina公司 , 彼得·兰根德 :
打破在Weierstrass椭圆曲线上实现完全加法公式的完全平衡ASIC协处理器。 270-276 马里奥斯·沙沃斯 , 尼古拉斯·斯科拉沃斯 , George博士Alexiou :
基于可重构逻辑的FPGA平台轻量级安全数据流。 277-280 彼得·穆查 , 斯坦尼斯拉夫·杰拉贝克 , 马丁·诺沃顿 :
一种新型的虚拟轮次DPA对抗控制器。 281-284
ASHWPA公司: 医疗、健康和个人援助方面的先进系统
毛里齐奥·蒙盖利 , 瓦妮莎·奥拉尼 , 恩里科·坎比亚索 , 伊万·瓦卡里 , 阿莱西亚·帕利亚隆加 , 富尔维奥·布雷多 , 奇亚拉·伊娃·卡塔拉诺 :
物联网和人工智能在气象学中的挑战和机遇。 285-292 埃马努埃勒·托尔蒂 , 克里斯蒂娜·达马托 , 乔瓦尼·达内斯 , 弗朗西斯科·莱波拉蒂 :
可穿戴设备的硬件递归神经网络。 293-300 Konstantinos Nomikos公司 , 阿萨纳西奥斯·帕帕迪米特里奥 , 乔治·斯特吉奥普洛斯 , 迪米特里斯·库特拉斯 , 米哈利斯·普萨拉基斯 , Panayiotis Kotzanikolaou公司 :
医疗物联网设备面向安全的设计框架:硬件安全视角。 301-308 安东尼奥·德维塔 , 丹尼洛·鲍 , 路易吉·迪·贝内代托 , 阿尔弗雷多·鲁比诺 , 弗雷德里克·佩特洛特 , 吉安·多梅尼科·利奇亚多 :
低功耗微型二元神经网络在人类识别系统中具有更高的准确性。 309-315 何塞·马查多·达席尔瓦 , 伊利亚·塞罗内 , 丹尼尔·马拉贡 , 豪尔赫·马里尼奥 , 斯蒂芬·蒙迪 , 乔·加斯帕 , 约阿金·加布里埃尔·门德斯 :
一种用于恢复牙齿本体敏感性的活性植入物。 316-319 克里斯蒂安·扎伊克 , 杰拉尔德·霍尔威格 , 克里斯蒂安·斯特格 :
基于智能手机的护理点设备的系统架构和安全问题。 320-324
DCPS: 网络物理系统设计
安蒂·劳塔库拉 , 马蒂·卡耶拉 , 蒂莫·哈梅内恩 , 沃尔夫冈·埃克尔 , 埃斯科·佩卡林 , 米科·特霍 :
Kamel:IP生成的IP-XACT兼容中间元模型。 325-331 东宁马 , 荀郊 :
AxBy:数据密集型应用的近似计算旁路。 332-339 T.戈库兰 , 阿克谢·穆拉莱德哈兰 , 库鲁维拉·瓦尔盖塞 :
基于FPGA的32位双流水线超标量RISC-V处理器的设计。 340-343
EPDSD公司: 欧洲数字系统设计项目
伊鲁恩·阿吉雷 , 佩奥·奥奈迪亚 , 番茄杂烩 , Irune Yarza公司 , 弗朗西斯科·卡佐拉 , 列奥尼达斯·科斯米迪斯 , 金·格里特纳 , 穆罕默德·阿布泰尔 , 简·洛伊 , 胡安·奥尔贝戈佐 , 斯蒂芬妮娅·博塔 :
更新日期:高性能混合临界系统上安全可靠的空中软件更新。 344-351 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 352-359 诺伯特·德拉姆 , 比约恩·德巴利 , 安德烈·安格尔 , 尼古拉·卡塔琳·里斯特亚 , 乔纳斯·福克斯 , 阿南德·杜比 , 托尔斯滕·雷(Torsten Reißland) , 麦克·哈特斯特姆 , 维克多机架 , 安娜·瑞博康 , 卡斯帕斯·奥佐尔斯 , 里哈德·诺维基斯 , Aleksandrs Levinskis公司 , 奥马尔·维利达尔 , 乔治·马赫 , 约翰内斯·贾尼·路易格(Johannes Jany-Luig) , 塞利姆·索尔马兹 , Jakob Reckenzaun公司 , 纳维恩·莫汉 , 沙伊·奥菲尔 , 乔治·斯特廷格 , 塞尔吉奥·迪亚兹 , 毛里西奥·马卡诺 , 豪尔赫·维拉格拉 , 安德烈亚·卡斯特拉诺 , 罗格尔·比凯拉 , 法比奥探戈 , 贾诺·凡恩 , 卡尔·霍尔马 , 奥古斯·伊科格鲁 , 乔治·迪米特拉科普洛斯 :
汽车智能可编程系统(PRYSTINE):第二年后的技术进步。 360-369 卡莱斯·埃尔南德斯 , 何塞·弗利奇 , 罗贝托·巴瑞德斯 , 查尔斯·阿莱克西斯·列斐伏尔 , 伊马诺·阿连德 , 杰姆·阿贝拉 , 大卫·特里林 , 马丁·马施尼格 , 伯恩哈德·菲舍尔 , 康拉德·施瓦兹 , 扬·基斯卡 , 马丁·伦巴克 , 约翰·克罗卡斯 , 尼古拉斯 , 弗兰兹·拉姆斯托弗 , 克里斯蒂安·施瓦兹 , 弗兰克·沃特尔 , 迪尔克·吕德曼 , 米凯尔·拉巴恩 :
SELENE:高性能安全关键系统的自我监控可靠平台。 370-377 路易吉·波曼特 , 弗朗西丝卡·帕伦博 , 克劳迪娅·里纳尔迪 , 贾科莫·瓦伦特 , 卡洛·绍 , 蒂齐亚娜·范尼 , 弗兰克·范德林登 , 特万·巴斯滕 , 马克·盖伦 , 杰伦·佩伦 , 杰里·卡德莱克 , 佩卡·Jääskeläinen , 马科斯·马丁内斯·德亚历杭德罗 , 朱卡·萨里宁 , 特罗·桑蒂 , 玛丽亚·卡蒂乌西亚·泽达 , 维克托·桑切斯 , Dip戈斯瓦米 , 扎伊德·阿尔阿尔斯 , 啤酒广告 :
CPS内图像处理管道的设计和管理:具有2年的FitOptiVis ECSEL项目经验。 378-385 尼古拉斯·斯科拉沃斯 , 西蒙娜·弗朗西斯 :
法医科学证据的多模式成像:多功能项目。 386-392 艾泽·洛霍 , 莱尔·鲁比奥 , 耶稣Miguel Ruano , 塔尼娅·迪·马斯西奥 , 路易吉·波曼特 , Enrico Ferrari公司 , 伊格纳西奥·加奇是织女星 , 弗兰克·吉尔凯纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 杰姆·阿贝拉 :
ECSEL分形项目:基于独特的开放安全可靠低功耗硬件平台的认知分形和安全边缘。 393-400
FTET(英尺/小时): 新兴技术的未来趋势
菲利普·尼曼 , 亚历山大·阿·德·阿尔梅达 , 格哈德·杜克 , 罗尔夫·德雷克斯勒 :
可逆电路到IBM量子计算机映射中的设计空间探索。 401-407 翁贝托·加兰多 , 马塞尔·沃尔特 , 罗伯特·威利 , 法布里奇奥·里恩特 , 弗兰克·希尔·托雷斯 , 罗尔夫·德雷克斯勒 :
ToPoliNano和虚构:场耦合纳米计算的设计工具。 408-415 罗萨利娅·阿米罗娃 , 弗拉基米尔·伊万诺夫 , 谢尔盖·马斯亚金 , 阿尔多·斯帕隆 , 吉安卡洛·苏奇 :
使用便携式设备的脑电图数据分析程序员心理活动的工具的初步发现。 416-419 L.E.佩德拉扎·卡巴列罗 , 米歇尔·波维内利 , 乔纳坦·拉米雷斯 , 保罗·吉马朗斯 , 奥马尔·维莱拉·内托 :
紧凑型集成光子晶体NAND和NOR逻辑门的设计。 420-427 马丁·卢卡奇 , 萨达特·努尔苏坦 , 乔治·克雷洛夫 , 奥利弗·凯泽泽 :
量子和可逆电路的几何重构:量子布局。 428-435 拉斐尔·蓬萨德 , 尼古拉斯·贾维尔 , 多米尼克·胡泽特 , 文森特·弗里斯托 , 瓦西姆·曼苏尔 :
使用Softcore控制的自适应DMA对2D检测器进行在线GPU分析。 436-439
尽快: 汽车、航空、航天和智能运输的架构和系统
艾哈迈德·阿姆拉尼 , 哈基姆·阿雷兹基 , 大卫·莱卢切 , 费雯·加佐 , 科琳·菲洛尔 , 乌萨马·阿拉利 , 托马斯·拉克鲁斯 :
基于实际和预测数据的混合模型的公共交通监管系统架构。 440-446 约瑟夫·斯坦贝克 , 克里斯蒂安·斯特格 , 尤根·布伦纳 , 诺伯特·德鲁姆 :
一种用于多传感器感知系统的混合时间戳方法。 447-454 菲利普·韦伯 , 菲利普·韦斯 , 多米尼克·莱因哈特 , 塞巴斯蒂安·斯坦霍斯特 :
混合云架构中汽车系统的能量优化弹性应用分配。 455-462 安德烈亚斯·斯特拉瑟 , 菲利普·斯特泽尔 , 菲利克斯·沃默 , 克里斯蒂安·斯特格 , 诺伯特·德拉姆 :
启用安全关键型汽车3D Flash LiDAR系统的故障操作行为和降级。 463-468 伊夫吉尼亚·马克西莫娃 , 菲利普·格雷纳 , 克里斯蒂安·斯泰格 , 莱昂哈德·克里斯蒂安·尼德穆勒 , 诺伯特·德鲁姆 :
适用于可靠汽车驾驶辅助应用的自适应MEMS后视镜控制。 469-475 约格·格里瑟 , 孟张(Meng Zhang) , 蒂姆·沃内克 , 安德烈亚斯·劳什 :
通过运行时监控确保基于端到端学习的自动驾驶安全。 476-483 马可·安杰尔科维奇 , 阿列克桑达尔·西蒙夫斯基 , 陈俊超 , 奥利弗·施罗德 , 佐兰·斯塔门科维奇 , 尔斯蒂奇 , 斯特凡·D·伊利奇 , 卢卡西班牙 , 拉扎·科斯蒂奇 , 戈兰·S·里斯蒂克 , 亚历克桑达尔·雅克西奇 , 阿尔贝托·J·帕尔马 , 安东尼奥·拉莱纳 , 米盖尔·安吉尔·卡瓦贾 :
空间应用辐射加固RADFET读出系统的设计。 484-488
SDCIS公司: 智能系统协作的系统设计
马哈茂德·侯赛因 , 雷达·努瓦塞 , 亚辛·乌哈穆 , 尤金尼奥·维拉尔 , 费德里科·科拉迪 , 卡洛·蒂埃里 , 罗德里戈·卡斯蒂涅拉 :
无人机的关键使能技术。 489-496 Gerd vom Bögel公司 , 琳达表妹 , 尼古拉·艾弗森 , Emad塞缪尔·马尔基·埃贝德 , 安德烈亚斯·海宁 :
具有充电功能的架空电力线检查用无人机。 497-502 奥斯卡·鲍文·斯科菲尔德 , 卡斯珀·洛伦岑 , 埃马德·埃贝德 :
云到电缆:用于自动电力线检查的无人机框架。 503-509
AMDL: 机器和深度学习的应用程序、架构、方法和工具
爱德华多·亚戈 , 保·卡斯特洛 , 萨尔瓦多·佩蒂 , 玛丽亚·恩格拉西亚·戈麦斯 , 朱利奥·萨胡基略 :
阵列形状和存储带宽对CNN收缩阵列执行时间的影响。 510-517 罗尔夫·德雷克斯勒 , 塞巴斯蒂安·胡恩 , 克里斯蒂娜·普拉普 :
结合机器学习和形式化技术用于小数据应用-探索新结构材料的框架。 518-525 哈比巴·拉赫迪里 , 毛里齐奥·帕莱西 , Salvatore Monteleone公司 , 大卫·帕蒂 , 朱塞佩·阿西娅 , 乔丹·洛兰德尔 , 艾曼纽尔·伯德尔 , 文森佐·卡塔尼亚 :
DNNZip:深度神经网络加速器中的选择性层压缩技术。 526-533 阿卜杜斯·萨米·哈桑 , 香椿 , Jeong-A Lee先生 :
通过在线算法的灵敏度控制近似减少DNN推断中的数据足迹。 534-541 Pierre-Emmanuel Novac公司 , 安德烈亚·卡斯特罗蒂 , 阿德里安·拉索 , 贝诺·特·米拉蒙德 , 阿兰·佩加托克 , 弗朗索瓦·威尔第 :
在微控制器单元上实现无监督的人类活动识别。 542-550 Konrad Komisarczyk公司 , 洛伦佐·切里尼 , 卡尼什坎·瓦迪维尔 , 罗尔·乔丹斯 , Henk下士 :
PET-to-MLIR:MLIR的多面体前端。 551-556 雅各布·Höxbroe Jeppesen , 鲁恩·海尔斯贝格·雅各布森 , 拉斯穆斯·尼霍尔姆·约根森 :
基于多时相Sentinel-1数据机器学习的作物类型分类。 557-564 米凯尔·埃特克塞贝里亚·加西亚(Mikel Etxeberria-Garcia) , 费尔南多·埃扎奎尔 , 乔安斯·普拉扎奥拉 , 乌奈·穆尼奥斯 , 梅德尔·扎马洛亚 :
铁路领域应用深度神经网络的嵌入式目标检测。 565-569
SPCPS标准: 网络物理系统的安全和隐私
蒂姆·弗里茨曼 , 乔纳斯·维特 , 约翰娜·塞普尔夫达 :
加强汽车系统的后量子安全。 570-576 沃尔特·蒂贝蒂 , 阿莱西奥·卡梅尼尼 , 路易吉·波曼特 , 达贾娜·卡西奥利 :
无线传感器网络中基于轻量级区块链的反采样技术。 577-582 托比亚斯·盖尔曼 , 保罗·杜普利斯 :
SOME/IP的入侵检测:挑战与机遇。 583-587 路易吉·波曼特 , 马可·普格利泽 , 卢西亚诺·博齐 , 沃尔特·蒂贝蒂 , D.格里马尼 , 福图纳托·桑图奇 :
SEAMLESS项目:为IEEE 802.15.4 WSN应用程序开发执行安全平台。 588-595 托拜厄斯·多尔 , 蒂莫·桑德曼 , 尤根·贝克尔 :
基于MPSoC的嵌入式系统中访问保护单元自动配置的形式化模型。 596-603 穆罕默德·乌萨马·萨达尔 , 做Le Quoc , 克里斯托夫·费泽尔 :
Intel SGX中基于增强隐私ID(EPID)的远程认证的形式化。 604-607
DTFT公司: 数字系统中的可靠性、测试和容错
马科斯·桑塔纳·法里亚斯 , 纳迪娅·内贾赫 , 保罗·维克托·德·卡瓦略 :
用于提高基于FPGA的核反应堆关键系统可靠性的主动冗余硬件体系结构。 608-615 奥利弗·施罗德 , 马可·安杰尔科维奇 , 安塞尔姆·布雷滕雷特 , 阿列克谢·巴拉绍夫 , 尔斯蒂奇 :
三模冗余TSPC触发器的辐射加固设计概念。 616-621 彼得·多比亚斯 , 艾曼纽尔·卡索 , 奥利弗·辛宁 :
立方体卫星容错在线调度算法评估。 622-629 托拜厄斯·多尔 , 蒂莫·桑德曼 , 帕特里克·弗里德里希 , 阿恩·莱特纳 , 尤根·贝克尔 :
一种内在冗余故障操作系统中的低成本容错方法。 630-637 穆罕默德·里亚扎蒂 , 塔拉·加森波里 , 马苏德·达内斯塔拉布 , 贾恩·雷克 , 米凯尔·舍丁 , 比约恩·利斯珀 :
异构系统中加速功能的可调自愈方法。 638-645 阿德博伊·斯蒂芬·奥耶尼兰 , 雷蒙德·乌巴尔 , 马克西姆·杰尼欣 , Jaan Raik公司 :
微处理器中转移延迟故障的实现独立功能测试。 646-650 卡特琳娜·纳勒 , 克里斯蒂安·斯特格 , 诺伯特·德鲁姆 :
基于汽车飞行时间传感器的定量和定性评估方法。 651-659 奥马尔·阿夫扎尔 , Jeong-A Lee先生 :
将FPGA中近似TMR的可靠性与缓解成本进行权衡。 660-663 简·雷兹涅克 , 马丁·科利克 , 哈娜·库巴托娃 :
非均匀连续时间马尔可夫链计算。 664-671 安纳奇亚拉·鲁索波 , 阿尔贝托·博西奥 , 亚历山德罗·伊安 , 埃内斯托·桑切斯 :
根据数据表示评估卷积神经网络的可靠性。 672-679 雅库布·洛伊达 , 理查德·潘尼克 , 雅库布·波迪文斯基 , 昂德雷·塞坎 , 马丁·科马 , 兹德内克·科塔塞克 :
针对随机和故意故障强化智能电子锁软件。 680-683 雅罗斯拉夫·博雷克 , 罗伯特·居勒 , 彼得·费瑟 :
面向应用的FPGA测试的简单故障模型的SEU故障覆盖评估。 684-691