检索结果-内蒙古大学图书馆

simulation-based verification for parallelization of model-based applications 50

Simulation-based verification for parallelization of model-b...

50th Summer computer simulation conference, SCSC 2018, Part of the 2018 Summer simulation Multi-conference, SummerSim 2018

作者： B. Koch, Claus Durak, Umut Müller, David Julius Maximilian University Am Hubland Würzburg Germany Lilienthalplatz 7 Braunschweig Germany Department of Informatics Clausthal University of Technology Germany

ISBN: (纸本)9781510860209

In order to keep up with the increasing volume and challenging requirements of Cyber-Physical systems (CPS), model-based design and simulation-based verification are becoming essential development practices. This study extends the model-based design approach that is being proposed in the ARGO (WCET-Aware PaRallelization of Model-Based Applications for HeteroGeneOus Parallel systems) project funded under the European Union’s Horizon 2020 Research and Innovation Programme and proposes a complementary simulation-based verification approach. It not only introduces a workflow, but also presents a tooling support, the Scilab/Xcos X-in-the-Loop Toolbox Generator (XTG). Further, the workflow and the Scilab/Xcos XTG are demonstrated with an application use case from the aeronautics domain. © 2018 Society for modeling & simulation international (SCS).

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Agents and Multi-Agent systems: Technologies and Applications 2018 Proceedings of the 12th international conference on Agents and Multi-Agent ...

引用

2018年

作者： Gordan Ježić Yun Heh Jessica Chen-Burger Robert J Howlett Lakhmi C Jain Ljubo B Vlacic Roman Šperka

ISBN: (纸本)9783319920306

This book highlights new trends and challenges in agent systems, and new digital and knowledge economy research, and includes 34 papers on areas such as intelligent agent interaction and collaboration, modeling, simulation and mobile agents, agent communication and social networks, business Informatics, design and implementation of intelligent agents and multi-agent systems. These papers were presented at the 12th international KES conference on Agents and Multi-Agent systems: Technologies and Applications (KES-AMSTA 2018) held on Australias Gold Coast. The modern economy is driven by technologies and knowledge. Digital technologies can free, shift and multiply choices, often intruding on the space of other industries, by providing new ways of conducting business operations and creating values for customers and companies. The book addresses topics that contribute to the modern digital economy, including software agents, multi-agent systems, agent modeling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, which contribute to the modern digital economy. The results presented are of theoretical and practical value to researchers and industrial practitioners working in the fields of artificial intelligence, collective computational intelligence, innovative business models, new digital and knowledge economy and, in particular, agent and multi-agent systems, technologies, tools and applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress: Multiple Alignment of Packet Sequences for Efficient Communication in a Many-Core Neuromorphic System

Work-in-Progress: Multiple Alignment of Packet Sequences for...

引用

Proceedings of the international conference on Compilers, architectures and Synthesis for embedded systems (CASES)

作者： Gianvito Urgese Luca Peres Francesco Barchi Enrico Macii Andrea Acquaviva Department of Control and Computer Engineering Politecnico di Torino Italy

In this era, the requirement of high-performance computing at low power cost can be met by the parallel execution of an application on a large number of programmable cores. Emerging many-core architectures provide dense interconnection fabrics leading to new communication requirements. In particular, the effective exploitation of synchronous and asynchronous channels for fast communication from/to internal cores and external devices is a key issue for these architectures. In this paper, we propose a methodology for clustering sequential commands used for configuring the parallel execution of tasks on a globally asynchronous locally synchronous multi-chip many-core neuromorphic platform. With the purpose of reducing communication costs and maximise the exploitation of the available communication bandwidth, we adapted the Multiple Sequence Alignment (MSA) algorithm for clustering the unicast streams of packets used for the configuration of each core so as to generate a coherent multicast stream that configures all cores at once. In preliminary experiments, we demonstrate how the proposed method can lead up to a 97% reduction in packet transmission thus positively affecting the overall communication cost.

关键词： Unicast computer architecture Neuromorphics Clustering algorithms Task analysis Routing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Access-Aware DRAM Failure-Rate Estimation under Relaxed Refresh Operations 17

Access-Aware DRAM Failure-Rate Estimation under Relaxed Refr...

引用

17th Annual international conference on embedded computer systems - architectures, modeling, and simulation (SAMOS)

作者： Tovletoglou, Konstantinos Nikolopoulos, Dimitrios S. Karakonstantis, Georgios Queens Univ Belfast Elect Elect Engn & Comp Sci Belfast North Ireland

