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

MDSD for the iPhone: Developing a domain-specific language and IDE tooling to produce real world applications for mobile devices

MDSD for the iPhone: Developing a domain-specific language a...

引用

acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10

作者： Behrens, Heiko Itemis AG Germany

ISBN: (纸本)9781450302401

During the last years, code generators and models have become increasingly popular tools to support software development processes in manyfold ways. At the same time, the emerging pervasiveness of domain-specific languages (DSLs) in this field has complemented the idea of raising the level of abstraction by introducing specialized view points of a certain problem space. In combination with a proper set of idioms at the target platform generation-based approaches allow for weaving generated parts of an application with handwritten enhancements and refinements over the whole application lifecycle. The mobile division of itemis AG has delivered an implementation of such a model-based solution for mobile devices that uses a DSL to completely describe the structure and behavior of data-centric mobile applications. Its tool support reaches from static analysis over code navigation to compiler and simulator integration of the iPhone development platform. © 2010 acm.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Application Specific Processor design Architectures, design Methods and Tools

Application Specific Processor Design Architectures, Design ...

引用

IEEE and acm International conference on Computer-Aided design

作者： Nohl, Achim Schirrmeister, Frank Taussig, Drew Synopsys Inc Syst Level Solut D-52134 Herzogenrath Germany Synopsys Inc Syst Level Solut Mountain View CA 94043 USA

ISBN: (纸本)9781424481927

In this tutorial paper, we will outline a solution for prototyping, programming and implementing Application Specific Instruction-set Processors (ASIPs). A general introduction into this class of processor architectures and their characteristics is provided. The Synopsys Processor designer tool suite and the LISA language for ASIP design are jointly introduced in the context of a H.264 design example. Finally, implementation results are presented.

关键词： ASIP design H.264 LISA language Synopsys processor designer tool application specific instruction-set processors application specific integrated circuits application specific processor design design methods instruction sets integrated circuit design microprocessor chips processor architectures

来源：评论

学校读者我要写书评

暂无评论

Factor: A Dynamic Stack-based programming language

引用

acm sigplan NOTICES 2010年第12期45卷 43-57页

作者： Pestov, Slava Ehrenberg, Daniel Groff, Joe Carleton Coll Northfield MN USA

Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has a simple execution model and is based on the manipulation of data on a stack. An advanced metaprogramming system provides means for easily extending the language. Thus, Factor allows programmers to use the right features for their problem domain. The Factor implementation is self-hosting, featuring an interactive development environment and an optimizing compiler. In this paper, the language and its implementation are presented.

关键词： languages design Performance Factor dynamic languages stack-based languages

来源：评论

学校读者我要写书评

暂无评论

Hybrid bulk synchronous parallelism library for clustered SMP architectures

Hybrid bulk synchronous parallelism library for clustered SM...

引用

作者： Hamidouche, Khaled Falcou, Joel Etiemble, Daniel Université Paris Sud LRI F-91405 Orsay France

ISBN: (纸本)9781450302548

This paper presents the design and implementation of BSP++, a C++ parallel programming library based on the Bulk Synchronous Parallelism model to perform high performance computing on both SMP and SPMD architectures using OpenMPI and MPI. We show how C++ support for genericity provides a functional and intuitive user interface which still delivers a large fraction of performance compared to hand written code. We show how the library structure and programming models allow simple hybrid programming by composing BSP super-steps and letting BSP++ handling the middleware interface. The performance and scalability of this approach are then assessed by various benchmarks of classic HPC application kernels and distributed algorithms on various hybrid machines including a subset of the GRID5000 grid. © 2010 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Reverse inheritance in statically typed object-oriented programming languages

Reverse inheritance in statically typed object-oriented prog...

引用

24th European conference on Object-Oriented programming, ECOOP 2010 - 4th Workshop on Mechanisms for Specialization, Generalization and Inheritance, MASPEGHI'10

作者： ChirilǍ, Ciprian-Bogdan Sakkinen, Markku Lahire, Philippe Jurca, Ioan University Politehnica of Timişoara Romania University of Jyväskylä Finland University of Nice France

ISBN: (纸本)9781450305358

Reverse inheritance is a new class reuse mechanism, an experimental implementation of which we have built for Eiffel. It enables a more natural design approach, factorization of common features (members), insertion of classes into an existing hierarchy etc. Due to its reuse potential in Eiffel we consider exploring its capabilities in other industrial-strength programming languages like C++, Java and C#. © 2010 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reasoning about the implementation of Concurrency Abstractions on x86-TSO

Reasoning about the Implementation of Concurrency Abstractio...

引用

24th European conference on Object-Oriented programming (ECOOP 2010)

作者： Owens, Scott Univ Cambridge Cambridge CB2 1TN England

ISBN: (纸本)9783642141065

