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

12th European Conference on Artificial Intelligence, ECAI 1996, workshop on Learning in distributed Artificial Intelligence systems, LDAIS 1996 and the 2nd international Conference on Multiagent systems, ICMAS 1996, workshop on LIOME 1996

作者： Singh, Munindar P. Huhns, Michael N. Department of Computer Science North Carolina State University Raleigh NC United States Department of Electrical and Computer Engineering University of South Carolina Columbia SC 29208 United States

ISBN: (纸本)3540629343

Cooperative Information systems (CISs) are multiagent systems with organizational and database abstractions geared to the large open heterogeneous information environments of today. CIS is also the name of the associated research area, which has emerged from the synthesis of distributed databases and distributed artificial intelligence. In CIS, software agents mitigate an information environment's heterogeneity by interacting through common protocols, and manage its large size by making intelligent local decisions without centralized control. In order to cope with the dynamism presented by open environments, CIS agents must have the ability to adapt and learn. We discuss some of the most important problems involving learning and adaptivity in CISs, including requirements for reconciling semantics and improving coordination. We present a "customers' view" of learning technology as might find ready application in CISs. © Springer-Verlag 1997.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A Petri net semantics for B(PN)/sup 2/ with procedures

A Petri net semantics for B(PN)/sup 2/ with procedures

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： H. Fleischhack B. Grahlmann Fachbereich Informatik Universität Oldenburg Oldenburg Germany Institut für Informatik Universität Hildesheim Hildesheim Germany

Verification of parallel programs is a very important goal on the way to improve the reliability of software. The PEP tool, a programming environment based on Petri nets, allows verification of parallel programs by a variety of different verification methods (e.g., partial order or BDD based model checking, and stubborn set or symmetrically reduced state space analysis) based on a compositional denotational Petri net semantics. The main contribution of this paper consists in the development of a fully compositional high-level Petri net semantics for concurrent programs with procedures, covering recursion, global variables, and different types of parameter passing (including call-by-reference). The semantics (which is already implemented) is oriented towards verification, i.e., the semantic models are minimised. Due to the abstract and flexible nature of the Petri net model used, our approach is very general and may also be applied to other specification and programming languages. We are, for instance, presently approaching SDL (Specification and Description Language).

关键词： Algebra Programming environments Petri nets Asynchronous communication Channel capacity Reactive power Computer languages

来源：评论

学校读者我要写书评

暂无评论

Hierarchical optimization of parallel applications

Hierarchical optimization of parallel applications

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： A. Mitschele-Thiel IMMD VII Universität Erlangen Nürnberg Erlangen Germany

In order to allow the efficient implementation of parallel application programs, various design decisions have to be made and implemented. These include the task mapping and schedule, the task granularity as well as decisions concerning code optimizations. The paper describes a hierarchical concept for system design and implementation. The concept has been implemented in the DSPL programming environment, an integrated approach to generate efficient parallel programs from data-flow specifications. It supports the design itself as well as the implementation of the design decisions. In contrast to most programming environments for MIMD systems that simply use a runtime kernel or an operating system to implement the design decisions, the DSPL programming environment actually transforms the application program to implement the design decisions as the task schedule and granularity. In this paper we focus on the hierarchical strategy to compute and implement the design decisions concerning the task schedule. We show how most of the schedule can be decided statically even in the presence of input-dependent program behavior. This results in much lower runtime overhead than incurred with dynamic approaches based on operating systems.

关键词： Processor scheduling parallel programming Programming environments Operating systems Signal design Algorithm design and analysis Signal processing algorithms World Wide Web Runtime environment Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Integrating library modules into special purpose parallel algorithms

Integrating library modules into special purpose parallel al...

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： T. Rauber G. Runger Institut für Informatik Universität Halle Wittenberg Halle Germany Fachbereich Informatik Universität des Saarlandes Saarbruecken Germany

