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

Spirits: Using virtualization and pervasiveness to manage mobile robot software systems 06

2nd IEEE international workshop on Self-Managed Networks, systems, and Services, SelfMan 2006

作者： Raj, Himanshu Seshasayee, Balasubramanian O'Hara, Keith J. Nathuji, Ripal Schwan, Rarsten Balch, Tucker College of Computing Georgia Institute of Technology Atlanta GA 30332 United States

ISBN: (纸本)3540347399

Management capabilities comprise a key component of any autonomous distributed system. In this work our focus is on mobile systems like teams of robots exploring and operating in some physical environment. Here, basic management goals are to adapt application behavior to prevent or mitigate reductions in the application's quality of service. This paper presents the spirits system-level mechanisms supporting (1) behavior persistence - the ability to maintain some desirable behavior learned through online adaptation - and (2) behavior propagation - the ability to propagate a learned behavior across different physical components. With spirits, software management is enriched with a low-level mechanism, termed a spirit cache, which permits a mobile entity to cache its current state and code to realize behavior persistence. Next, a cached spirit can be acquired by a different physical component and then used, thereby propagating it. By using system-level virtualization techniques to realize spirit caching and propagation, both can be performed without the need to make any changes to application code, without requiring middleware-level support, and without changes to operating system kernels or utilities. Furthermore, any number of spirits can exist in a robot with system-level isolation guarantees. Experimental results presented in this paper highlight the types of overheads for spirit exchanges experienced on typical next generation virtualizable embedded machines, and indicate optimizations to be considered in future research. © Springer-Verlag Berlin Heidelberg 2006.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

WISENT: d-science for energy meteorology

WISENT: d-science for energy meteorology

引用

e-Science 2006 - 2nd IEEE international Conference on e-Science and Grid Computing

作者： Hasselbring, Wilhelm Heinemann, Detlev Hurka, Johannes Scheidsteger, Thomas Bischofs, Ludger Mayer, Christoph Ploski, Jan Scherp, Guido Lohmann, Sina Hoyer-Klick, Carsten Erbertseder, Thilo Gesell, Gerhard Schroedter-Homscheidt, Marion Heilscher, Gerd Rehwinkel, Jochen Rensberg, Stefan Software Engineering Group Dept. of Computer Science University of Oldenburg D-26111 Oldenburg Germany EHF Laboratory Dept. of Physics University of Oldenburg D-26111 Oldenburg Germany Business Information Management OFFIS - Institute for Computer Science D-26121 Oldenburg Germany D-82234 Wessling Germany D-70569 Stuttgart Germany D-82234 Weling Germany Meteocontrol GmbH 86157 Augsburg Germany

ISBN: (纸本)0769527345

Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability of renewable energy sources such as wind and solar is not continuous as it is affected by meteorological factors. The challenge is to develop forecast methods capable of determining the level of power generation in near real-time in order to control power plants for optimal energy production. Another scenario is the identification of optimal locations for such power plants. In our collabora tive project, these tasks are investigated in the domain of energy meteorology. For that purpose large data sources from many different sensors (e.g., satellites and ground stations) are the base for complex computations. The idea is to parallelize these computations in order to obtain significant speedup. This paper reports on an ongoing project employing Grid technologies in that context. Our approach to processing large data sets from a variety of heterogeneous data sources as well as ideas for parallel and distributed computing in energy meteorology are presented. Preliminary experience with several Grid middleware systems in our application scenario is discussed. © 2006 IEEE.

关键词： Renewable energy resources

来源：评论

学校读者我要写书评

暂无评论

On building parallel & Grid applications: Component technology and distributed services

引用

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS software TOOLS And APPLICATIONS 2005年第4期8卷 271-277页

作者： Gannon, D Krishnan, S Fang, L Kandaswamy, G Simmhan, Y Slominski, A Indiana Univ Dept Comp Sci Bloomington IN 47405 USA

software Component Frameworks are well known in the commercial business application world and now this technology is being explored with great interest as a way to build large-scale scientific applications on parallel computers. In the case of Grid systems, the current architectural model is based on the emerging web services framework. In this paper we describe progress that has been made on the Common Component Architecture model (CCA) and discuss its success and limitations when applied to problems in Grid computing. Our primary conclusion is that a component model fits very well with a services-oriented Grid, but the model of composition must allow for a very dynamic (both in space and in time) control of composition. We note that this adds a new dimension to conventional service workflow and it extends the "Inversion of Control" aspects of most component systems.

关键词： component framework CCA Grid web services XCAT

来源：评论

学校读者我要写书评

暂无评论

A load balancing tool for distributed parallel loops

引用

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS software TOOLS And APPLICATIONS 2005年第4期8卷 313-321页

作者： Cariño, RL Banicescu, I Mississippi State Univ Dept Comp Sci & Engn Mississippi State MS 39762 USA Mississippi State Univ Ctr Computat Sci ERC Mississippi State MS 39762 USA

Large scale applications typically contain parallel loops with many iterates. The iterates of a parallel loop may have variable execution times which translate into performance degradation of an application due to load imbalance. This paper describes a tool for load balancing parallel loops on distributed-memory systems. The tool assumes that the data for a parallel loop to be executed is already partitioned among the participating processors. The tool utilizes the MPI library for interprocessor coordination, and determines processor workloads by loop scheduling techniques. The tool was designed independent of any application;hence, it must be supplied with a routine that encapsulates the computations for a chunk of loop iterates, as well as the routines to transfer data and results between processors. Performance evaluation on a Linux cluster indicates that the tool reduces the cost of executing a simulated irregular loop without load balancing by up to 81%. The tool is useful for parallelizing sequential applications with parallel loops, or as an alternate load balancing routine for existing parallel applications.

关键词： dynamic load balancing adaptive loop scheduling

