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

ACM/IEEE International Symposium on computer architecture

作者： Tianshi Chen Qi Guo Ke Tang Olivier Temam Zhiwei Xu Zhi-Hua Zhou Yunji Chen State Key Laboratory of Computer Architecture Institute of Computing Technology (ICT) CAS China Carnegie Mellon University United States University of Science and Technology of China China Inria France National Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9781479943944

Architectural Design Space Exploration (DSE) is a notoriously difficult problem due to the exponentially large size of the design space and long simulation times. Previously, many studies proposed to formulate DSE as a regression problem which predicts architecture responses (e.g., time, power) of a given architectural configuration. Several of these techniques achieve high accuracy, though often at the cost of significant simulation time for training the regression models. We argue that the information the architect mostly needs during the DSE process is whether a given configuration will perform better than another one in the presences of design constraints, or better than any other one seen so far, rather than precisely estimating the performance of that configuration. Based on this observation, we propose a novel ranking-based approach to DSE where we train a model to predict which of two architecture configurations will perform best. We show that, not only this ranking model more accurately predicts the relative merit of two architecture configurations than an ANN-based state-of-the-art regression model, but also that it requires much fewer training simulations to achieve the same accuracy, or that it can be used for and is even better at quantifying the performance gap between two configurations. We implement the framework for training and using this model, called ArchRanker, and we evaluate it on several DSE scenarios (unicore/multicore design spaces, and both time and power performance metrics). We try to emulate as closely as possible the DSE process by creating constraint-based scenarios, or an iterative DSE process. We find that ArchRanker makes 29.68% to 54.43 % fewer incorrect predictions on pair-wise relative merit of configurations (tested with 79,800 configuration pairs) than an ANN-based regression model across all DSE scenarios considered (values averaged over all benchmarks for each scenario). We also find that, to achieve the same accuracy as Arc

关键词： Design DSE training

来源：评论

学校读者我要写书评

暂无评论

A decomposition based algorithm for maximal contractions

引用

Frontiers of computer Science 2013年第6期7卷 801-811页

作者： Dongchen JIANG Wei LI Jie LUO Yihua LOU Zhengzhong LIAO State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China Tencent Technology (Beijing) Company Limited Beijing 100080 China

This paper proposes a decomposition based algo- rithm for revision problems in classical propositional logic. A set of decomposing rules are presented to analyze the satis- fiability of formulas. The satisfiability of a formula is equivalent to the satisfiability of a set of literal sets. A decomposing function is constructed to calculate all satisfiable literal sets of a given formula. When expressing the satisfiability of a formula, these literal sets are equivalent to all satisfied models of such formula. A revision algorithm based on this decomposing function is proposed, which can calculate maximal contractions of a given problem. In order to reduce the memory requirement, a filter function is introduced. The improved algorithm has a good performance in both time and space perspectives.

关键词： belief change maximal contraction decomposing rules revision algorithm

来源：评论

学校读者我要写书评

暂无评论

Enhancing root cause analysis with runtime models and interactive visualizations 8

Enhancing root cause analysis with runtime models and intera...

引用

8th Workshop on Models @ Run.time, MRT 2013 - Co-located with 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013

作者： Szvetits, Michael Zdun, Uwe Software Engineering Group Information Technology Institute University of Applied Sciences Wiener Neustadt Germany Software Architecture Group Faculty of Computer Science University of Vienna Austria

Recent research shows that runtime models can be used to build dynamic systems coping with changing requirements and execution environments. As software systems are getting bigger and more complex, locating malfunctioning software parts is no trivial task because of the vast amount of possible error sources and produced logging information. This information has to be traced back to faulty components, which often leads to editing of code scattered over different software artefacts. With such a fragmented view, challenges arise in finding out the root cause of the unwanted software behaviour. In this paper we propose the usage of runtime models in combination with model-driven techniques and interactive visualizations to ease tracing between log file entries and corresponding software artefacts. The contribution of this paper is a repository-based approach to augment root cause analysis with interactive tracing views while maximizing reusability of models created during the software development process.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers 1

引用

丛书名： Lecture Notes in computer Science 7773 Lecture Notes in Artificial Intelligence

2013年

作者： Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller (auth.), Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.)

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234;9783642415241

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling for automated test generation - A comparison

Modeling for automated test generation - A comparison

引用

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII - 8th Workshop on Model-Based Development of Embedded Systems, MBEES 2012

作者： Lackner, Hartmut Schlingloff, Bernd-Holger Fraunhofer Institute for Computer Architecture and Software Technology FIRST Berlin Germany

In this contribution, we compare and analyze different methodologies of modeling for test generation. As an example, we use an industrial requirement specification given in natural language, which describes a safety function in a hybrid car. We model these requirements with three different paradigms and languages: as the specification imposes several timing constraints, we choose abstract State Machines, Timed Automata and UML2 State Machines to formalize the given requirements. From these models, we employ different tools for generating test cases, and compare the resulting test suites with respect to coverage and fault detection capabilities. We discuss the process of designing the models and the implications for professional software testing.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Analytical Model of Customer Churn Based on Bayesian Network

