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

A GENTLE INTRODUCTION TO S-NET: TYPED STREAM PROCESSING AND declarative COORDINATION OF ASYNCHRONOUS COMPONENTS

PARALLEL PROCESSING LETTERS 2008年第2期18卷 221-237页

作者： Grelck, Clemens Scholz, Sven-Bodo Shafarenko, Alex Univ Lubeck Inst Software Technol & Programming Languages Ratzeburger Allee 160 D-23538 Lubeck Germany Univ Hertfordshire Dept Comp Sci Hatfield AL10 9AB Herts England

We present the design of S-NET, a coordination language and component technology based on stream processing. S-NET achieves a near-complete separation between application code, written in a conventional programming language, and coordination code, written in S-NET itself. S-NET boxes integrate existing sequential code as stream-processing components into streaming networks, whose construction is based on algebraic formulae built out of four network combinators. Subtyping on the level of boxes and networks and a tailor-made inheritance mechanism achieve flexible software reuse.

关键词： Parallel programming models stream processing component models coordination declarative programming structural subtyping

来源：评论

学校读者我要写书评

暂无评论

A System for Using Wireless Sensor Networks as Globally Deductive Databases

A System for Using Wireless Sensor Networks as Globally Dedu...

引用

4th Annual IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB)/SecPriWiMob/SAUCEWiMob/HWN-RMQWiMob/STWiMob

作者： Choochaisri, Supasate Intanagonwiwat, Chalermek Chulalongkorn Univ Dept Comp Engn Bangkok 10330 Thailand

ISBN: (纸本)9780769533933

Several research efforts have abstracted wireless sensor networks as relational databases whose data can be easily queried by users. However, none of these works includes recursive query mechanisms and globally logic reasoning techniques necessary for powerful uses as in deductive databases. In this paper, we propose an approach for abstracting wireless sensor networks as deductive databases that consist of rules, predicates, and logic-based queries. Our approach enables globally logic reasoning and data relating on a query that can be recursive or non-recursive. Additionally, the approach is more convenient to users because the users no longer need to be concerned about local behaviors of each sensor node. We also present LogicQ, an underlying system for disseminating and processing logic-based queries as well as collecting data in an energy-efficient manner. LogicQ uses a data filtering and suppressing technique that directly corresponds to an injected logic-based query for energy savings. Our performance analysis indicates that LogicQ can handle logic-based queries efficiently in terms of completeness and soundness while minimizing the energy consumption.

关键词： declarative programming Deductive Database Logic programming Recursive Query Processing Wireless Sensor Networks

来源：评论

学校读者我要写书评

暂无评论

DeXteR - An Extensible Framework for declarative Parameter Passing in Distributed Object Systems

引用

9th International Middleware Conference

作者： Gopal, Sriram Tansey, Wesley Kannan, Gokulnath C. Tilevich, Eli Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA

ISBN: (纸本)9783540898559

In modern distributed object systems, reference parameters are passed to a remote method based on their runtime type. We argue that such type-based parameter passing is limiting with respect to expressiveness, readability, and maintainability, and that parameter passing semantics should be decoupled from parameter types. We present declarative parameter passing, an approach that fully decouples parameter passing semantics from parameter types in distributed object systems. In addition, we describe DeXteR, an extensible framework for transforming a type-based remote parameter passing model to a declaration-based model transparently. Our framework leverages aspect-oriented and generative programming techniques to enable adding new remote parameter passing semantics, without requiring detailed understanding of the underlying middleware implementation. Our approach is applicable to both application and library code and incurs negligible performance overhead. We validate the expressive power of our framework by adding several non-trivial remote parameter passing semantics (i.e., copy-restore, lazy, streaming) to Java RMI.

关键词： Extensible Middleware Metadata Parameter Passing Aspect Oriented programming declarative programming

来源：评论

学校读者我要写书评

暂无评论

Optimizing declarative Sensornets 08

Optimizing Declarative Sensornets

引用

6th ACM Conference on Embedded Networked Sensor Systems

作者： Chu, David Hellerstein, Joseph M. Lai, Tsung-te Univ Calif Berkeley EECS Comp Sci Div Berkeley CA 94720 USA

This work extends the declarative sensornet programming model with automated program optimizations that attempt to minimize energy expenditure at various points in the communications stack.

ISBN: (纸本)9781595939906

This work extends the declarative sensornet programming model with automated program optimizations that attempt to minimize energy expenditure at various points in the communications stack.

关键词： Sensor Networks declarative programming

来源：评论

学校读者我要写书评

暂无评论

Towards declarative Queries on Adaptive Data Structures

Towards Declarative Queries on Adaptive Data Structures

引用

IEEE 24th International Conference on Data Engineering (ICDE 2008), vol.3

作者： Nicolas Bruno Pablo Castro Microsoft Corporation USA

ISBN: (纸本)9781424418367;1424418364