来源：评论

学校读者我要写书评

暂无评论

Towards verified automotive software 2

Towards verified automotive software

引用

2nd international workshop on software engineering for Automotive systems, SEAS 2005

作者： Botaschanjan, J. Kof, L. Kühnel, C. Spichkova, M. Institut Für Informatik Bolzmannstr. 3 GarchingD85748 Germany

ISBN: (纸本)1595931287

Automotive software is one of the most challenging fields of software engineering: it must meet real time requirements, is safety critical and distributed over multiple processors. With the increasing complexity of automotive software, as for example in the case of drive-by-wire, automated driving and driver assitents, software correctness becomes more and more a crucial issue. In order that these innovations can become reality, it is necessary to be able to guarantee software correctness. The presented work aims at verification of automotive software. For this purpose it introduces a verification approach, including a framework of verified modules which assists the verification of the actual application. Feasibility of this approach was validated on a case study that also showed how verification can be integrated into the development process. © 2005 ACM.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

On building parallel & Grid applications: Component technology and distributed services

On building parallel & Grid applications: Component technolo...

引用

2nd international workshop on Challenges of Large Applications in distributed Environments (CLADE 2004)

作者： Gannon, D Krishnan, S Fang, L Kandaswamy, G Simmhan, Y Slominski, A Indiana Univ Dept Comp Sci Bloomington IN 47405 USA

ISBN: (纸本)0769521150

关键词： component framework CCA Grid web services XCAT

来源：评论

学校读者我要写书评

暂无评论

On the estimation of software reliability of component-based dependable distributed systems

引用

1st international Conference on the Quality of software Architectures (QoSA 2005)/2nd international workshop on software Quality (SOQUA 2005)

作者： Dimov, A Punnekkat, S Univ Sofia Fac Math & Informat Dept Informat Technol Sofia 1164 Bulgaria Malardalen Univ Dept Comp Sci & Elect S-7220 Vasteras Sweden

ISBN: (纸本)3540290338

Component based development, which had been successful in enterprise computing, shows promises to be a good development model for automotive systems. This is possible if several dependability concerns of the embedded systems can be properly addressed by the models, frameworks and integration platforms. SaveCCM is a component model for automotive systems developed by employing component based system design. Our ongoing research is related to estimation of software reliability for this model. In this paper, we provide a survey of the state of the art on research techniques for the estimation of system reliability based on component reliabilities and architectures. We further discuss their pros and cons with reference to our architectural model and discuss some practical considerations. Based on this we also present the basics of our approach to reliability modeling of SaveCCM architectures.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

P3I: The Delaware programmability, productivity and proficiency inquiry

P3I: The Delaware programmability, productivity and proficie...

引用

2nd international workshop on software engineering for High Performance Computing System Applications, SE-HPCS '05, Co-located with the international Conference on software engineering, ICSE 2005

作者： Manzano, Joseph B. Zhang, Yuan Gao, Guang R. Department of Electrical and Computer Engineering University of Delaware Newark DE 19716 United States

ISBN: (纸本)1595931171

New advancements on high-productivity computing systems have shown the weaknesses of existing parallel programming models and languages. To address such weaknesses, a number of researchers have proposed new parallel programming models and powerful programming language features that can meet the challenges of the emerging HPC systems. However, the success or the failure of a new programming model and accompanied language features need to be evaluated in the context of their productivity impacts. In this paper, we report a productivity study that was conducted at the University of Delaware in the context of the IBM PERCS project, being funded via the DARPA/HPCS enterprise. In particular, our study is centered on the productivity impact of a new and key programming construct called Atomic Sections that is jointly proposed by our group and our colleagues at IBM. Copyright 2005 ACM.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2nd international workshop on software engineering for High Performance Computing System Applications, SE-HPCS '05, Co-located with the Int. Conf. software engineering, ICSE 2005

Proceedings of the 2nd International Workshop on Software En...

引用

2nd international workshop on software engineering for High Performance Computing System Applications, SE-HPCS '05, Co-located with the international Conference on software engineering, ICSE 2005

ISBN: (纸本)1595931171

The proceedings contain 17 papers. The topics discussed include: application of a development time productivity metric to parallel software development;a metric space for productivity measurement in software development;generating testable hypotheses from tacit knowledge for high productivity computing;can software engineering solve the HPCS problem?;building a software infrastructure for computational science applications: lessons and solutions;and away we go: understanding the complexity of launching complex HPC applications;automating the development of scientific applications using domain-specific modeling;HPC needs a tool strategy;predicting risky modules in open-source software for high performance computing;finite-state verification for high performance computing;improving scientific software component quality through assertions;and automated, scalable debugging of MPI programs with Intel(R) message checker.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An autonomic reservoir framework for the stochastic optimization of well placement

引用

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS software TOOLS And APPLICATIONS 2005年第4期8卷 255-269页

作者： Bangerth, W Klie, H Matossian, V Parashar, M Wheeler, MF Univ Texas Ctr Subsurface Modeling Austin TX 78712 USA Rutgers State Univ Appl Software Syst Lab Piscataway NJ USA

The adequate location of wells in oil and environmental applications has a significant economic impact on reservoir management. However, the determination of optimal well locations is both challenging and computationally expensive. The overall goal of this research is to use the emerging Grid infrastructure to realize an autonomic self-optimizing reservoir framework. In this paper, we present a policy-driven peer-to-peer Grid middleware substrate to enable the use of the Simultaneous Perturbation Stochastic Approximation (SPSA) optimization algorithm, coupled with the Integrated parallel Accurate Reservoir Simulator (IPARS) and an economic model to find the optimal solution for the well placement problem.

关键词： Grid computing autonomic Grid middleware stochastic optimization optimal well placement reservoir management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：