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

4th workshop on programming languages and operating systems, plos 2007

作者： Bierhoff, Kevin Hawblitzel, Chris Carnegie Mellon University Microsoft Research

ISBN: (纸本)9781595939227

Research operating systems are often written in type-safe, high-level languages. these languages perform automatic static and dynamic checks to give basic assurances about run-time behavior. Yet such operating systems still rely on unsafe, low-level code to communicate with hardware, with little or no automated checking of the correctness of the hardware-software interaction. this paper describes experience using the Spec# language and Boogie verifier to statically specify and statically verify the safety of a driver's interaction with a network interface, including the safety of DMA. Copyright 2007 ACM.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Formalising device driver interfaces

Formalising device driver interfaces

引用

4th workshop on programming languages and operating systems, plos 2007

作者： Ryzhyk, Leonid Kuz, Ihor Heiser, Gernot NICTA Sydney Australia University of New South Wales Sydney Australia Open Kernel Labs Sydney Australia

ISBN: (纸本)9781595939227

the lack of well-defined protocols for interaction with the operating system is a common source of defects in device drivers. In this paper we investigate the use of a formal language to define these protocols unambiguously. We present a language that allows us to convey all important requirements for driver behaviour in a compact specification and that can be readily understood by software engineers. It is intended to close the communication gap between OS and driver developers and enable more reliable device drivers. Copyright 2007 ACM.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Configurable memory protection by aspects

Configurable memory protection by aspects

引用

4th workshop on programming languages and operating systems, plos 2007

作者： Lohmann, Daniel Streicher, Jochen Hofer, Wanja Spinczyk, Olaf Schröder-Preikschat, Wolfgang Friedrich-Alexander University Erlangen-Nuremberg Department of Computer Science 4

ISBN: (纸本)9781595939227

We describe the implementation of memory protection by means of aspect-oriented programming (AOP) in CiAO, an AUTOSAR-like family of embedded operating systems. the use of AOP was originally motivated by the fact that memory protection is a cross-cutting policy, which, furthermore, has to be configurable at build-time in AUTOSAR. We learned, however, that besides switching between full protection and no protection, an AOP-based approach also makes it easy to apply completely different models of protection. For the domain of statically configured embedded systems, where certain failure scenarios can often be excluded by means of code analysis or even probability, this facilitates tailored and light-weight "nav-as-vou-use" protection strateaies Copyright 2007 ACM.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Engineering a BPEL orchestration engine as a multi-agent system

引用

SCIENCE OF COMPUTER programming 2007年第3期66卷 226-245页

作者： Viroli, Mirko Denti, Enrico Ricci, Alessandro Univ Bologna DEIS Alma Mater Studiorum I-40126 Bologna Italy

the BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today's business-to-business infrastructures, carrying the burden of dynamically composing existing services. In this paper, we present the design of a BPEL orchestration engine based on a multi-agent system: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of ReSpecT tuple centres, a coordination model extending LINDA with the ability of declaratively programming the tuple space behaviour. Our architecture separates the interaction, correlation, and workflow concerns into clearly identified tiers. In particular, we identify the workflow tier as the one encapsulating the core and most critical behaviour of the engine: due to its intrinsic complexity, we tackle its design formally. We introduce a core algebraic language of BPEL dealing with its workflow-related aspects, and provide it with a semantics based on a mapping into a net specification, modelling the dependencies between the activities to be executed by the engine. this mapping plays the role of a formal design, since it directly leads to an implementation of the workflow tier in the orchestration engine. (c) 2007 Elsevier B.V. All rights reserved.

关键词： multiagent systems orchestration languages coordination models languages process algebra

来源：评论

学校读者我要写书评

暂无评论

Coordinating mobile agents in interaction spaces

引用

SCIENCE OF COMPUTER programming 2007年第3期66卷 246-265页

作者： Peschanski, Frederic Darrasse, Alexis Guts, Nataliya Bobbio, Jeremy Univ Paris 06 LIP6 Paris France

We present a kernel coordination language for mobile agent systems that considers as first-class citizens both the agents and the channels they use to interact with each other. Channels implement distributed, asynchronous communications with FIFO ordering and multicast routing. Features related to mobility include agent migration as well as remote cloning. Most importantly, a virtual form of channel mobility inspired by the pi-calculus is also supported. this expressive feature allows mobile agents to adapt dynamically to their changing environment. the language semantics, presented formally, is based on a geometrical model named the Interaction Spaces. this provides an intuitive interpretation of the agent features and capabilities in terms of combined spatial projections and transformations. through spatial composition, we show that standard labeled transition systems and bisimulation-based semantics may be defined above the geometry, enabling reasoning and formal verification. Finally, we describe prototype implementations of the proposed model and language. (c) 2007 Elsevier B.V. All rights reserved.

关键词： mobile agents process algebras coordination languages geometry

来源：评论

学校读者我要写书评

暂无评论

7th International workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated Conference on Rewriting, Deduction, and programming, RDP 2007

7th International Workshop on Reduction Strategies in Rewrit...

引用

