Design Automation for Embedded Systems最新文献_第7页

On embedding a hardware description language in Isabelle/HOL 关于在Isabelle/HOL中嵌入硬件描述语言

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-11-05 DOI: 10.1007/s10617-019-09226-1

Wilayat Khan, David Sanán, Zhé Hóu, Liu Yang

引用次数: 4

A simultaneous multithreading processor architecture with predictable timing behavior 具有可预测计时行为的并发多线程处理器体系结构

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-09-10 DOI: 10.1007/s10617-019-09224-3

Hadley M. Siqueira, M. Kreutz

引用次数: 0

Memphis: a framework for heterogeneous many-core SoCs generation and validation Memphis:异构多核soc生成和验证的框架

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-08-20 DOI: 10.1007/s10617-019-09223-4

Marcelo Ruaro, L. L. Caimi, Vinicius Fochi, F. Moraes

引用次数: 19

Optimization of multitask parallel mobile edge computing strategy based on deep learning architecture 基于深度学习架构的多任务并行移动边缘计算策略优化

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-07-12 DOI: 10.1007/s10617-019-09222-5

Zongkai Liu, Xiaoqiang Yang, J. Shen

引用次数: 6

Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations 面对重复重构的实时系统的快速稳定控制计划协同设计

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-06-14 DOI: 10.1007/s10617-019-09221-6

Jaishree Mayank, Arijit Mondal, A. Sarkar

引用次数: 1

A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-design 硬件/软件协同设计中的划分模型、求解算法和算法并行化研究综述

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-04-30 DOI: 10.1007/s10617-019-09220-7

Neng Hou, Xiaohu Yan, Fazhi He

引用次数: 26

Special issue with selected papers from 2017 Brazilian Symposium on Computer Engineering (SBESC 2017) 2017年巴西计算机工程研讨会(SBESC 2017)论文精选特刊

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-04-22 DOI: 10.1007/s10617-019-09219-0

José Augusto Miranda Nacif,Marcio Seiji Oyamada

引用次数: 0

Trace-driven and processing time extensions for Noxim simulator Noxim模拟器的跟踪驱动和处理时间扩展

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2019-01-05 DOI: 10.1007/s10617-018-09218-7

Ivan Luiz Pedroso Pires, Marco Antonio Zanata Alves, Luiz Carlos Pessoa Albini

{"title":"Trace-driven and processing time extensions for Noxim simulator","authors":"Ivan Luiz Pedroso Pires, Marco Antonio Zanata Alves, Luiz Carlos Pessoa Albini","doi":"10.1007/s10617-018-09218-7","DOIUrl":"https://doi.org/10.1007/s10617-018-09218-7","url":null,"abstract":"Simulation is one of the main tools used to analyze and test new proposals in the Network-on-Chip field. Several simulators can be found in the literature, among them the Noxim simulator stands out. It is being used by many researchers due to the wireless support and open-source availability. An important issue at the simulation phase is the choice of workload, as it may affect testing the system and its features. The correct workload can lead to rapid and efficient system development, while the wrong one may compromise the entire system evaluation. To ensure a more realistic simulation, simulators usually relies on real workloads by using a trace-driven approach. Although Noxim provides a simple support for input traces, it is very limited to a general behavior of the system, accepting only a generic injection rate parameter over time. Another important part of the simulator is the ability to consider the Processing Elements processing time. We propose in this paper an extension of the Noxim simulator to address these issues. Consequently, results are more realistic and may be possible to predict the total execution time very accurately. This extension is demonstrated and evaluated using the NAS-NPB workload.","PeriodicalId":50594,"journal":{"name":"Design Automation for Embedded Systems","volume":"7 4","pages":"41-55"},"PeriodicalIF":1.4,"publicationDate":"2019-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138524187","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

A fast and accurate hybrid fault injection platform for transient and permanent faults 一种快速准确的瞬态和永久故障混合故障注入平台

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2018-11-30 DOI: 10.1007/s10617-018-9217-0

A. L. Sartor, P. H. E. Becker, A. C. S. Beck

引用次数: 8

A distributed algorithm to schedule TSCH links under the SINR model 一种在SINR模型下调度TSCH链路的分布式算法

IF 1.4 4区计算机科学

Design Automation for Embedded Systems Pub Date : 2018-11-29 DOI: 10.1007/s10617-018-9216-1

José Carlos da Silva, Flávio Assis

{"title":"A distributed algorithm to schedule TSCH links under the SINR model","authors":"José Carlos da Silva, Flávio Assis","doi":"10.1007/s10617-018-9216-1","DOIUrl":"https://doi.org/10.1007/s10617-018-9216-1","url":null,"abstract":"Industrial environments are typically characterised by high levels of interference. Therefore, standards for industrial wireless sensor networks (WirelessHART, ISA 100.11a, and IEEE 802.15.4e) have defined a time division and multichannel-based mode of operation, in which pairs of time slots and channels are assigned to links representing communication between nodes. In IEEE 802.15.4e this mode of operation is called Timed Slotted Channel Hopping. In this paper we describe a distributed algorithm to define such an assignment for a given network. The algorithm is efficient, scalable and was developed for the Signal-to-Interference-plus-Noise-Ratio model, currently considered the most appropriate to analyse algorithms for wireless networks when interference is taken into consideration. In particular, the algorithm provides deterministic communication in the network. Previous approaches to this problem are mainly centralised, based on a simple (or none) interference model, do not provide deterministic communication or do not consider multiple physical channels. In this paper we describe the algorithm and present results of simulation, where we evaluated the number of rounds needed for computing the schedules and the size of the produced schedules. The described algorithm applies also to the Internet of Things, characterised by high scale and presence of interference.","PeriodicalId":50594,"journal":{"name":"Design Automation for Embedded Systems","volume":"14 2","pages":"21-39"},"PeriodicalIF":1.4,"publicationDate":"2018-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138524181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5