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

International Symposium on Code Generation and Optimization (CGO)

作者： Youfeng Wu Shiliang Hu Edson Borin Cheng Wang Programming Systems Laboratory INTEL Research Laboratory Santa Clara CA USA Institute of Computing State University of Campinas-UNICAMP Campinas Brazil

ISBN: (纸本)9781612843568

It is increasingly challenging to improve single thread performance because power/energy consumption becomes a major barrier to achieve significantly higher performance for general purpose cores. General purpose processors are designed to perform well in a wide variety of market segments, at the cost of having significantly lower performance-per-watt than special purpose processors targeting limited applications or market segments. In this paper, we propose a HW/SW co-designed heterogeneous multi-core virtual machine, called TwinPeaks, which integrates a set of less general but power efficient cores and uses dynamic binary optimization to schedule code regions to run on the most efficient cores. Our experiment and analysis indicate that TwinPeaks with a wide in-order core and a narrow out-of-order core may achieve 108% performance at ~71% energy of a big 4-wide out-of-order core.

关键词： Switches Multicore processing Virtual machining Optimization Out of order Energy consumption

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.

关键词： Unified modeling language Contracts Monitoring Embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

Fast RNA structure alignment for crossing input structures

Fast RNA structure alignment for crossing input structures

引用

作者： Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States

The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus structures, the problem is NP-hard. For non-crossing consensus structures, Jiang et al.'s (2002) [9] algorithm computes the alignment in O(n2m2) time where n and m denote the lengths of the two input sequences. If the input structures are also non-crossing, the problem corresponds to tree editing which can be solved in O(m2n(1+lognm)) time (Demaine et al., 2007) [3]. We present a new algorithm that solves the problem for d-crossing structures in O(dm2nlogn) time, where d is a parameter that is one for non-crossing structures, bounded by n for crossing structures, and much smaller than n on many practical examples. Crossing input structures allow for applications where the input is not a fixed structure but is given as base-pair probability matrices. © 2010 Elsevier B.V. All rights reserved.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

Feature interaction aware test case generation for embedded control systems

Feature interaction aware test case generation for embedded ...

引用

作者： Lochau, Malte Goltz, Ursula Institute for Programming and Reactive Systems TU Braunschweig Germany

The growing number and increased coupling of functionality in embedded control systems, e.g. in the automotive domain, leads to complex networks of interacting features and a wide range of variants. Hence, today's software development processes must include systematic approaches to analyze the functional correctness of system specifications and implementations. Model-based testing is of particular importance for embedded software systems as the test cases can be performed at the real system under test and failures arising from the interaction of software and hardware can be discovered. As features are usually designed in a modular and isolated way, unexpected and undesired behavior caused by unintended interferences of insufficiently synchronized and even contradicting features concurrently active in the system often remains undetected which may lead to serious safety problems. To overcome such feature interactions at system integration level is tedious as it leads to a voluminous number of unmanageable test cases. We describe a model-based approach for efficiently generating test cases that particularly aim at feature interaction analysis. We first characterize feature interaction in a formal way based on a rigorous functional architecture model, and describe how to detect potential feature interactions. For test case generation, behavioral models like Statecharts and according coverage criteria can be used as usual, but only those models are integrated into the test model, that contribute to one of the features under consideration. This leads to a trade off between comprehensive test coverage to find possible flaws caused by interacting features, and yet still a reasonable number of test cases. The steps of the approach are illustrated be means of a case study from the automotive domain. © 2010 Elsevier B.V.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Integration of scheduling analysis into UML based development processes through model transformation

Integration of scheduling analysis into UML based developmen...

引用

作者： Hagner, Matthias Goltz, Ursula Institute for Programming and Reactive Systems TU Braunschweig Mühlenpfordtst. 23 38106 Braunschweig Germany

ISBN: (纸本)9788360810279

The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Nevertheless, a support for the analysis of non-functional requirements, e.g. the scheduling, based on development models and consequently the integration of these analysis technologies into a development process exists only sporadically. The problem is that the analysis tools use different metamodels than the development tools. Therefore, a remodeling of the system in the format of the analysis tool or a model transformation is necessary to be able to perform an analysis. Here, we introduce a scheduling analysis view as a part of the development model, which is a MARTE annotated UML model to describe a system from the scheduling behavior point of view. In addition, we present a transformation from this annotated UML model to the scheduling analysis tool SymTA/S and a treatment of the analysis results to integrate scheduling analysis into a development process. With our approach it is not necessary to remodel the system in an analysis tool to profit from the analysis and its results. Additionally, we illustrate our approach in a case study on a parallel robot controller. © 2010 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