Analytical Model of Customer Churn Based on Bayesian Network

引用

International Conference on Computational Intelligence and Security

作者： Peng Sun Xin Guo Yunpeng Zhang Ziyan Wu College of Computer Science Northwestern Polytechnical University Xi'an Shaanxi Province China Civil Engineering Institute Xi'an University of Architecture and Technology Xi'an Shaanxi Province China School of Software and Microelectronics Northwestern Polytechnical University Xi'an Shaanxi Province China School of Mechanics Civil Engineering & Architecture Northwestern Polytechnical University Xi'an Shaanxi Province China

A customer churn analytical model based Bayesian network is built for prediction of customer churn. We propose Bayesian Network approaches to predict churn motivation, mining the result in churn characters in order to help decision-making manager formulate corresponding detainment strategy. Experimental results show that classification performance of both methods is resultful.

关键词： Mathematical model Bayes methods Educational institutions Predictive models Analytical models Broadband communication Companies

来源：评论

学校读者我要写书评

暂无评论

From AUTOSAR models to co-simulation for MiL-testing in the automotive domain

From AUTOSAR models to co-simulation for MiL-testing in the ...

引用

5th IEEE International Conference on software Testing, Verification and Validation, ICST 2012

作者： Mews, Marcus Svacina, Jaroslav Weißleder, Stephan Department of Software Engineering and Theoretical Computer Science Technische Universität Berlin Germany Fraunhofer-Institute for Computer Architecture and Software Technology FIRST Berlin Germany

ISBN: (纸本)9780769546704

Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks information about tests or test scenarios. Early testing in the automotive domain is often done by Model-in-the-Loop simulation. Simulations of several components are run in different environments, each. Thus, they need to be connected (co-simulated) for integration testing of these components, e.g., via simulator coupling. This paper is focused on closing the gap between AUTOSAR models and co-simulation-based test scenarios that use simulator coupling. Our main contribution is the definition of a modeling language to describe test environments. The instances of this language can be derived from existing AUTOSAR models and can also be used to automatically generate co-simulation-based test environments. Furthermore, we provide a workflow to integrate this model in the engineering process and an experiment report to demonstrate the applicability and the advantages of the approach. © 2012 IEEE.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Multi-core technology for fault tolerant high-performance spacecraft computer systems

Multi-core technology for fault tolerant high-performance sp...

引用

DAta Systems In Aerospace, DASIA 2012

作者： Behr, Peter M. Haulsen, Ivo Van Kampenhout, J. Reinier Pletner, Samuel Fraunhofer Institute for Computer Architecture and Software Technology Fraunhofer FIRST Kékulestr 7 12489 Berlin Germany

ISBN: (纸本)9789290922650

The current architectural trends in the field of multi-core processors can provide an enormous increase in processing power by exploiting the parallelism available in many applications. In particular because of their high energy efficiency, it is obvious that multi-core processor-based systems will also be used in future space missions. In this paper we present the system architecture of a powerful optical sensor system based on the eight core multi-core processor P4080 from Freescale. The fault tolerant structure and the highly effective FDIR concepts implemented on different hardware and software levels of the system are described in detail. The space application scenario and thus the main requirements for the sensor system have been defined by a complex tracking sensor application for autonomous landing or docking manoeuvres.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

MAP-numa: Access patterns used to characterize the NUMA memory access optimization techniques and algorithms

MAP-numa: Access patterns used to characterize the NUMA memo...

引用

9th IFIP International Conference on Network and Parallel Computing, NPC 2012

作者： Luo, Qiuming Liu, Chenjian Kong, Chang Cai, Ye Shenzhen China College of Computer Science and Software Engineering Shenzhen University China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783642356056

Some typical memory access patterns are provided and programmed in C, which can be used as benchmark to characterize the various techniques and algorithms aim to improve the performance of NUMA memory access. These access patterns, called MAP-numa (Memory Access Patterns for NUMA), currently include three classes, whose working data sets are corresponding to 1-dimension array, 2-dimension matrix and 3-dimension cube. It is dedicated for NUMA memory access optimization other than measuring the memory bandwidth and latency. MAP-numa is an alternative to those exist benchmarks such as STREAM, pChase, etc. It is used to verify the optimizations' (made automatically/manually to source code/executive binary) capacities by investigating what locality leakage can be remedied. Some experiment results are shown, which give an example of using MAP-numa to evaluate some optimizations based on Oprofile sampling. © IFIP International Federation for Information Processing 2012.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain

From AUTOSAR Models to Co-simulation for MiL-Testing in the ...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Marcus Mews Jaroslav Svacina Stephan Weißleder Department of Software Engineering and Theoretical Computer Science Technische Universität Berlin Germany Fraunhofer-Institute for Computer Architecture and Software Technology FIRST Berlin Germany

关键词： Testing software Automotive engineering Couplings Connectors Adaptation models Data models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：