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

9th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2011

作者： Schoeberl, Martin Department of Informatics and Mathematical Modeling Technical University of Denmark Denmark

ISBN: (纸本)9781450307314

Safety-Critical Java (SCJ) is based on the Real-Time Specification for Java. To simplify the certification of Java programs, SCJ supports only a restricted scoped memory model. Individual threads share only immortal memory and the newly introduced mission memory. All other scoped memories are thread private. Furthermore, the notation of a maximum backing store requirement enables implementation of the scoped memories without fragmentation issues. In this paper we explore the implications of this new scoped memory model and possible simplifications in the implementation. It is possible to unify the three memory area types and provide a single class to represent all three memory areas of SCJ. The knowledge of the maximum storage requirements allows using nested backing stores in the implementation of the memory area representation. The proposed design of an SCJ compliant scope implementation is evaluated on an embedded Java processor. © 2011 acm.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

ABI Compatibility Through a Customizable language

引用

acm sigplan NOTICES 2011年第2期46卷 147-156页

作者： Atkinson, Kevin Flatt, Matthew Lindstrom, Gary Univ Utah Sch Comp Salt Lake City UT 84112 USA

ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core language. This approach makes many parts of the language easily customizable. For example, since the class construct can be defined using macros, a programmer can have complete control over the memory layout of objects. Using this capability, a programmer can mitigate certain problems in software evolution such as fragile ABIs (Application Binary Interfaces) due to software changes and incompatible ABIs due to compiler changes. In this paper, we outline the problem of fragile and incompatible ABIs and show how ZL can be used to solve them.

关键词： languages design Macros C C plus ABI Binary Compatibility

来源：评论

学校读者我要写书评

暂无评论

Modular Domain-Specific language Components in Scala

引用

acm sigplan NOTICES 2011年第2期46卷 83-92页

作者： Hofer, Christian Ostermann, Klaus Aarhus Univ DK-8000 Aarhus C Denmark Univ Marburg D-35032 Marburg Germany

Programs in domain-specific embedded languages (DSELs) can be represented in the host language in different ways, for instance implicitly as libraries, or explicitly in the form of abstract syntax trees. Each of these representations has its own strengths and weaknesses. The implicit approach has good composability properties, whereas the explicit approach allows more freedom in making syntactic program transformations. Traditional designs for DSELs fix the form of representation, which means that it is not possible to choose the best representation for a particular interpretation or transformation. We propose a new design for implementing DSELs in Scala which makes it easy to use different program representations at the same time. It enables the DSL implementor to define modular language components and to compose transformations and interpretations for them.

关键词： languages design Embedded languages Domain-Specific languages Term Representation Visitor Pattern Scala

来源：评论

学校读者我要写书评

暂无评论

Polymorphic bytecode instrumentation 11

Polymorphic bytecode instrumentation

引用

Proceedings of the tenth international conference on Aspect-oriented software development

作者： Moret, Philippe Binder, Walter Tanter, Éric Faculty of Informatics University of Lugano Lugano Switzerland PLEIAD Laboratory University of Chile Santiago Chile

ISBN: (纸本)9781450305563

Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java Virtual Machine. Aspect weavers and other instrumentations are usually developed independently and combining them often requires significant engineering effort, if at all possible. In this paper we introduce polymorphic bytecode instrumentation (PBI), a simple but effective technique that allows dynamic dispatch amongst several, possibly independent instrumentations. PBI enables complete bytecode coverage, that is, any method with a bytecode representation can be instrumented. We illustrate further benefits of PBI with three case studies. First, we provide an implementation of execution levels for AspectJ, which avoid infinite regression and unwanted interference between aspects. Second, we present a framework for adaptive dynamic analysis, where the analysis to be performed can be changed at runtime by the user. Third, we describe how PBI can be used to support a form of dynamic mixin layers. We provide thorough performance evaluations with dynamic analysis aspects applied to standard benchmarks. We show that PBI-based execution levels are much faster than control flow pointcuts to avoid interference between aspects, and that their efficient integration in a practical aspect language is possible. We also demonstrate that PBI enables adaptive dynamic analysis tools that are more reactive to user inputs than existing tools that rely on dynamic aspect-oriented programming with runtime weaving.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the Workshop - Open Source and design of Communication, OSDOC 2011