An executable semantics for UML 2 activity diagrams

An executable semantics for UML 2 activity diagrams

引用

24th European Conference on Object-Oriented programming, ECOOP 2010 - International Workshop on Formalization of Modeling Languages, FML'10

作者： Knieke, Christoph Goltz, Ursula Institute for Programming and Reactive Systems Technische Universität Braunschweig Mühlenpfordtstr. 23 38106 Braunschweig Germany

ISBN: (纸本)9781450305327

Since the revision 2 of the UML, activity diagrams have acquired many new features and a completely new metamodel. UML 2 was targeted at improving semantic precision but still lacks an executable semantics as a basis for tool support and simulation. In this paper we define an executable step semantics for a subset of activity diagrams including nested interruptible activity regions, call behavior actions, and event handling. The semantics conforms to the textual description of the UML semantics but comes with a precise definition of a step including a description of the algorithm that executes a single step. The operational semantics implemented by an appropriate tool makes UML activity diagrams suitable for the specification and design of real-life complex systems from various domains. Copyright 2010 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Integration of scheduling analysis into UML based development processes through model transformation

Integration of scheduling analysis into UML based developmen...

引用

International Multiconference on Computer Science and Information Technology, IMCSIT

作者： Matthias Hagner Ursula Goltz Institute of Programming and Reactive Systems Braunschweig University of Technology Brunswick Germany

关键词： Unified modeling language Analytical models Robots Time factors Real time systems Timing Processor scheduling

来源：评论

学校读者我要写书评

暂无评论

Mechanical decision for a class of integral inequalities

引用

Science China(Information Sciences) 2010年第9期53卷 1800-1815页

作者： YANG Lu1,3,YU WenSheng1,2* & YUAN RuYi2 1Shanghai Key Laboratory of Trustworthy Computing,Software Engineering institute,East China Normal University,Shanghai 200062,China 2The Key Laboratory of Complex systems and Intelligence Science,institute of Automation,Chinese Academy of Sciences,Beijing 100190,China 3Laboratory for Automated Reasoning and programming,Chengdu institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China 1. Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China3. Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China2. The Key Laboratory of Complex Systems and Intelligence Science Institute of Automation Chinese Academy of Sciences Beijing 100190 China

A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model,where the number of elements of the polynomial,say n,is also a variable and the coefficients are functions of *** is closely associated with some open problems formulated recently by Yang et *** Timofte's dimension-decreasing method for symmetric polynomial inequalities,combined with the inequality-proving package BOTTEMA and a program of implementing the method known as successive difference substitution,we provide a procedure for deciding the nonnegativity of the corresponding polynomial inequality such that the original integral inequality is mechanically decidable;otherwise,a counterexample will be *** effectiveness of the algorithm is illustrated by some more examples.

关键词： integral inequality symmetric polynomial inequality Timofte’s dimension-decreasing method successive difference substitution mechanical decision inequality-proving package BOTTEMA

来源：评论

学校读者我要写书评

暂无评论

Situational method engineering applied for the enactment of development processes - An agent based approach

Situational method engineering applied for the enactment of ...

引用

作者： Seemueller, Holger Voos, Holger Honke, Benjamin Bauer, Bernhard Mobile Robotics and Mechatronics Lab. University of Applied Sciences Ravensburg-Weingarten D-88241 Weingarten Germany Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg D-86135 Augsburg Germany

ISBN: (纸本)9789898425065

Interdisciplinary product development is faced with the collaboration of diverse roles and a multitude of interrelated artifacts. Traditional and sequential process models cannot deal with the long-lasting and dynamic behavior of the development processes of today. Moreover, development processes have to be tailored to the needs of the projects, which are usually distributed today. Thus, keeping these projects on track from a methodology point of view is difficult. In order to deal with these challenges, this paper will present a novel method engineering and enactment approach. It combines the ideas of workflow technologies and product line engineering for method engineering as well as agent technology for the development process enactment.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：