In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarative queries over adaptive data structures. We first explore available technologies such as Language-Integrated Query, or LINQ (which enables declarative queries in programming languages) and the *** DataSet classes (which provide various efficient alternatives to manipulate data in procedural terms). Unfortunately, combining the good features in both technologies is not straightforward, since LINQ over DataSets results by default in execution plans that do not exploit the specific characteristics of the data structures. To address this limitation, we introduce a lightweight optimizer that dynamically chooses appropriate execution strategies for declarative queries on DataSets based on their internal structure. To further enable declarative programming, we introduce a component that dynamically reorganizes the internal representation of DataSets, so that they automatically respond to workload changes. We experimentally showcase the features of our approach.

关键词： Computer programming Languages Data structures Dataset Legal Executions declarative programming Internal representations internal structure Lightweight Workload Self tuning

来源：评论

学校读者我要写书评

暂无评论

DeXteR: an extensible framework for declarative parameter passing in distributed object systems 08

引用

Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware

作者： Sriram Gopal Wesley Tansey Gokulnath C. Kannan Eli Tilevich Virginia Tech Blacksburg VA

ISBN: (纸本)9783540898559

关键词： metadata parameter passing aspect oriented programming declarative programming extensible middleware

来源：评论

学校读者我要写书评

暂无评论

From Predicates to Programs: The Semantics of a Method Language

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年第SPEC. ISS.期184卷 171-187页

作者： Faitelson, David Welch, James Davies, Jim Univ Oxford Comp Lab Wolfson BldgParks Rd Oxford OX1 3QD England

This paper explains how a declarative method language, based upon the formal notations of Z and B, can be used as a basis for automatic code generation. The language is used to describe the intended effect of operations, or methods, upon the components of an object model;each method is defined by a pair of predicates: a precondition, and a post-condition. Following the automatic incorporation of model invariants, including those arising from class associations, these predicates are extended-again, automatically-to address issues of consistency, definition, and dependency, before being translated into imperative programs. The result is a formal method for transforming object models into complete, working systems.

关键词： formal methods declarative programming object modelling weakest preconditions

来源：评论

学校读者我要写书评

暂无评论

Formal description of web user interfaces for automatic generation

Formal description of web user interfaces for automatic gene...

引用

3rd International Conference on Web Information Systems and Technologies

作者： Cannella, Vincenzo Peri, Daniele Pirrone, Roberto Ardizzone, Edoardo Univ Palermo DINFO Viale Sci I-90128 Palermo Italy

ISBN: (纸本)9789728865788

In this work we present an extension of a paradigm for abstract description of user interfaces using data structures described in the Set Description Language (SDL). An experimental software system for the automatic design and generation of web client interfaces has been developed too, which makes use of the Extended SDL (ESDL). At first, an interface is described at the highest level of abstraction through the data it operates on, and it is generated in a way that enforces data correctness. Generation of interfaces is executed by an expert system on the basis of a set of rules expressed in first order logic. The development of the system relies on AJAX technology, which makes the developing process adaptive and allows the feasibility of dynamic web interfaces.

关键词： SDL interface design declarative programming model-view-control paradigm Prolog AJAX Web

来源：评论

学校读者我要写书评

暂无评论

Faster phylogenetic inference with MXG

引用

14th International Conference on Logic for programming, Artificial Intelligence, and Reasoning

作者： Mitchell, David G. Hach, Faraz Mohebali, Raheleh Simon Fraser Univ Computat Log Lab Burnaby BC V5A 1S6 Canada

ISBN: (纸本)9783540755586

We apply the logic-based declarative programming approach of Model Expansion (MX) to a phylogenetic inference task. We axiomatize the task in multi-sorted first-order logic with cardinality constraints. Using the model expansion solver MXG and SAT+cardinality solver MXC, we compare the performance of several MX axiomatizations on a challenging set of test instances. Our methods perform orders of magnitude faster than previously reported declarative solutions. Our best solution involves polynomial-time pre-processing, redundant axioms, and symmetry-breaking axioms. We also discuss our method of test instance generation, and the role of pre-processing in declarative programming.

关键词： phylogeny declarative programming model expansion

来源：评论

学校读者我要写书评

暂无评论

The Design and Implementation of a declarative Sensor Network System 07

The Design and Implementation of a Declarative Sensor Networ...

引用

5th ACM Conference on Embedded Networked Sensor Systems

作者： Chu, David Popa, Lucian Tavakoli, Arsalan Hellerstein, Joseph M. Levis, Philip Shenker, Scott Stoica, Ion Univ Calif Berkeley EECS Comp Sci Div Berkeley CA 94720 USA

ISBN: (纸本)9781595937636

Sensor networks are notoriously difficult to program, given that they encompass the complexities of both distributed and embedded systems. To address this problem, we present the design and implementation of a declarative sensor network platform, DSN: a declarative language, compiler and runtime suitable for programming a broad range of sensornet applications. We demonstrate that our approach is a natural fit for sensor networks by specifying several very different classes of traditional sensor network protocols. services and applications entirely declaratively - these include tree and geographic routing, link estimation, data collection, event tracking, version coherency, and localization. To our knowledge, this is the first time these disparate sensornet tasks have been addressed by a single high-level programming environment. Moreover, the declarative approach accommodates the desire for architectural flexibility and simple management of limited resources. Our results suggest that the declarative approach is well-suited to sensor networks, and that it can produce concise and flexible code by focusing on what the code is doing, and not on how it is doing it.

关键词： Sensor Networks declarative programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：