Most programs from scientific computing can benefit from the use of numerical libraries which provide efficient implementations for standard solution methods that often occur in numerical simulations. This is especially true for parallel scientific computing. A methodology that allows the integration of library functions without any additional programming effort would ease this programming style. The authors address the question how to integrate library procedures into hierarchically organized parallel programs. The hierarchical structure of a specific algorithms results from a top-down decomposition into submethods which can be realized by library functions. The integration of library functions not only requires a correct specification of data dependencies between different modules but has also to take into account a possible distribution of data among the processors. They present algorithms for the adaptation of library modules such that their functional type and underlying data distribution fit into the hierarchical framework. The adaptation includes the construction of dataflow graphs that can be used to determine data distributions for the library modules such that a minimal global execution time results.

关键词： Libraries parallel algorithms Scientific computing Functional programming Data analysis Numerical simulation Numerical models Algorithm design and analysis Computational modeling Nonlinear equations

来源：评论

学校读者我要写书评

暂无评论

REALISME: real time integrated software methods adapted to ESA's needs

REALISME: real time integrated software methods adapted to E...

引用

workshop on parallel and distributed Real-Time systems

作者： J. Galle E2S Ghent Belgium

Space systems development is becoming more and more critical due to the complexity of the industrial organisation, the increase in technical complexity, the criticality of the functions to be supported, and that in a more and more competitive environment. Within these developments, software is playing an increasing and more central role. This leads to new or stronger constraints on the software. Because of this, the European Space Agency (ESA) has already conducted several studies, e.g. HOORA (Hierarchical Object Oriented Analysis), HOOD (Hierarchical Object Oriented Design) and ESSDE (European Space software Development Environment). This report describes the results of the REALISME project, which aims to propose a consistent approach for real-time software development, integrating the existing (object oriented) methods for analysis and design. The emphasis is on providing clear and ready-to-use guidelines, based on existing methods.

关键词： Object oriented modeling Guidelines Programming software tools Space technology software engineering Contracts Aerospace industry Computer industry Production

来源：评论

学校读者我要写书评

暂无评论

Efficient parallel generation of partitioned, unstructured meshes

引用

ADVANCES IN engineering software 1996年第1-2期27卷 59-70页

作者： Hodgson, DC Jimack, PK School of Computer Studies University of Leeds Leeds LS2 9JT UK

In this paper we introduce a method for generating unstructured meshes in parallel which are partitioned in a 'good' way. When solving a partial differential equation on a parallel distributed memory machine, the mesh should be decomposed so that the communication requirement of the numerical solver is minimised and also the amount of work to be performed on each processor is approximately equal. Most previous work in this area has concentrated on partitioning a mesh that has already been generated. We introduce a method which actually generates the partitioned mesh in parallel whilst producing a good quality decomposition and compare this method with other approaches. Copyright (C) 1996 Civil-Comp Limited and Elsevier Science Limited

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

parallel solvers for spline collocation equations

引用

ADVANCES IN engineering software 1996年第1-2期27卷 71-89页

作者： Christara, CC Department of Computer Science University of Toronto Toronto Ontario Canada M5S 14

A variety of solvers for the spline collocation equations arising from the discretisation of elliptic partial differential equations (PDEs) are considered. The convergence properties of semi-iterative and Krylov subspace acceleration methods applied to the system of spline collocation equations are studied. The preconditioners tested include incomplete factorisation and SSOR for both the natural and multicolour orderings, domain decomposition based on Schur complement methods with nonoverlapping subdomains, or Schwarz methods with overlapping subdomains, and multigrid methods. The parallelisation of some of the above iterative methods is studied and their advantages and disadvantages discussed. The communication requirements of the methods are discussed when the methods are implemented on distributed memory machines. Results which show that spline collocation methods are very competitive for the solution of PDEs are presented. Copyright (C) 1996 Civil-Comp Limited and Elsevier Science Limited

关键词： elliptic partial differential equations iterative methods domain decomposition distributed memory machines

来源：评论

学校读者我要写书评

暂无评论

The NAG numerical PVM library 2nd

The NAG numerical PVM library

引用

2nd international workshop on Applied parallel Computing in Computations in Physics, Chemistry and engineering Science, PARA 1995

