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

Proceedings of the 1997 2nd international workshop on software engineering for parallel and distributed systems

作者： Diaz, Manuel Rubio, Bartolome Troya, Jose Maria Universidad de Malaga Malaga Spain

In this paper, we present a new coordination model and a small set of programming notations for distributed programming that can be integrated into very different programming languages (imperative, declarative or object oriented). Both together, allow distributed programs to be developed in a compositional way, by assembling different independent pieces of (possibly preexisting and heterogeneous) code. This approach is in the spirit of many other similar proposals, such as Linda, supporting multiparadigm and multilingual integration. In addition, the Tuple Channel coordination model provides a powerful set of concurrent programming techniques, inherited from Concurrent Logic Languages (CLLs), but trying to overcome the efficiency drawbacks of logic variables in distributed implementations of CLLs. In the present paper we introduce this coordination model, giving some illustrative examples to show its suitability and expressiveness;some implementation issues are also commented on.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Methodology for verification and analysis of parallel & distributed systems requirements specifications

Methodology for verification and analysis of parallel & dist...

引用

Proceedings of the 1997 2nd international workshop on software engineering for parallel and distributed systems

作者： Lateef, Khalid Ammar, Hany Mogulothu, V. Nikzadeh, T. West Virginia Univ Morgantown United States

Performing rigorous analysis of parallel and distributed systems (PDS) specifications is one of the important tasks during the early stages of development. The ambiguities and errors left unchecked during the analysis phase can creep into design and development phases, resulting in cost & schedule overruns and a less reliable end product. The Commercial Off the Shelf, CASE (Computer Aided software engineering) tools can play an important role in the analysis and design phases. However techniques must be developed to address the shortcomings of CASE tools. A set of such techniques is presented in this paper. CASE tools can be used to gather PDS specifications in the form of analysis models. The techniques presented in this paper deal with the problem of performing rigorous analysis of PDS specifications originally developed using a CASE tool. The approach is based on integrating a CASE tool with a verification tool based on Coloured Petri Nets (CPNs). CPNs can be used to model and analyze concurrency in specifications and design phases. Dynamic simulations of CPN models can be used to conduct performance/performability analysis as well as risk assessment studies.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Integrating library modules into special purpose parallel algorithms

Integrating library modules into special purpose parallel al...

引用

2nd international workshop on software engineering for parallel and distributed systems

作者： Rauber, T Runger, G Universitaet Halle-Wittenberg Halle Germany

ISBN: (纸本)0818680431

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. In this paper we 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 nor 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. We 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 data flow graphs that can be used to determine data distributions for the library modules such that a minimal global execution time results.

关键词： numerical algorithms group-SPMD model scientific libraries data flow analysis data distribution

来源：评论

学校读者我要写书评

暂无评论

Making distributed applications manageable through instrumentation

Making distributed applications manageable through instrumen...

引用

Proceedings of the 1997 2nd international workshop on software engineering for parallel and distributed systems

作者： Katchabaw, Michael J. Howard, Stephen L. Lutfiyya, Hanan L. Marshall, Andrew D. Bauer, Michael A. Univ of Western Ontario London Canada

The goal of a management system in a distributed computing environment is to provide a centralized and coordinated view of an otherwise distributed and heterogeneous collection of hardware and software resources. Management systems monitor, analyze and control network resources, system resources, and distributed application programs. Many organizations currently depend on mission-critical distributed applications, a trend that will increase as software engineering tools emerge that make it easier to construct distributed applications. We believe that manageability must be built in to distributed applications from the beginning rather than added in an ad hoc fashion after they have been developed. Just as designing software for usability, testability and maintenance are being addressed in the development process, so must designing for manageability. Application manageability is a research issue of particular interest to us. The work described in this paper focuses on instrumenting processes to allow them to respond to management requests, generate management reports, and maintain information required by the management system. We present an instrumentation architecture to support this, a prototype implementation which includes a class library of standard instrumentation, and a methodology for instrumentation.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Petri net semantics for B(PN)2 with procedures

