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

An Introduction to Context-Oriented programming with ContextS

2nd International Summer School on Generative and Transformational Techniques in Software Engineering

作者： Hirschfeld, Robert Costanza, Pascal Haupt, Michael Univ Potsdam Hasso Plattner Inst D-14482 Potsdam Germany Vrije Univ Brussel Programming Technol Lab B-1050 Brussels Belgium

ISBN: (纸本)9783540886426

Context-oriented programming, or COP, provides programmers with dedicated abstractions and mechanisms to concisely represent behavioral variations that depend on execution context. By treating context explicitly, and by directly supporting dynamic composition, COP allows programmers to better express software entities that adapt their behavior late-bound at run-time. Our paper illustrates COP constructs, their application, and their implementation by developing a sample scenario, using ContextS in the Squeak/Smalltalk programming environment.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Image-based finite element mesh construction for material microstructures

引用

COMPUTATIONAL MATERIALS SCIENCE 2008年第4期43卷 989-999页

作者： Reid, Andrew C. E. Langer, Stephen A. Lua, Rhonald C. Coffman, Valerie R. Haan, Seung-Ill Garcia, R. Edwin Natl Inst Stand & Technol Informat Technol Lab Gaithersburg MD 20899 USA Natl Inst Stand & Technol Mat Sci & Engn Lab Gaithersburg MD 20899 USA Comp Integrat & Programming Solut Bethesda MD 20814 USA Samsung Corning Precis Glass Asan Chungnam Do South Korea Purdue Univ Sch Mat Engn W Lafayette IN 47907 USA

One way of computing the macroscopic behavior of a material sample with complex microstructure is to construct a finite element model based on a micrograph of a representative slice of the material. The quality of the results produced with such a model obviously depends on the quality of the constructed mesh. In this article, we describe a set of routines that modify and improve the quality of a 2D mesh. Most of the routines are guided by an effective element "energy" functional, which takes into account the shape quality of the elements and the homogeneity of the elements as determined from an underlying segmented image. The interfaces and boundaries in the image arise naturally from the segmentation process. From these routines, we construct a close-to-automatic mesh generator that requires only a few inputs, such as the linear sizes of the largest and smallest features in the micrograph. (C) 2008 Elsevier B.V. All rights reserved.

关键词： Meshing Mesh refinement Microstructures Finite element modeling Shape quality Homogeneity

来源：评论

学校读者我要写书评

暂无评论

Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough 08

Kicking the Tires of Software Transactional Memory: Why the ...

引用

20th ACM Symposium on Parallelism in Algorithms and Architectures

作者： Yoo, Richard M. Ni, Yang Welc, Adam Saha, Bratin Adl-Tabatabai, Ali-Reza Lee, Hsien-Hsin S. Georgia Inst Technol Sch Elect & Comp Engn Atlanta GA 30332 USA Intel Corp Programming Syst Lab Santa Clara CA 95054 USA

ISBN: (纸本)9781595939739

Transactional Memory (TM) promises to simplify concurrent programming, which has been notoriously difficult but crucial in realizing the performance benefit of multi-core processors. Software Transaction Memory (STM), in particular, represents a body of important TM technologies since it provides a mechanism to run transactional programs when hardware TM support is not available, or when hardware TM resources are exhausted. Nonetheless, most previous studies on STMs were constrained to executing trivial, small-scale worldoads. The assumption was that the same techniques applied to small-scale workloads could readily be applied to real-life, large-scale workloads. However, by executing several nontrivial workloads such as particle dynamics simulation and game physics engine on a state of the art STM, we noticed that this assumption does not hold. Specifically, we identified four major performance bottlenecks that were unique to the case of executing large-scale workloads on an STM: false conflicts, over-instrumentation, privatization-safety cost, and poor amortization. We believe that these bottlenecks would be common for any STM targeting real-world applications. In this paper, we describe those identified bottlenecks in detail, and we propose novel solutions to alleviate the issues. We also thoroughly validate these approaches with experimental results on real machines.

关键词： C/C plus Compiler Measurement Performance Runtime Software Transactional Memory

来源：评论

学校读者我要写书评

暂无评论

Seeded Tree Alignment

引用

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS 2008年第4期5卷 503-513页

作者： Lozano, Antoni Pinter, Ron Y. Rokhlenko, Oleg Valiente, Gabriel Ziv-Ukelson, Michal Tech Univ Catalonia Dept Software Log & Programming Res Grp E-08034 Barcelona Spain Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel IBM Res Lab IL-31905 Haifa Israel Tech Univ Catalonia Dept Software Algorithms Bioinformat Complex & Formal Methods R E-08034 Barcelona Spain Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel

The optimal transformation of one tree into another by means of elementary edit operations is an important algorithmic problem that has several interesting applications to computational biology. Here, we introduce a constrained form of this problem in which a partial mapping of a set of nodes (the "seeds") in one tree to a corresponding set of nodes in the other tree is given, and present efficient algorithms for both ordered and unordered trees. Whereas ordered tree matching based on seeded nodes has applications in pattern matching of RNA structures, unordered tree matching based on seeded nodes has applications in cospeciation and phylogeny reconciliation. The latter involves the solution of the planar tanglegram layout problem, for which a polynomial-time algorithm is given here.

