The proceedings contain 23 papers. The topics discussed include: formalizing timing diagrams as causal dependencies for verification purposes;a process compensation language;a process compensation language;cooperation...
ISBN:
(纸本)3540411968
The proceedings contain 23 papers. The topics discussed include: formalizing timing diagrams as causal dependencies for verification purposes;a process compensation language;a process compensation language;cooperation of formal methods in an engineering based software development process;developing control systems components;specification and analysis of automata-based designs;towards a unified development methodology for shared-variable parallel anddistributed programs;combining operational semantics, logic programming and literate programming in the specification and animation of the verilog hardware description language;how to write a healthiness condition;a concurrent and compositional Petri Net semantics of preemption;an approach to symbolic test generation;predicate diagrams for the verification of reactive systems;and towards model checking stochastic process algebra.
The proceedings contain 12 papers. The topics discussed include: WATIS2: design and application of an environment simulation system for test improvement of control software for automatic logistic systems;preliminary i...
ISBN:
(纸本)0769508375
The proceedings contain 12 papers. The topics discussed include: WATIS2: design and application of an environment simulation system for test improvement of control software for automatic logistic systems;preliminary investigations into distributed computing applications on a beowulf cluster;distributed simulation over loosely coupled domains;distributedengineering plant simuiatiod stimulation environment accreditation of accuracy;scheduling for very large virtual environments and networked games using visibility and priorities;exploiting temporal uncertainty in time warp simulations;dynamic grid-based multicast group assignment in data distribution management;a hybrid approach to data distribution management;state of the HLN RTI;adapting a supply-chain simulation for HLA;a generic rollback manager for optimistic HLA simulations;HLA-based simulation within an interactive engineering environment;and an approach for stream retrieval over HLA-RTI in distributed virtual environments.
In recent years, the Multilevel Fast Multipole Method (MLFMA) has been developed into one of the most powerful techniques for accelerating the iterative solution of integral equations of electromagnetics. It has been ...
详细信息
In recent years, the Multilevel Fast Multipole Method (MLFMA) has been developed into one of the most powerful techniques for accelerating the iterative solution of integral equations of electromagnetics. It has been shown that the MLFMA reduces the computational complexity of a matrix-vector multiply from O(N/sup 2/) to O(N log N), where N is the number of unknowns. In an attempt to extend the range of problems that can be solved using this technique, we have recently developed an application independent, parallel MLFMA kernel, called ScaleME, for distributed memory computers using MPI. In this paper, we shall discuss the characteristic features which distinguishes it from its static counterpart, such as work required for each level, the size of multipole expansions and interpolation/filtering operations, and their influence in the parallel algorithm design. We shall follow it with a discussion of major issues in the parallelization which are unique to the dynamic MLFMA, such as reducing the memory requirements for translation operators and the reduction of replicated geometric data structures. We shall also briefly discuss the load balancing strategies. Finally, we shall present some representative numerical results from some ScaleME accelerated electromagnetic scattering codes, including a simulation involving 4 million unknowns and that of the radar cross-section computation of a full scale aircraft on a Beowulf class cluster.
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, simulation, construction, and operati...
详细信息
ISBN:
(纸本)354066596X
The goal of OWL (Object-Oriented Workplace Laboratory) is to provide an object-oriented and component-based framework that supports the engineering of applications for the design, simulation, construction, and operation of buildings with more efficient use of building facilities. OWL is based on a software architecture using a combination of web and object technology. It offers location transparent and manufacturer independent access to a variety of facility control systems, and allows users to define "scenes" to adapt their work environment. In this paper, we describe the requirements, system design and a conceptual prototype of the OWL framework. We discuss how the application of design patterns and component technology impacts the framework to support the maintenance of corporate sites globally distributed across the world. A conceptual prototype of OWL written in Java is operational, managing distributed facilities at the intelligent Workplace at Carnegie Mellon University and at Technische Universitat Munchen.
The proceedings contain 59 papers. The topics discussed include: working group report of the 2ndworkshop on coordinating distributedsoftware development projects;a workgroup model for smart pushing and pulling;repla...
ISBN:
(纸本)0769503659
The proceedings contain 59 papers. The topics discussed include: working group report of the 2ndworkshop on coordinating distributedsoftware development projects;a workgroup model for smart pushing and pulling;replacing copies with connections: managing software across the virtual organization;design and implementation of PROSYT: a distributed process support system;a concept for supporting the formation of virtual corporations through negotiation;a meta-model for distributedsoftware development;using agents for distributedsoftware project management;coordinating open-source software development;and web infrastructure and coordination architectures for collaborative applications – shared artifacts, a shared language, or shared spaces?.
In this paper, we present a Mobile Thread Programming Model (MTPM), a model to simulate the persistence of a migratory thread, to overcome the problem of coexistence of mobility, persistence and autonomy for mobile ag...
详细信息
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a num...
详细信息
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a numerically intensive application in the domain of petrochemical exploration. The methodology does not assume the existence of detail design documentation for the sequential code. The methodology involves three basic phases: (1) reverse engineering;(2) parallel design;and (3) parallel implementation. The process iterates between phases two and three until the values of the performance metrics satisfy project requirements. In addition to the methodology itself, considerable detail related to the experiences and lessons learned in performing the case study are included.
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a num...
详细信息
A general methodology based on softwareengineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a numerically intensive application in the domain of petrochemical exploration. The methodology does not assume the existence of detail design documentation for the sequential code. The methodology involves three basic phases: (1) reverse engineering; (2) parallel design; and (3) parallel implementation. The process iterates between phases two and three until the values of the performance metrics satisfy project requirements. In addition to the methodology itself considerable detail related to the experiences and lessons learned in performing the case study, are included.
A new approach to handling battle simulation lethality is presented. In this approach a single server provides standard DIS damage states to entities fast enough for most real time applications. Benefits include freei...
详细信息
ISBN:
(纸本)0818685948
A new approach to handling battle simulation lethality is presented. In this approach a single server provides standard DIS damage states to entities fast enough for most real time applications. Benefits include freeing DIS simulations from the burden of maintaining damage state tables, lower DIS pre-exercise preparation, and Easier scenario configuration as a whole. These benefits are realized primarily because efforts to prepare and maintain the vulnerability data pertaining to the exercise are not duplicated.
暂无评论