ISBN: (纸本)9781538634370

In recent years, there has been a growing interest on relaxing the pessimistic DRAM refresh rate due to the incurred power and throughput loss. Undeniably, a critical factor in determining the refresh rate relaxation that can be achieved lies on the degree of the DRAM error-rate deterioration that is incurred and on the amount of estimated errors that can be handled by system mitigation schemes which are mainly being evaluated in simulators. To estimate the DRAM faults under relaxed refresh, the majority of the existing works rely on estimated DRAM failure probability models using only the spatial distribution of the DRAM retention time across the memory cells. We observe that such failure models have neglected the intricate dependence on the memory accesses, which inherently refresh the accessed rows. In this paper, we propose that the intervals between consecutive accesses must also be considered during DRAM simulation. We show that the estimation of the distribution of accesses poses a lot of challenges mainly due to the time consuming full system simulations that are required. To address such challenges, this paper presents one of the first efforts to model the access time-dependent DRAM retention time by developing a fast simulation infrastructure based on binary instrumentation. The basic idea behind the proposed approach lies on the quantification of the time elapsed between consecutive memory accesses on the same row and its relation to the DRAM failure probability, which is then being used for a more accurate fault injection. The introduced overheads of the instrumentation functions are measured during native execution allowing accurate corrections of the time elapsed between consecutive accesses. The efficacy of our framework is being evaluated using various artificial benchmarks. Results show that our scheme helps to limit the misprediction of estimated errors of current error-injection models.

关键词： memory tracing fault injection DRAM memory retention time simulation binary instrumentation

来源：评论

学校读者我要写书评

暂无评论

11th international conference on Artificial General Intelligence, AGI 2018

11th International Conference on Artificial General Intellig...

引用

11th international conference on Artificial General Intelligence, AGI 2018

ISBN: (纸本)9783319976754

The proceedings contain 29 papers. The special focus in this conference is on Artificial General Intelligence. The topics include: Unsupervised language learning in opencog;Functionalist emotion model in NARS;towards a sociological conception of artificial intelligence;efficient concept formation in large state spaces;DSO cognitive architecture: Implementation and validation of the global workspace enhancement;the foundations of deep learning with a path towards general intelligence;zeta distribution and transfer learning problem;Vision system for AGI: Problems and directions;semantic image retrieval by uniting deep neural networks and cognitive architectures;request confirmation networks in micropsi 2;the temporal singularity: Time-accelerated simulated civilizations and their implications;a computational theory for life-long learning of semantics;cumulative learning with causal-relational models;Transforming kantian aesthetic principles into qualitative hermeneutics for contemplative AGI agents;Towards general evaluation of intelligent systems: Using semantic analysis to improve environments in the AIQ test;Perception from an AGI perspective;a phenomenologically justifiable simulation of mental modeling;a time-critical simulation of language comprehension;how failure facilitates success;adaptive compressed search;task analysis for teaching cumulative learners;associative memory: An spiking neural network robotic implementation;A comprehensive ethical framework for AI entities: Foundations;partial operator induction with beta distributions;solving tree problems with category theory;goal-directed procedure learning;can machines design? An artificial general intelligence approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Autonomic Management of Reconfigurations in DPR FPGA-based embedded System

Autonomic Management of Reconfigurations in DPR FPGA-based E...

引用

international conference on High Performance Computing & simulation (HPCS)

作者： Soguy Mak-Karé Gueye Éric Rutten Jean-Philippe Diguet Univ. Grenoble Alpes Grenoble INP LIG Grenoble France CNRS LAB-STICC France

ISBN: (纸本)9781538678800

Implementing self-adaptive embedded systems, such as UAVs, involves an offline provisioning of the several implementations of the embedded functionalities with different characteristics in resource usage and performance in order for the system to dynamically adapt itself under uncertainties. FPGA-based architectures offer for support for high flexibility with dynamic reconfiguration features. We propose an autonomic control architecture for self-adaptive and self- reconfigurable FPGA-based embedded systems. The control architecture is structured in three layers: a mission manager, a reconfiguration manager and a scheduling manager. In this work we focus on the design of the reconfiguration manager. We propose a design approach using automata-based discrete control. It involves reactive programming that provides formal semantics, and discrete controller synthesis from declarative objectives.

关键词： Task analysis embedded systems Field programmable gate arrays computer architecture Hardware Control systems Programming

来源：评论

学校读者我要写书评

暂无评论

Editor’s Note: Special Issue on embedded computer systems: architectures, modeling and simulation

引用