7th International workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated Conference on Rewriting, Deduction, and programming, RDP 2007

the proceedings contain 14 papers. the special focus in this conference is on Rewriting, Deduction, and programming. the topics include: Innermost termination of rewrite systems by labeling;decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems;termination of lazy rewriting revisited;undecidable properties on length-two string rewriting systems;rules and strategies in java;regular strategies as proof tactics for CIRC;formalizing constructions of abstract machines for functional languages in Coq;on term-graph rewrite strategies;towards a sharing strategy for the graph rewriting calculus;complete laziness;stack-based strategic control;computational soundness of a call by name calculus of recursivelyscoped records;minimality in a linear calculus with iteration;token-passing nets for functional languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Functional programming in communications security

Functional programming in communications security

引用

4th ACM SIGPLAN workshop on Commercial Users of Functional programming, CUFP'07

作者： Lilja, Timo SSH Communications Security United States

At SSH Communications Security, we've employed functional programming for a long time in some of our projects. Over the years, we've shipped a number of products written mostly in Scheme, and are about to ship some software which is in part written in Standard ML. We have also written several pieces of software for internal use in Haskell, Standard ML, Scheme, and probably others as well. In this talk, I will describe some useful insights into how these languages have worked for us in developing security software. We had some successes: we've been able to build and ship fairly large software systems rather quickly and with good confidence in certain aspects of their security. We've also experienced some failures. Using functional programming doesn't protect against bad design. Implementations of functional languages are sometimes slow. the user base of many languages is small, and there aren't a whole lot of programmers on the market who can program well in, for example, Scheme. Over the past few years, we've also seen some of the social phenomena related to functional programming: how people feel about it, why they believe it works/doesn't work, and why they are (not) interested in doing it. © 2007 ACM.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

OSEK/VDX API for Java

OSEK/VDX API for Java

引用

3rd workshop on programming languages and operating systems, plos 2006: Linguistic Support for Modern operating systems

作者： Stilkerich, Michael Wawersich, Christian Gal, Andreas Schröder-Preikschat, Wolfgang Franz, Michael Donald Bren School of Information and Computer Sciences University of California Irvine Irvine CA 92697 United States University of Erlangen-Nuremberg Computer Science 4 Martensstrasse 1 91058 Erlangen Germany

ISBN: (纸本)1595935770

Modern cars contain a multitude of micro controllers for a wide area of tasks. the diversity of the heterogeneous hardware and software leads to a complicated and expensive integration *** multiple tasks on fewer micro controllers reduces diversity and costs of production, but poses new problems with the growing complexity of software on a single micro controller. therefore a more robust software development process and a safe execution environment is needed in the automotive area and other areas with similar constraints. With the KESO system we have implemented a very small and adapted Java execution environment for an OSEK/VDX operating system to address these *** this paper we present our approach for a low overhead OSEK/VDX system interface, which is an integral component of the KESO system. We show how access to the system services can be restricted at low cost to ensure the isolation of tasks by the use of type-safety and modern compiler techniques, while maintaining a familiar programming interface for developers that are used to OSEK application development using the C programming language. Copyright © 2006 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Distributed Real-Time Measurement System Using Time-Triggered Network Approach

Distributed Real-Time Measurement System Using Time-Triggere...

引用

IEEE International workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Piotr Bilski Wieslaw Winiecki Department of Informatics Warsaw Agricultural University Warsaw Poland Institute of Radioelectronics Warsaw Agricultural University Warsaw Poland

the paper presents results of the examination of the deterministic network used by the distributed virtual instrument. Software technology applied to control measurement data transfer between the real-time components was presented. Configuration of the laboratory test stand, designed to examine deterministic network is described. Results of the research are presented and conclusions, as well as future prospects iterated.

关键词： Real time systems Instruments operating systems Application software Data acquisition Software measurement Intelligent networks Electronic mail programming environments Communications technology

来源：评论

学校读者我要写书评

暂无评论

High-Level Application Development is Realistic for Wireless Sensor Networks

High-Level Application Development is Realistic for Wireless...

引用

IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (SECON)

作者： Marcin Karpinski Vinny Cahill Distributed Systems Group School of Computer Science and Statistics Trinity College Dublin Dublin Ireland

programming wireless sensor network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programmers to use relatively low-level techniques to deal with the logical concurrency and asynchronous event handling inherent in these applications. In addition, existing general-purpose, node-level programming tools only support the networked nature of WSN applications in a limited way and result in application code that is hardly portable across different software platforms. All of this makes programming a single device a tedious and error-prone task. To address these issues we propose a high-level programming model that allows programmers to express applications as hierarchical state machines and to handle events and application concurrency in a way similar to imperative synchronous languages. Our program execution model is based on static scheduling what allows for standalone application analysis and testing. For deployment, the resulting programs are translated into efficient sequential C code. A prototype compiler for TinyOS has been implemented and its evaluation in described in this paper.

关键词： Wireless sensor networks Application software programming profession Concurrent computing operating systems Prototypes Hardware Computer languages Peer to peer computing Computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：