作者： McDonald, Ken The Numerical Algorithms Group Ltd. Wilkinson House Jordan Hill Road OxfordOX2 8DR United Kingdom

ISBN: (纸本)3540609024

The Numerical Algorithms Group Ltd has been actively involved in research and development into parallel software for many years and has contributed theoretical and practical expertise to such high-profile projects such as LAPACK. As a result of these efforts the NAG Fortran 77 Library incorporates state-of-the-art software that is efficient and portable across a wide range of scalar, vector and shared-memory computers. A numerical library that is also efficient and portable across a range of distributed-memory machines has proven to be an elusive goal until recently. Encouraged by the promise shown by the ScaLAPACK project (a follow-on to the LAPACK project), and using the same public-domain message-passing systems (PVM and BLACS), NAG began developing a general-purpose numerical library for distributed-memory machines. The NAG Numerical PVM Library described in this paper is of a modest size but demonstrates the concept of portable parallel software and has the potential for considerable expansion. Plans for the second release are already being implemented which will broaden the coverage and remove some limitations. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

2nd international Eurospace Ada-Europe Symposium, 1995

2nd International Eurospace Ada-Europe Symposium, 1995

引用

2nd international Eurospace-Ada-Europe Symposium, Ada in Europe 1995

ISBN: (纸本)3540607579

The proceedings contain 37 papers. The special focus in this conference is on Ada in Europe. The topics include: A sceptical assessment;an approach to overcome the software crisis;an executive for ada safety critical applications;developing fault tolerant software in ada for real-time dependable systems;the practical application of safety techniques on an ada based project;ada in mixed language applications;heterogeneous data structures and cross-classification of objects with ada95;an AndF based ada 95 compiler system;performance tuning of a check-out system coded in ada;development of the on-board software;first operational ada application in C.N.E.S;extending the ada 95 initial conditions for preelaboration for use in real-time systems;the use of ada for the ENVISAT-1 simulator;objects at use in nautical simulators;an interface to distributed interactive simulation;partitioned ada for remotely invoked services;programming distributed systems with both ada 95 and PVM;distributed object oriented programming and interoperability for ada 95;distributed and parallel systems and HOOD 4;a re-engineering methodology and supporting tool;translating shlaer/mellor object-oriented analysis models into ada95;the introduction of an object-oriented analysis/design method and object-oriented metrics in the software development life-cycle;modeling and validation of tasks with algebraic structured nets;design of concurrent software based on problem concurrency;a successful experiment combining CCSDS SFDUs, X/Motif, HOOD and ada;applying teamwork/ada and RAISE for developing an air traffic control application and breaking through the V and V bottleneck.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic parallelization of the AVL FIRE benchmark for a distributed-memory system 2nd

Automatic parallelization of the AVL FIRE benchmark for a di...

引用

2nd international workshop on Applied parallel Computing in Computations in Physics, Chemistry and engineering Science, PARA 1995

作者： Brezany, Peter Sipkova, Viera Chapman, Barbara Greimel, Robert Institute for Software Technology and Parallel Systems Austria European Centre for Parallel Computing at Vienna University of Vienna Liechtensteinstrasse 22 ViennaA-1092 Austria AVL List GmbH Kleiststrasse 48 GrazA-8020 Austria

ISBN: (纸本)3540609024

Computational fluid dynamics (CFD) is a Grand Challenge discipline whose typical application areas, like aerospace and automotive engineering, often require enormous amount of computations. parallel processing offers very high performance potential, but irregular problems like CFD have proven difficult to map onto parallel machines. In such codes, access patterns to major data arrays are dependent on some runtime data, therefore runtime preprocessing must be applied on critical code segments. So, automatic parallelization of irregular codes is a challenging problem. In this paper we describe parallelizing techniques we have developed for processing irregular codes that include irregularly distributed data structures. These techniques have been fully implemented within the Vienna Fortran Compilation System. We have examined the AVL FIRE benchmark solver GCCG, to evaluate the influence of different kinds of data distributions on parallel-program execution time. Experiments were performed using the Tjunc dataset on the iPSC/860. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：