international Journal of Parallel Programming 2018年第6期46卷 1184-1184页

来源：评论

学校读者我要写书评

暂无评论

Agent and Multi-Agent systems: Technology and Applications 10th KES international conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June ...

引用

2018年

作者： Gordan Ježić Yun Heh Jessica Chen-Burger Robert J Howlett Lakhmi C Jain

ISBN: (纸本)9783319819884

The modern economy is driven by technologies and knowledge. Digital technologies can free, shift and multiply choices, often intruding on the space of other industries, by providing new ways of conducting business operations and creating values for customers and companies. The topics covered in this volume include software agents, multi-agent systems, agent modelling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, etc. that contribute to the modern Digital Economy. This volume highlights new trends and challenges in agent, new digital and knowledge economy research and includes 28 papers classified in the following specific topics: business process management, agent-based modeling and simulation, anthropic-oriented computing, learning paradigms, business informatics and gaming, digital economy, and advances in networked virtual enterprises. Published papers were selected for presentation at the 10th KES conference on Agent and Multi-Agent systems: Technologies and Applications (KES-AMSTA 2016) held in Puerto de la Cruz, Tenerife, Spain. Presented results would be of theoretical and practical value to researchers and industrial practitioners working in the fields of artificial intelligence, collective computational intelligence, innovative business models, new digital and knowledge economy and, in particular, agent and multi-agent systems, technologies, tools and applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Circuit and System Design Automation for Internet of Things

引用

IEEE TRANSACTIONS ON computer-AIDED DESIGN OF INTEGRATED CIRCUITS AND systems 2018年第1期37卷 3-6页

作者： Mohanty, Saraju P. Hueebner, Michael Xue, Chun Jason Li, Xin Li, Hai Univ North Texas Dept Comp Sci & Engn Denton TX 76203 USA Ruhr Univ Bochum Chair Embedded Syst Informat Technol Bochum Germany City Univ Hong Kong Dept Comp Sci Hong Kong Hong Kong Peoples R China Duke Univ Dept Elect & Comp Engn Durham NC USA

Internet-of-Things (IoT) is the technical backbone of smart cities which are envisioned to cope up with rapid urbanization of human population with limited resources. IoT provides three key features of smart cities such as intelligence, interconnection, and instrumentation. IoT is essentially a system-of-systems which can be considered as a configurable dynamic global network of networks. The main components of IoT include the following: 1) The Things; 2) Internet; 3) LAN; and 4) The Cloud. IoT is built by various diverse components including electronics, sensors, actuators, controllers, networks, firmware, and software. However, the existing electronics, controllers, and processors do not meet IoT requirements, such as multiple sensors, communication protocols, and security requirements. The existing computer-aided design (CAD) or electronic design automation tools are not enough to meet diverse challenges such as time-to-market, complexity, and cost of IoT. The required electronic circuits and systems need to be developed by handling and solving specific requirements. Real-time and ultralow power plays a major role since mobile devices in the IoT have to provide a long availability with a relative small energy budget. At the same time, reliability, availability, real-time constraints, and performance requirements pose significant challenges, and therefore, lead to a high interest in research. In this special issue, different approaches to design novel devices, circuits, and systems for solving the challenges with IoT are targeted. Various novel design automation components including modeling, design flows, simulation methods, and optimizations for designing of modern IoT are targeted, from system level down to device level. The current special issue was envisioned with the above technical considerations. After a rigorous review process, a set of articles were selected for this special issue. These papers are briefly discussed in the rest of the editorial.

关键词： Special issues and sections Internet of Things Design automation Smart buildings Smart cities

来源：评论

学校读者我要写书评

暂无评论

Compressing 3D-CNNs for Hardware-Efficient Object Classification in Video Streams

Compressing 3D-CNNs for Hardware-Efficient Object Classifica...

引用

international conference on Signals and Electronic systems, ICSES

作者： Maciej Wielgosz Matej Mertik AGH University of Science and Technology Krakow Poland Alma Mater Europaea Maribor Slovenia

This paper presents a set of methods for effective compression of 3D-CNN deep learning architectures with a particular focus on embedded platforms. Deep learning models are massive regarding the number of parameters, especially in video processing. Such memory consumption poses a challenge when it comes to efficient deployment to embedded devices. The authors applied a series of quantization and pruning techniques and showed that it is possible to significantly reduce an 80M-parameters-large deep learning model with a negligible (approx. 1 perc.) decrease in accuracy.

关键词： Task analysis Quantization (signal) computer architecture Computational modeling Training Optimization

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：