Proceedings of the Workshop - Open Source and Design of Comm...

引用

Workshop on Open Source and design of Communication, OSDOC 2011

ISBN: (纸本)9781450308731

The proceedings contain 19 papers. The topics discussed include: impacts of data interchange formats on energy consumption and performance in smartphones;community sharing platform for mobile devices;performance study of Conillon - a platform for distributed computing;secure deduplication on mobile devices;implementation of business intelligence tools using open source approach;open source data mining tools for audit purposes;audit of e-Commerce process;Plan2See: discovering events through Web 1.0;teaching computer programming with structured programming language and flowcharts;innovate in your program computer class: an approach based on a serious game;training and interface features in technology acceptance;medieval guild as metaphor to a knowledge sharing community;and collaborative framework for browser games development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A stream-computing extension to OpenMP 11

A stream-computing extension to OpenMP

引用

Proceedings of the 6th International conference on High Performance and Embedded Architectures and Compilers

作者： Pop, Antoniu Cohen, Albert Centre de Recherche en Informatique MINES ParisTech France INRIA Saclay - Île-de-France Orsay France

ISBN: (纸本)9781450302418

This paper introduces an extension to OpenMP3.0 enabling stream programming with minimal, incremental additions that seamlessly integrate into the current specification. The stream programming model decomposes programs into tasks and explicits the flow of data among them, thus exposing data, task and pipeline parallelism. It helps the programmers to express concurrency and data locality properties, avoiding non-portable low-level code and early optimizations. We survey the diverse motivations and constraints converging towards the design of our simple yet powerful language extension, and we present experimental results of a prototype implementation in a public branch of GCC 4.5. Copyright 2011 acm.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Development of internal domain-specific languages: design principles and design patterns 11

Development of internal domain-specific languages: Design pr...

引用

18th conference on Pattern languages of Programs, PLoP 2011

作者： Günther, Sebastian Software Languages Lab Faculty of Sciences Vrije Universiteit Brussel Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9781450312837

A great part of software development challenges can be solved by one universal tool: Abstraction. Developers solve development challenges by using expressions and concepts that abstract from too technical details. One especially supportive tool for abstraction are domain-specific languages (DSLs). DSLs are specifically crafted languages that support abstraction in two ways. On the one side, they abstract from the (real-world) concepts of the domain by introducing objects with structure and behavior that are representative for the domain. On the other side, they abstract from a programming language and do not depend on hardware-specific details. We focus on internal DSLs, which are build on top of an existing host language. Such DSLs can completely use the development tools of their host, are quick to build because they reuse existing abstractions, and can be easily integrated with other programs, libraries, and DSLs of the same host. Developing DSLs is challenging. Especially dynamic object-oriented programming languages like Ruby and Python are used as hosts for DSLs. In these languages, DSLs exploit syntactic variations of the host to express domain-specific notations, and they access the host's reflective facilities and metaprogramming capabilities to implement the domain semantics. Although there are several case studies for DSLs, explanation of a DSLs design and implementation uses mostly host-specific terminology. Here we identify two particular challenge. First, the DSLs design intent is explained too specific to the particular DSL, making it difficult to reuse explained techniques to develop DSLs in another domain. Second, because the DSL design is explained with techniques native to the used host language, it is difficult to transfer these techniques to other host languages. In the long term, this could lead to fragmented islands of DSL design knowledge. Our solution to these challenges is to provide a host-language independent catalog of design principles

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Dynamo: A Transparent Dynamic Optimization System

引用

