发布求助
文献互助 智能选刊 最新文献

2019 22nd Euromicro Conference on Digital System Design (DSD)最新文献

筛选
英文 中文
Information Coding and Hardware Architecture of Spiking Neural Networks 脉冲神经网络的信息编码与硬件结构
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-28 DOI: 10.1109/DSD.2019.00050
Nassim Abderrahmane, Benoît Miramond
{"title":"Information Coding and Hardware Architecture of Spiking Neural Networks","authors":"Nassim Abderrahmane, Benoît Miramond","doi":"10.1109/DSD.2019.00050","DOIUrl":"https://doi.org/10.1109/DSD.2019.00050","url":null,"abstract":"Inspired from the brain, neuromorphic computing would be the right alternative to traditional Von-Neumann architecture computing that knows its end of growth as predicted by Moore's law. In this paper, we explore bio-inspired neural networks as an AI-accelerator for embedded systems. To do so, we first map neural networks from formal to spiking domain, then choose the information coding method resulting in better performances. Afterwards, we present the design of two different hardware architectures: time-multiplexed and fully-parallel. Finally, we compare their performances and their hardware cost to select at the end the adequate architecture and conclude about spike-based neural networks as a potential solution for embedded artificial intelligence applications.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"1993 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128621852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection LAOCOÖN:一种硬件木马检测的运行时监控和验证方法
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-28 DOI: 10.1109/DSD.2019.00047
J. Danger, L. Fribourg, U. Kühne, Maha Naceur
{"title":"LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection","authors":"J. Danger, L. Fribourg, U. Kühne, Maha Naceur","doi":"10.1109/DSD.2019.00047","DOIUrl":"https://doi.org/10.1109/DSD.2019.00047","url":null,"abstract":"Hardware Trojan Horses and active fault attacks are a threat to the safety and security of electronic systems. By such manipulations, an attacker can extract sensitive information or disturb the functionality of a device. Therefore, several protections against malicious inclusions have been devised in recent years. A prominent technique to detect abnormal behavior in the field is run-time verification. It relies on dedicated monitoring circuits and on verification rules generated from a set of temporal properties. An important question when dealing with such protections is the effectiveness of the protection against unknown attacks. In this paper, we present a methodology based on automatic generation of monitoring and formal verification techniques that can be used to validate and analyze the quality of a set of temporal properties when used as protection against generic attackers of variable strengths.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117088026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems 安全关键汽车系统的实时健康状态安全监测
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00025
Andreas Strasser, Philipp Stelzer, C. Steger, N. Druml
{"title":"Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems","authors":"Andreas Strasser, Philipp Stelzer, C. Steger, N. Druml","doi":"10.1109/DSD.2019.00025","DOIUrl":"https://doi.org/10.1109/DSD.2019.00025","url":null,"abstract":"Autonomously driving vehicles require higher safety and reliability standards than traditional human-driven vehicles as they need to be able to handle safety-critical situations on their own. Therefore, these systems needs to demonstrate fail-operational behavior to ensure safety of the passengers by basic car controls. Especially silent failures of semiconductor devices can be critical from a safety point of view. Semiconductor devices fail abruptly and cannot be detected in advance. This paper presents a novel sensor approach to detect those kind of silent failures ahead of time and to ensure safety for future advanced driver-assistance systems (ADAS) such as LiDAR (Light Detection and Ranging). We have evaluated the design of our novel sensor concept in SystemC which will be implemented in a LiDAR system to mitigate silent failures as well as enable dynamic safety contracts.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116947901","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Automatic and Unsupervised Identification of Specific Biochemical Features from Raman Mapping Data 拉曼地图数据中特定生化特征的自动和无监督识别
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00073
E. Torti, Beatrice Marcinnò, R. Vanna, C. Morasso, Francesca Picotti, L. Villani, F. Leporati
{"title":"Automatic and Unsupervised Identification of Specific Biochemical Features from Raman Mapping Data","authors":"E. Torti, Beatrice Marcinnò, R. Vanna, C. Morasso, Francesca Picotti, L. Villani, F. Leporati","doi":"10.1109/DSD.2019.00073","DOIUrl":"https://doi.org/10.1109/DSD.2019.00073","url":null,"abstract":"Raman imaging is a hyperspectral approach able to provide information on the spatial distribution of a particular biochemical feature without the use of any staining or sample processing. The extraction of the relevant information from the large dataset obtained however is a laborious and complex task that still requires the development of robust chemometric approaches. In this paper, we propose a general framework for analyzing data acquired by a commercial Raman spectrometers. This framework is based both on exploiting spectral information and unsupervised clustering, in order to clearly identify the borders and the compositions of different regions of interest. Finally, we describe an efficient GPU-based parallelization, which ensures a fast image classification.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"225 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121040477","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An Open-Source High-Throughput, Reduced Memory Footprint, Face Detection, Pose Estimation and Landmark Localization System 一个开源的高吞吐量，减少内存占用，人脸检测，姿态估计和地标定位系统
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00030
Panos Kalodimas, A. Nikitakis, I. Papaefstathiou
{"title":"An Open-Source High-Throughput, Reduced Memory Footprint, Face Detection, Pose Estimation and Landmark Localization System","authors":"Panos Kalodimas, A. Nikitakis, I. Papaefstathiou","doi":"10.1109/DSD.2019.00030","DOIUrl":"https://doi.org/10.1109/DSD.2019.00030","url":null,"abstract":"Face Detection, Pose Estimation and Landmark Localization are all considered important vision processes and are very widely utilized in several applications ranging from security/safety to automotive and assisted living. In this paper we present an open-source optimized implementation of a system addressing all those processes. In particular, we optimized both the memory requirements and the performance of the very widely utilized Tree Structure Model (TSM), which is the main core in all those tasks. Several optimizations have been proposed so as to increase the performance in both uni-and multi-processor systems, while also reducing the memory footprint so as to allow for the implementation of those schemes, for the first time, in embedded systems. The proposed system is at least 100% faster (and up to 300%) and requires more than 10 time less memory than the existing implementations. Since the algorithm implemented is one of the most widely used in the area of face detection and we distribute the optimized code in an open-source manner, we believe that it can act as an important reference implementation for any similar system proposed.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"60 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121074954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents 面向认知功能自主机器人代理计划的形式化验证
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00029
Tim Meywerk, Marcel Walter, V. Herdt, Daniel Große, R. Drechsler
{"title":"Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents","authors":"Tim Meywerk, Marcel Walter, V. Herdt, Daniel Große, R. Drechsler","doi":"10.1109/DSD.2019.00029","DOIUrl":"https://doi.org/10.1109/DSD.2019.00029","url":null,"abstract":"In this paper, we propose the first approach for verifying plans of cognition-enabled autonomous robots that perform everyday manipulation activities in human environments. Our methodology is based on the new Intermediate Plan Verification Language (IPVL) which is used to represent plans, environments, and robot belief states in one joint formal model. We devise a symbolic execution engine for IPVL and show the effectiveness of our overall verification methodology in a case study.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114138490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
The AFarCloud ECSEL Project AFarCloud ECSEL项目
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00066
Pedro Castillejo, Baran Çürüklü, Roberto Fresco, Gorm Johansen, Sonia Bilbao-Arechabala, Belén Martínez, L. Pomante, José-Fernán Martínez-Ortega, Marco Santic
{"title":"The AFarCloud ECSEL Project","authors":"Pedro Castillejo, Baran Çürüklü, Roberto Fresco, Gorm Johansen, Sonia Bilbao-Arechabala, Belén Martínez, L. Pomante, José-Fernán Martínez-Ortega, Marco Santic","doi":"10.1109/DSD.2019.00066","DOIUrl":"https://doi.org/10.1109/DSD.2019.00066","url":null,"abstract":"Farming is facing many economic challenges in terms of productivity and cost-effectiveness. Labor shortage partly due to depopulation of rural areas, especially in Europe, is another challenge. Domain specific problems such as accurate identification and proper quantification of pathogens affecting plant and animal health are key factors for minimizing economical risks, and not risking human health. The ECSEL AFarCloud (Aggregate FARming in the CLOUD) project will provide a distributed platform for autonomous farming that will allow the integration and cooperation of agriculture Cyber Physical Systems in real-time in order to increase efficiency, productivity, animal health, food quality and reduce farm labour costs. This platform will be integrated with farm management software and will support monitoring and decision-making solutions based on big data and real-time data mining techniques.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121679657","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
System Performance Modelling of Heterogeneous HW Platforms: An Automated Driving Case Study 异构硬件平台的系统性能建模:一个自动驾驶案例研究
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00060
Falk Wurst, D. Dasari, A. Hamann, D. Ziegenbein, Ignacio Sañudo, Nicola Capodieci, M. Bertogna, P. Burgio
{"title":"System Performance Modelling of Heterogeneous HW Platforms: An Automated Driving Case Study","authors":"Falk Wurst, D. Dasari, A. Hamann, D. Ziegenbein, Ignacio Sañudo, Nicola Capodieci, M. Bertogna, P. Burgio","doi":"10.1109/DSD.2019.00060","DOIUrl":"https://doi.org/10.1109/DSD.2019.00060","url":null,"abstract":"The push towards automated and connected driving functionalities mandates the use of heterogeneous HW platforms in order to provide the required computational resources. For these platforms, the established methods for performance modelling in industry are no longer effective. In this paper, we propose an initial modelling concept for heterogeneous platforms which can then be fed into appropriate tools to derive effective performance predictions. The approach is demonstrated for a prototypical automated driving application on the Nvidia Tegra X2 platform.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124374065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
High-Throughput BitPacking Compression 高吞吐量BitPacking压缩
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00101
N. J. Lisa, T. D. A. Nguyen, Dirk Habich, Akash Kumar, Wolfgang Lehner
{"title":"High-Throughput BitPacking Compression","authors":"N. J. Lisa, T. D. A. Nguyen, Dirk Habich, Akash Kumar, Wolfgang Lehner","doi":"10.1109/DSD.2019.00101","DOIUrl":"https://doi.org/10.1109/DSD.2019.00101","url":null,"abstract":"To efficiently support analytical applications from a data management perspective, in-memory column store database systems are state-of-the art. In this kind of database system, lossless lightweight integer compression schemes are crucial to keep the memory storage as low as possible and to speedup query processing. In this specific compression domain, BitPacking is one of the most frequently applied compression scheme. However, (de) compression should not come with any additional cost during run time, but should be provided transparently without compromising the overall system performance. To achieve that, we focus on acceleration of BitPacking using Field Programmable Gate Arrays (FPGAs). Therefore, we outline several FPGA designs for BitPacking in this paper. As we are going to show in our evaluation, our specific designs provide the BitPacking compression scheme with high-throughput.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124230555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Microprogrammed Approach for Implementing Statecharts 一种实现状态图的微编程方法
2019 22nd Euromicro Conference on Digital System Design (DSD) Pub Date : 2019-08-01 DOI: 10.1109/DSD.2019.00015
Javier Cereijo García, R. Osorio
{"title":"A Microprogrammed Approach for Implementing Statecharts","authors":"Javier Cereijo García, R. Osorio","doi":"10.1109/DSD.2019.00015","DOIUrl":"https://doi.org/10.1109/DSD.2019.00015","url":null,"abstract":"Statechart diagrams allow specifying complex systems in which there may be several states active at the same time and a large number of events and transitions to evaluate. Statecharts have been found useful in the design and implementation of control systems in research facilities, such as particle accelerators. Automatic tools may convert statechart-based specifications into hardware descriptions. During the development of one of those tools, the convenience of implementing statecharts as microprogrammed control systems was considered. In this work, we propose a method for implementing generic microprogrammed architectures that support statecharts upgradable on the field. This approach is evaluated showing its advantages and disadvantages.","PeriodicalId":217233,"journal":{"name":"2019 22nd Euromicro Conference on Digital System Design (DSD)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121845275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信