In this paper we describe a class of routing algorithms called multi-class algorithms. Multi-class algorithms support multiple classes of routing simultaneously, thereby allowing different applications, and even diffe...
详细信息
Discusses the development of a generic interface that will enable traditional non-object-oriented applications to become HLA (High Level Architecture) compliant. By providing for both DIS (distributed interactive simu...
详细信息
Discusses the development of a generic interface that will enable traditional non-object-oriented applications to become HLA (High Level Architecture) compliant. By providing for both DIS (distributed interactive simulation) and HLA, the proposed interface can support not only new but existing or legacy software applications as well. In addition, the interface will make it easy for simulation applications that today require a standard networking protocol as a backbone to use DIS components in place of corresponding HLA components as an interim solution. After a general overview of the concept of a generic interface, the paper then proceeds with a description of the interface components and how they can be used to harmonize the various applications involved in a simulation.
In recent years, the Chaos Project at the University of Washington has analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented;of these, the chaotic routing algorithm (a.k.a....
详细信息
In this paper, 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 s...
详细信息
ISBN:
(纸本)0818680431
In this paper, 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.
This paper presents a new approach for testing parallel anddistributed programs based on specifications. The requirements are formulated in temporal logic. The description of test cases is extended by control pattern...
详细信息
ISBN:
(纸本)0818680431
This paper presents a new approach for testing parallel anddistributed 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 rest case specification and its patterns, the resulting trace is checked against the temporal logic specification of the predefined requirements.
Broadcast, Reduction and Scan are popular functional skeletons which are used in distributed algorithms to distribute and gather data. We derive new parallel implementations of combinations of Broadcast, Reduction and...
详细信息
ISBN:
(纸本)0818680431
Broadcast, Reduction and Scan are popular functional skeletons which are used in distributed algorithms to distribute and gather data. We 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.
We consider the automatic generation of parallel templates as basis for the implementation of n(2)-problem solvers on parallelsystems. The automatic template generator relies on the embedding of a virtual systolic lo...
详细信息
ISBN:
(纸本)0818680431
We consider the automatic generation of parallel templates as basis for the implementation of n(2)-problem solvers on parallelsystems. The automatic template generator relies on the embedding of a virtual systolic loop on the given machine's network and optimizes hyper-systolic data communication by means of Simulated Annealing techniques. We have generated a parallel template to efficiently program an n-body code on the parallel SIMD system Quadrics.
In this paper an approach to provide Web-based framework for distributed execution of collaborative applications is presented. The work is a part of a wider on-going project whose aim is to make environmental simulati...
详细信息
ISBN:
(纸本)0818680431
In this paper an approach to provide Web-based framework for distributed execution of collaborative applications is presented. The work is a part of a wider on-going project whose aim is to make environmental simulation models publicly available to the Internet users. The Web computing skeleton has been constructed from prefabricated Web-enabled components with the ability to open and maintain Web connections and provide collaboration over the Internet. The case study illustrates how a single-user simulation system can be embedded in the skeleton, thus becoming widely available distributed application.
ADL-d is a graphical design technique for parallel anddistributedsoftware, in which communication modeling plays a central part. Recently, we have used formal methods to define ADL-d's semantics. The original ob...
详细信息
ADL-d is a graphical design technique for parallel anddistributedsoftware, in which communication modeling plays a central part. Recently, we have used formal methods to define ADL-d's semantics. The original objective was to provide well-defined guidelines for future implementations of ADL-d's communication constructs, but, as it turned out, significant feedback resulted to the notation itself. We give an outline of the ADL-d notation and its intuitive semantics. Also, we introduce the formal semantics, and discuss what impact this formalization has had on the original notation.
The research topic of software architectures is increasing its importance, as softwaresystems become more and more complex, difficult to understand, and too expensive to design from scratch. It is becoming clear that...
详细信息
ISBN:
(纸本)0818680431
The research topic of software architectures is increasing its importance, as softwaresystems become more and more complex, difficult to understand, and too expensive to design from scratch. It is becoming clear that it is possible to reuse and adapt already existing software architectures, if adequate techniques are applied during the development process. We discuss how a method based on a formal design notation supports specification, design, verification, and especially reuse of a software architecture. Our method consists of analyzing a formal specification written in Z to produce a formal design document written in Larch. The use of two different formal notations allows us to exploit specific technique and tools to help a designer in reasoning on and verifying properties and features of a software architecture document. To validate our approach we present a formal treatment of a software architecture which has been reused in real development processes.
暂无评论