With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of computation, from hardware, to operating systems, to programming languages such as C++ and Java. However, none of these provide sequentially consistent shared memory;instead they have relaxed memory models, which make concurrent programs even more challenging to understand. programming language implementations run on hardware memory models, so VM and run-time system implementors must reason at both levels. Of particular interest are the low-level implementations of the abstractions that support language-level concurrency especially because they invariably contain data races. In this paper, we develop a novel principle for reasoning about assembly programs on our previous x86-TSO memory model, and we use it to analyze five concurrency abstraction implementations: two spinlocks (from Linux);a non-blocking write protocol;the double-checked locking idiom;and ***'s Parker. Our principle, called triangular-race freedom, strengthens the usual data-race freedom style of reasoning.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

designing event-based context transition in context-oriented programming

Designing event-based context transition in context-oriented...

引用

24th European conference on Object-Oriented programming, ECOOP 2010 - 2nd International Workshop on Context-Oriented programming, COP'10

作者： Kamina, Tetsuo Aotani, Tomoyuki Masuhara, Hidehiko University of Tokyo Japan Japan Advanced Institute of Science and Technology Japan

ISBN: (纸本)9781450305310

This paper proposes a new programming language EventCJ. Its design stems from our observation that, in many context-aware applications, context changes are triggered by external events. Thus, in addition to the current COP language mechanisms, namely the one to activate/deactivate layers in accordance with a flow of control in programs, and the one to dispatch method calls to partial methods on active layers, we propose a mechanism to declaratively switch contexts of the receiver of events. EventCJ can declare events that trigger context transitions, and context transition rules that define how each instance's context changes when it receives a specific event. After the transition, the instance acquires the context dependent behaviors provided by the activated context. Each event is declared in an AspectJ-like pointcut that specifies where the event is fired in the join points of the system. EventCJ separates the specification of when each context is activated and deactivated that may crosscut whole program in the existing COP languages. Furthermore, the declarative nature of the context transition rules help validation of some properties that the contexts should satisfy. © 2010 acm.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Contracts for Modular Discrete Controller Synthesis

引用

acm sigplan NOTICES 2010年第4期45卷 57-66页

作者： Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France

We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of the supervisory control of discrete event systems. Our contribution is in a language approach where modular discrete controller synthesis (DCS) is integrated, and it is concretized in the encapsulation of DCS into a compilation process. From transition system specifications of possible behaviors, DCS automatically produces controllers that make the controlled system satisfy the property given as objective. Our language features and compiling technique provide correctness-by-construction in that sense, and enhance reliability and verifiability. Our application domain is adaptive and reconfigurable systems: closed-loop adaptation mechanisms enable flexible execution of functionalities w.r.t. changing resource and environment conditions. Our language can serve programming such adaption controllers. This paper particularly describes the compilation of the language. We present a method for the modular application of discrete controller synthesis on synchronous programs, and its integration in the BZR language. We consider structured programs, as a composition of nodes, and first apply DCS on particular nodes of the program, in order to reduce the complexity of the controller computation;then, we allow the abstraction of parts of the program for this computation;and finally, we show how to recompose the different controllers computed from different abstractions for their correct co-execution with the initial program. Our work is illustrated with examples, and we present quantitative results about its implementation.

关键词： design languages Reliability Verification Discrete controller synthesis modularity components contracts reactive systems synchronous programming adaptive and reconfigurable systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating Java runtime reflection for implementing cross-language method invocations 10

Evaluating Java runtime reflection for implementing cross-la...

引用

Proceedings of the 8th International conference on the Principles and Practice of programming in Java

作者： Sobernig, Stefan Zdun, Uwe Institute for Information Systems and New Media Vienna University of Economics and Business Austria Information Systems Institute Vienna University of Technology Austria

ISBN: (纸本)9781450302692

Cross-language method invocations are commonly used for integrating objects residing in different programming language environments. In this experience report, we evaluate the performance and the design impact of alternative implementations of cross-language method invocations for the object-oriented scripting language Frag, implemented and embedded in Java. In particular, we compare reflective integration and generative integration techniques. For that, we present a performance evaluation based on a large set of test cases. In addition, we propose a new method for quantifying and comparing the implementation efforts needed for cross-language method invocations based on cross-language refactorings. We report on the lessons learnt and discuss the consequences of the implementation variants under review. © 2010 acm.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Archface: A contract place where architectural design and code meet together 10

Archface: A contract place where architectural design and co...

引用

32nd acm/IEEE International conference on Software Engineering, ICSE 2010

作者： Ubayashi, Naoyasu Nomura, Jun Tamai, Tetsuo Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan

ISBN: (纸本)9781605587196

This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architecture, is not only an ADL (Architecture Description language) but also a programming-level interface. Archface is effective for software evolution because traceability between design and its implementation can be realized by enforcing architectural constraints on program implementation, and this traceability is bidirectional. In Archface, a component exposes program points such as method call/execution and a connector defines how to coordinate exposed program points. A collaborative architecture consisting of components can be encapsulated into a group of interfaces and separated from implementation, because dynamic program points representing control flow can be specified in the interfaces. We can characterize the notion of Archface with the phrase "predicate coordination," in which program points are exposed by a predicate and coordinated by a trait-based connector. © 2010 acm.

关键词： Architectural design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：