关键词： RNA structure alignment comparative phylogenetics tree matching tanglegram layout

来源：评论

学校读者我要写书评

暂无评论

Object-oriented coordination in mobile ad hoc networks

Object-oriented coordination in mobile ad hoc networks

引用

9th International Conference on Coordination Models and Languages (COORDINATION 2007)

作者： Van Cutsem, Tom Dedecker, Jessie De Meuter, Wolfgang Vrije Univ Brussel Programming Technol Lab Brussels Belgium

ISBN: (纸本)9783540727934

We introduce an object-oriented referencing abstraction to express coordination between objects hosted on mobile devices interconnected by a wireless ad hoc network. On the one hand, we notice that the most popular communication paradigms for mobile ad hoc networks, such as publish/subscribe and tuple space architectures, promote loose coupling of collaborating participants. On the other hand, the paradigm in which many applications are developed is object-oriented, and traditional object referencing abstractions typically lack the beneficial loose coupling properties of aforementioned paradigms. This paper proposes to close the paradigmatic gap between an object-oriented language and its distributed communication infrastructure by introducing ambient references: loosely-coupled remote object references designed for mobile ad hoc networks.

关键词： Ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

AmbientTalk: object-oriented event-driven programming in mobile ad hoc networks

AmbientTalk: object-oriented event-driven programming in mob...

引用

26th International Conference of the Chilean-Society-of-Computer-Science

作者： Van Cutsem, Tom Mostinckx, Stijn Boix, Elisa Gonzalez Dedecker, Jessie De Meuter, Wolfgang Vrije Univ Brussel Programming Technol Lab Brussels Belgium

ISBN: (纸本)9780769530178

In this paper we describe AmbientTalk: a domain-specific language for orchestrating service discovery and composition in mobile ad hoc networks. AmbientTalk is a distributed object-oriented language whose actor-based, event-driven concurrency model makes it highly suitable for composing service objects across a mobile network. The language is a so-called ambient-oriented programming language which treats network partitions as a normal mode of operation. We describe AmbientTalk's object model, concurrency model and distributed communication model in detail. We also highlight influences from other languages and middleware that have shaped AmbientTalk's design.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Fact spaces: Coordination in the face of disconnection

Fact spaces: Coordination in the face of disconnection

引用

9th International Conference on Coordination Models and Languages (COORDINATION 2007)

作者： Mostinckx, Stijn Scholliers, Christophe Philips, Eline Herzeel, Charlotte De Meuter, Wolfgang Vrije Univ Brussel Programming Technol Lab Brussels Belgium

ISBN: (纸本)9783540727934

Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly relevant if the device provided context information rather than emitting messages, as such context information then becomes invalid. This paper proposes the Fact Space Model which establishes a logic coordination language on top of LIME's federated tuple space. In the model, the federated space offers applications a consistent view of their environment over which they can reason using logic rules. These rules encode which conclusions may be drawn from the presence of particular facts, and are similarly used to ensure the consistency of these conclusions when devices go out of range. By allowing applications to add application-specific hooks to these rules, the application programmer is offered a general-purpose mechanism to respond to the discovery and disconnection of devices.

关键词： Ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

The context-dependent role model

引用

7th International Conference on Distributed Applications and Interoperable Systems

作者： Vallejos, Jorge Ebraert, Peter Desmet, Brecht Van Cutsem, Tom Mostinckx, Stijn Costanza, Pascal Vrije Univ Brussel Programming Technol Lab Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9783540728818

Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, but also to the context of other devices they interact with. We present an approach that modularises behavioural adaptations into roles. Role selection takes the context of all the devices involved in an interaction into account, ensures an unambiguous scope of adaptation even in the presence of concurrency, and protects the privacy of the devices. Thus, our context-dependent role (CDR) model facilitates expressing interactions between applications in different, possibly conflicting contexts.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

Context-oriented domain analysis

引用

6th International Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2007)

作者： Desmet, Brecht Vallejos, Jorge Costanza, Pascal De Meuter, Wolfgang D'Hondt, Theo Vrije Univ Brussel Programming Technol Lab Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9783540742548

Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to develop robust implementations of context-aware systems since it establishes a comprehensive understanding of the problem space. This paper proposes the Context-Oriented Domain Analysis (CODA) model which is a specialized approach for analyzing, structuring, and formalizing the software requirements of context-aware systems.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

The puzzle approach for designing context-enabled applications

The puzzle approach for designing context-enabled applicatio...

引用

26th International Conference of the Chilean-Society-of-Computer-Science

作者： Desmet, Brecht Vanhaesebrouck, Kristof Vallejos, Jorge Costanza, Pascal De Meuter, Wolfgang Vrije Univ Brussel Programming Technol Lab Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9780769530178

Context-enabled applications adapt their behaviour according to the context of use. We observe that this kind of applications imply a severe increase of runtime variability. To this end, we propose our Puzzle Approach, a conceptual framework specifically tailored to deal with context-enabled applications. It consists of a language-independent, conceptual domain model to define the functionalities of context-enabled applications. At the heart of our puzzle approach lays a systematic plan of four steps to compute the most appropriate behaviour according to a concrete domain model and the running context.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：