Petri net semantics for B(PN)2 with procedures

引用

Proceedings of the 1997 2nd international workshop on software engineering for parallel and distributed systems

作者： Fleischhack, Hans Grahlmann, Bernd Universitaet Oldenburg Oldenburg 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 minimized. 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).

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Hierarchical optimization of parallel applications

Hierarchical optimization of parallel applications

引用

Proceedings of the 1997 2nd international workshop on software engineering for parallel and distributed systems

作者： Mitschele-Thiel, Andreas Universitaet Erlangen-Nuernberg 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.

关键词： parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

High-level views of distributed executions: convex abstract events

引用

Automated software engineering 1997年第2期4卷 179-197页

作者： Kunz, Thomas Univ of Waterloo Waterloo Canada

Due to the complexity of distributed applications, understanding their behavior is a challenging task. To remedy this problem, graphical visualizations of distributed executions in the form of process-time diagrams are frequently employed. However, such process-time diagrams do not scale for long-running and complex distributed applications. To reduce the display complexity, abstract graphical views of an execution are frequently suggested. One commonly used abstraction is to group primitive events into abstract events. This paper discusses some of the problems encountered when analyzing executions at abstract levels and introduces the concept of convex abstract events. Such abstract events can be used to reason about executions at higher levels, facilitating program development, debugging, and maintenance. We discuss some fundamental aspects, such as the precedence relation and its efficient detection, for abstract events. The paper also presents a graphical representation for convex abstract events which can easily be included in process-time diagrams. Poet, our visualization tool, was enhanced with a facility to display abstract events. Using a non-trivial distributed application, examples of the resulting abstract execution visualizations are discussed.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Scheduling of parallel processing systems based on algorithmic skeletons

Scheduling of parallel processing systems based on algorithm...

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： B. Kalthoff Heinz Nixdorf Institut Paderborn University Paderborn Germany

We motivate the use of algorithmic skeletons for modeling parallel applications in the context of scheduling. Scalability and other features of the skeletal approach are used to improve the quality of scheduling parallel applications in multiprogramming systems. We show how skeletons can be used to model parallel applications that can perform dynamical remapping. This technique modifies schedules during runtime and increases system efficiency.

关键词： parallel processing Scheduling algorithm Skeleton Processor scheduling Scalability Dynamic scheduling Concurrent computing Throughput Heuristic algorithms Hardware

来源：评论

学校读者我要写书评

暂无评论

Testing parallel and distributed programs with temporal logic specifications

Testing parallel and distributed programs with temporal logi...

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： M. Frey M. Oberhuber Institut für Informatik Technische Universität München Munich Germany LRR-TUM Technische Universität München Munich Germany

This paper presents a new approach for testing parallel and distributed programs based on specifications. The requirements are formulated in temporal logic. The description of test cases is extended by control patterns enabling to cope with the demands of parallel applications. For the formulation of these patterns, an abstract execution model called POEM is introduced. After executing a parallel program with respect to a test case specification and its patterns, the resulting trace is checked against the temporal logic specification of the predefined requirements.

关键词： Logic testing parallel processing software engineering Application software software testing software quality software tools Debugging Message passing Flow graphs

来源：评论

学校读者我要写书评

暂无评论

parallel implementations of combinations of broadcast, reduction and scan

Parallel implementations of combinations of broadcast, reduc...

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： C. Wedler C. Lengauer Fakultät für Mathematik und Informatik Universität Passau Germany

Broadcast, reduction and scan are popular functional skeletons which are used in distributed algorithms to distribute and gather data. The authors derive new parallel implementations of combinations of broadcast, reduction and scan via a tabular classification of linearly recursive functions. The trick in the derivation is to not simply combine the individual parallel implementations of broadcast, reduction and scan, but to transform these combinations to skeletons with a better performance. These skeletons are also linearly recursive.

关键词： Broadcasting Skeleton Cost function Functional programming distributed algorithms parallel algorithms Data structures Electrostatic precipitators Pattern matching

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：