acm sigplan NOTICES 2011年第4期46卷 41-52页

作者： Bala, Vasanth Duesterwald, Evelyn Banerjia, Sanjeev Hewlett Packard Labs Cambridge MA 02142 USA

We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stream as it executes on the processor. The input native instruction stream to Dynamo can be dynamically generated (by a JIT for example), or it can come from the execution of a statically compiled native binary. This paper evaluates the Dynamo system in the latter, more challenging situation, in order to emphasize the limits, rather than the potential, of the system. Our experiments demonstrate that even statically optimized native binaries can be accelerated Dynamo, and often by a significant degree. For example, the average performance of -O optimized SpecInt95 benchmark binaries created by the HP product C compiler is improved to a level comparable to their -O4 optimized version running without Dynamo. Dynamo achieves this by focusing its efforts on optimization opportunities that tend to manifest only at runtime, and hence opportunities that might be difficult for a static compiler to exploit. Dynamo's operation is transparent in the sense that it does not depend on any user annotations or binary instrumentation, and does not require multiple runs, or any special compiler, operating system or hardware support. The Dynamo prototype presented here is a realistic implementation running on an HP PA-8000 workstation under the HPUX 10.20 operating system.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Model-based Kinematics Generation for Modular Mechatronic Toolkits

引用

acm sigplan NOTICES 2011年第2期46卷 157-166页

作者： Bordignon, Mirko Schultz, Ulrik P. Stoy, Kasper Univ So Denmark Modular Robot Lab Maersk Inst Odense Denmark

Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems whose mechanical structure can be dynamically modified. The key feature that enables this dynamic modification is the capability of the individual modules to connect to each other in multiple ways and thus generate a number of different mechanical systems, in contrast with the monolithic, fixed structure of conventional robots. The mechatronic flexibility, however, complicates the development of models and programming abstractions for modular robots, since manually describing and enumerating the full set of possible interconnections is tedious and error-prone for real-world robots. In order to allow for a general formulation of spatial abstractions for modular robots and to ensure correct and streamlined generation of code dependent on mechanical properties, we have developed the Modular Mechatronics Modelling language (M3L). M3L is a domain-specific language, which can model the kinematic structure of individual robot modules and declaratively describe their possible interconnections, rather than requiring the user to enumerate them in their entirety. From this description, the M3L compiler generates the code that is needed to simulate the resulting robots within Webots, a widely used commercial robot simulator, and the software component needed for spatial structure computations by a virtual machine-based runtime system, which we have developed and used for programming physical modular robots.

关键词： design languages domain-specific languages robotics code generation

来源：评论

学校读者我要写书评

暂无评论

Adding Genericity to a Plug-in Framework

引用

acm sigplan NOTICES 2011年第2期46卷 93-102页

作者： Wolfinger, Reinhard Loeberbauer, Markus Jahn, Markus Moessenboeck, Hanspeter Johannes Kepler Univ Linz Inst Syst Software Linz Austria Johannes Kepler Univ Linz Christian Doppler Lab Automated Software Engn Linz Austria

Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized applications without programming. If plug-and-play composition is also dynamic, applications can be reconfigured on the fly to load only components the user needs for his current work. We have created ***, a plug-in framework that supports dynamic plug-and-play composition. The basis for plug-and-play in Plux is the composer which replaces programmatic composition by automatic composition. Components just specify their requirements and provisions using metadata. The composer then assembles the components based on that metadata by matching requirements and provisions. When the composer needs to reuse general-purpose components in different parts of an application, the component model requires genericity. The composer depends on metadata that specify which components should be connected and for general-purpose components those metadata need to be different on each reuse. We present an approach for generic plug-ins with component templates and an implementation for Plux. The general-purpose components become templates and the templates get parameterized when they are composed.

关键词： design Generic plug-ins Component templates Plug-and-play composition Run-time adaptation Plug-in architectures Composition Generic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：