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

A practical automatic polyhedral parallelizer and locality optimizer

acm sigplan NOTICES 2008年第6期43卷 101-113页

作者： Bondhugula, Uday Hartono, Albert Ramanujam, J. Sadayappan, P. Ohio State Univ Dept Comp Sci & Engn Columbus OH 43210 USA Louisiana State Univ Dept Elect & Comp Engn Baton Rouge LA 70803 USA Louisiana State Univ CCT Baton Rouge LA 70803 USA

We present the design and implementation of an automatic polyhedral source-to-source transformation framework that can optimize regular programs ( sequences of possibly imperfectly nested loops) for parallelism and locality simultaneously. Through this work, we show the practicality of analytical model-driven automatic transformation in the polyhedral model-far beyond what is possible by current production compilers. Unlike previous works, our approach is an end-to-end fully automatic one driven by an integer linear optimization framework that takes an explicit view of finding good ways of tiling for parallelism and locality using affine transformations. The framework has been implemented into a tool to automatically generate OpenMP parallel code from C program sections. Experimental results from the tool show very high speedups for local and parallel execution on multi-cores over state-of-the-art compiler frameworks from the research community as well as the best native production compilers. The system also enables the easy use of powerful empirical/iterative optimization for general arbitrarily nested loop sequences.

关键词： algorithms design experimentation performance automatic parallelization locality optimization polyhedral model loop transformations affine transformations tiling

来源：评论

学校读者我要写书评

暂无评论

Extending standard UML with model composition semantics

Extending standard UML with model composition semantics

引用

3rd International conference on the Unified Modeling language (UML 2000)

作者： Clarke, S Univ Dublin Trinity Coll Dept Comp Sci Dublin 2 Ireland

There is a well documented problem in the software engineering field relating to a structural mismatch between the specification of requirements for software systems and the specification of object-oriented software systems. The structural mismatch happens because the units of interest during the requirements phase (for example, feature, service, capability, function, etc.) are different to the units of interest during object-oriented design and implementation (for example, object, class, method, etc.). The structural mismatch results in support for a single requirement being scattered across the design units and a single design unit supporting multiple requirements-this in turn results in reduced comprehensibility, traceability and reuse of design models. This paper presents an approach to designing systems based on the object-oriented model, but extending this model by adding new decomposition capabilities. The new decomposition capabilities support a way of directly aligning design models with individual requirements. Each model contains a design of an individual requirement, with concepts from the domain (which may appear in multiple requirements) designed from the perspective of that requirement. Standard UML is used to design the models decomposed in this way. Composition of design models is supported, and it is specified with a composition relationship. A composition relationship specifies how models are to be composed by identifying overlapping concepts in different models and specifying how models should be integrated. This paper describes changes required to the UML metamodel to support composition relationships. Two kinds of integration strategies are discussed-merge and override. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

OBSERV - A prototyping language and environment combining object oriented approach, state machines and logic programming

OBSERV - A prototyping language and environment combining ob...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tyszberowicz, Shmuel Yehudai, Amiram Moise & Frida Eskenasy Inst of Comput Sci Tel-Aviv Univ Isr

ISBN: (纸本)0818620099

The Observ methodology for software development is based on rapid construction of an executable specification (or prototype) of a system, which may be examined and modified repeatedly to achieve the desired functionality. The objectives of Oobserv also include facilitating a smooth transition to a target system and providing the means for reusing specification, design, and code of (sub)systems. Of particular interest is the handling of embedded systems, which are likely to have concurrency and real-time requirements. The Observ prototyping language combines several paradigms to express the behavior of a system. The object-oriented approach provides the basic mechanisms for building a system from a collection of objects, with well-defined interfaces between them. Finite-state machines are used to model the behavior of individual objects. At a lower level, activities that occur within objects are described with the logic-programming paradigm, thus allowing a nonprocedural description when possible. An attempt has been made to provide flexible tools for executing (simulating) the prototype being built, as well as for browsing and static checking. The current implementation of the tools is window-based but not graphical.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

proceedings of the conference on TRI-Ada 1991: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991

Proceedings of the Conference on TRI-Ada 1991: Today's Accom...

引用

1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991

ISBN: (纸本)0897914457

The proceedings contain 57 papers. The topics discussed include: CAPS as a requirements engineering tool;Ada and CMS-2 cohabitation a transition method for U.S. Navy realtime tactical systems;experiences in developing an Ada cross compiler;Ada semantic interface specification (ASIS);debugging of optimized ADA code;Adam, an Ada simulation library;vaijdating the adarts software design method for real-time systems;Ada-based support for abstraction, encapsulation and unit hierarchy;SA-2-Ada : a methodology for deriving Ada designs from structured analysis specifications;a microprocessor with ADA real time support;SDL: a standard language for Ada real -time applications;pilot command center testbed development environment: a better way to develop C3systems;dynamic software replacement model and its Ada implementation;design and implementation of a multi-tool ADA front end;a three level ADA interface to a commercial database;efficient loop-level parallelism in Ada;building distributed Ada applications from specifications and functional components;distribution of Ada tasks onto a heterogeneous environment;and supporting packed decimal in Ada.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Visual requirements validation: Case study in a CORBA-supported environment

Visual requirements validation: Case study in a CORBA-suppor...

引用

IEEE Joint International conference on Requirements Engineering

作者： Fenkam, P Gall, H Jazayeri, M Vienna Tech Univ Distributed Syst Grp A-1040 Vienna Austria

ISBN: (纸本)0769514669

We present an approach to requirements validation in which the formal specification of the requirements is directly interpreted and the results are visually presented to the customer through a graphical user interface, relying on the customer to visually validate the specified requirements. The communication between the user interface and the specification interpreter is accomplished through CORBA. The approach supports the cooperation of customers and developers in eliciting and validating the requirements. We present a case stud), of the application of the technique to the validation of a generic access control component. The use of CORBA has the advantage that an), CORBA-compliant language can be used for the user interface, independently of the implementation of the specification interpreter The contributions of the paper are 1) the presentation of a case stud), of the visual requirement validation technique, 2) the revision and improvement of a previously presented visual validation technique, and 3) the application of requirements validation to a reusable component.

关键词： Access control Application software Computer aided software engineering Formal specifications Graphical user interfaces programming Prototypes Software engineering Software prototyping User interfaces

来源：评论

学校读者我要写书评

暂无评论

Active information systems, from object-oriented design to Ada 95

Active information systems, from object-oriented design to A...

引用

1996 conference on TRI-Ada: Disciplined Software Development with Ada, TRI-Ada 1996

作者： Bari, M. Gabrini, P. Rolland, C. Zeroual, C.K. Labo MASI - CNRS UA 818 University of Pierre and Marie Curie Paris France CRIM 1801 McGill College avenue MontrealQC Canada University of Paris 1-Sorbonne Paris Cedex 05F-7523 1 France DMI University of Sherbrooke SherbrookeQC Canada University of Paris XII France

ISBN: (纸本)0897918088

We present an object-oriented design model and its mapping to Ada 95 in order to build Active Information Systems. This represents part of a methodology based, for each step of the software life cycle, on a model and a step-by-step process. Thus, analysis is based on (1) an extended Entity/Relationship model for the static aspects and (2) an event-driven model for the dynamic aspects, design is based on a particular object-oriented model and implementation is based on Ada. The main benefit of this approach is to achieve traceability and to foster reuse and weak coupling between software components. © 1996 acm.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Adding open modules to AspectJ 06

Adding open modules to AspectJ

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Ongkingco, Neil Avgustinov, Pavel Tibble, Julian Hendren, Laurie De Moor, Oege Sittampalam, Ganesh Programming Tools Group University of Oxford United Kingdom Sable Research Group McGill University Montreal Canada

ISBN: (纸本)159593300X

AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the base code is impossible to determine without analysing all advice that could modify its behaviour. The concept of open modules is proposed by Aldrich to solve the problems that arise from unrestricted advice. Defined for a, small functional language, it provides an encapsulation construct that allows an implementation to limit the set of points to which external advice may apply. We present an adaptation of open modules for AspectJ. We expand open modules to encompass the full set of point-cut primitives for AspectJ, extend its method of module composition to include the ability to open up a module, and describe the implementation of the design as an extension of the AspectBench compiler. We also provide an example of the use of open modules on a substantial AspectJ program to show how it would fit into existing AspectJ projects. Copyright 2006 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Use of C/C++ models for architecture exploration and verification of DSPs

Use of C/C++ models for architecture exploration and verific...

引用

43rd Annual design Automation conference, DAC 2006

作者： Brier, David Mitra, Raj S. Texas Instruments Inc. Dallas TX United States Texas Instruments Inc. Bangalore India

ISBN: (纸本)1595933816

Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural trade-offs that must be made for a practical implementation. The same models can be reused during the verification of the RTL subsequently developed, provided that various "hooks" which are desirable during the verification process are considered while creating these high level models. In addition, consideration must be given to the qualitative content of these high level models to permit an optimal verification flow allowing for compromise between features of the model and the completeness of the verification. Thus, high quality design and verification are achieved by the use of valid models and the valid use of models. In this paper, we describe our approach and show examples from a typical image processing application. Copyright 2006 acm.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

DPSOL: An executable requirements specification language for information processing systems

DPSOL: An executable requirements specification language for...

引用

proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track

作者： Tenazas, R.A. Concepcion, A.I. Villafuerte, R.M. Software Brewers Inc Makati Philippines

ISBN: (纸本)0818620099

The authors present the Delphi project, which deals with the design and implementation of a software engineering environment (SEE) to enhance software productivity, in particular, one that targets information systems (IS) for business data processsing problems. A set of specification languages was designed to specify the IS in a modular manner. Collectively, these languages are called the data processing specification outlining language (DPSOL). DPSOL is customizable, executable, extensible, and translatable and can be used in rapid prototyping or in automatic translation to a target 3GL/environment. The authors present the expressive power of DPSOL to specify the IS, and its automated process of checking referential integrity and computational consistency. The approach is translational (using templates) instead of transformational. It was found that templating is a powerful concept in automatic programming, at least for IS. The templates can be edited and modified to generate customized 3GL source code. Moreover, documentation can also be automatically generated.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

ICE™ and ICE/T™: Tools to assist in compiler design and implementation 04

ICE™ and ICE/T™: Tools to assist in compiler design and im...

引用

Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, ITiCSE-WGR '04

作者： Boyer, Truman Parks Chitsaz, Mohsen Department of Computer Science Frostburg State University Frostburg MD 21532 United States

ISBN: (纸本)9781450377942

ICE (Intermediate Code Engine) and ICE/T (ICE/Translator) are compiler back ends that execute on a Java Virtual Machine (JVM). They allow the student to complete a working compiler quickly and can execute on any platform that supplies a JVM. ICE is a quadruple interpreter that executes ICE code directly, and includes an assembler, which a builder can use to side-step most symbol management issues. ICE/T is a translator that accepts ICE assembly code as input, and generates an equivalent Java class file as output. This paper advocates the use of these tools in compiler implementation courses.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：