this conference proceedings contains 22 papers on advances in the design and analysis of algorithms for parallel and distributedsimulation. Topics discussed include selecting the checkpoint interval in time warp para...
详细信息
ISBN:
(纸本)1565550552
this conference proceedings contains 22 papers on advances in the design and analysis of algorithms for parallel and distributedsimulation. Topics discussed include selecting the checkpoint interval in time warp parallelsimulation, parallel algorithms for simulating continuous time Markov chains, determining initial states for time-parallelsimulations, global synchronization for optimistic parallel discrete event simulation, an algorithm for minimally latent global virtual time, a parallel partitioning technique for use with conservative parallelsimulation, disseminating critical synchronization information in parallel discrete event simulations, shared variables in distributedsimulation, high performance parallel logic simulation on a network of workstations, corolla partitioning for distributed logic simulation of VLSI circuits, efficient implementation of event sets in time warp, an analytical comparison of periodic checkpointing and incremental state saving, parallelsimulation of communicating finite state machines, the effect of synchronization requirements on the performance of distributedsimulations, and time warp simulation in time-constrained systems.
the proceedings contain 48 papers. the topics discussed include: adaptive microphone array beamforming for teleconferencing using VHDL and parallel architectures;the collective computing model;the split data cache in ...
ISBN:
(纸本)0769500595
the proceedings contain 48 papers. the topics discussed include: adaptive microphone array beamforming for teleconferencing using VHDL and parallel architectures;the collective computing model;the split data cache in multiprocessor systems: an initial hit ratio analysis;design of highly parallel edge detection nodes using evolutionary techniques;optimizing network throughput: optimal versus robust design;the impact of cache organization on the instruction issue rate of a superscalar processor;integrating selected fault masking and self-diagnosis mechanisms;a replicated resource architecture for high performance network service;supporting cooperative WWW browsing: a proxy-based approach;work load balance approaches for branch and bound algorithms on distributed systems;load balancing for a class of irregular and dynamic problems: region growing image segmentation algorithms;and on the performance of nearest-neighbors load balancing algorithms in parallel systems.
the proceedings contain 5 papers. the topics discussed include: parallel and distributed frugal tracking of a quantile;defining the boundaries for endpoint congestion management in networks for high-performance comput...
ISBN:
(纸本)9798400706486
the proceedings contain 5 papers. the topics discussed include: parallel and distributed frugal tracking of a quantile;defining the boundaries for endpoint congestion management in networks for high-performance computing;accelerating application bulk synchronous writes in HPC environments;flying base station channel capacity;and eGossip: optimizing resource utilization in gossip-based clusters through eBPF.
the proceedings contain 11 papers. the topics discussed include: run-time conformance checking of mobile and distributed systems using executable models;some resources for teaching concurrency;understanding the behavi...
ISBN:
(纸本)9781605586557
the proceedings contain 11 papers. the topics discussed include: run-time conformance checking of mobile and distributed systems using executable models;some resources for teaching concurrency;understanding the behavior of transactional memory applications;unit testing for multi-threaded java programs;MulticoreSDK : a practical and efficient data race detector for real-world applications;pattern-driven deadlock avoidance;forcing small models of conditions on program interleaving for detection of concurrent bugs;sidetrack: generalizing dynamic atomicity analysis;clash of the titans: tools and techniques for hunting bugs in concurrent programs;an annotation assistant for interactive debugging of programs with common synchronization idioms;and a proposal of operation history management system for source-to-source optimization of HPC programs.
Although users may want to employ shared variables when they program distributedsimulation applications, almost none of the currently existing distributedsimulation systems do offer this facility. In this paper, we ...
详细信息
ISBN:
(纸本)1565550552
Although users may want to employ shared variables when they program distributedsimulation applications, almost none of the currently existing distributedsimulation systems do offer this facility. In this paper, we present new algorithms which provide the illusion of consistent shared variables in distributedsimulation systems without physically shared memmory.
the simulation of incompressible fluids is one of the important problem classes in computational fluid dynamics. We consider a simulation algorithm for the convection in binary fluid mixtures, a problem where a quite ...
详细信息
ISBN:
(纸本)0769500595
the simulation of incompressible fluids is one of the important problem classes in computational fluid dynamics. We consider a simulation algorithm for the convection in binary fluid mixtures, a problem where a quite simple model describes a very complex behavior: In a parallel implementation on an IBM SP2, we investigate several implementation strategies involving different data layouts and communication organizations.
We describe, in this paper, a synchronization/deadlock resolution mechanism for a network of communicating finite state machines implemented on a parallel machine. As it is message-based, it is appropriate for distrib...
详细信息
ISBN:
(纸本)1565550552
We describe, in this paper, a synchronization/deadlock resolution mechanism for a network of communicating finite state machines implemented on a parallel machine. As it is message-based, it is appropriate for distributed memory *** technique was inspired by a project at the Jet Propulsion laboratories whose goal is the specification and verification of the software used to control the interplanetary spacecraft operated by the *** network of communicating finite state machines makes use of write messages to alter the value of the variables describing the finite state machines and read messages to determine the state of the variables. Since a blocking protocol is employed, it is possible for deadlocks to occur. Consequently, we describe deadlock resolution *** algorithms were implemented on an iPSC/2 hypercube, demonstrating good performance on a queueing network model.
作者：
Rosato, VPucello, NENEA
HPCN Project Ente Nuove Tecnol Energia & Ambiente I-00100 Rome Italy
A code for Me simulation of X-ray diffraction pattern of a powder has been implemented on a massively parallel SIMD platform developed in the frame of the PQE2000 Project. the code allows the evaluation of the diffrac...
详细信息
ISBN:
(纸本)0769500595
A code for Me simulation of X-ray diffraction pattern of a powder has been implemented on a massively parallel SIMD platform developed in the frame of the PQE2000 Project. the code allows the evaluation of the diffraction pattern of atomic-scale models of both perfectly ordered and disordered structures. the code has been wed to investigate the structures resulting from the non-equilibrium alloying process of an immiscible metallic couple (Ag-Cu).
Cluster computer systems have obtained wide spread occurrence. Nowadays increasing necessity of training high qualified specialists in parallel computational technologies is felt. the article shows the architecture of...
详细信息
ISBN:
(纸本)5778206461
Cluster computer systems have obtained wide spread occurrence. Nowadays increasing necessity of training high qualified specialists in parallel computational technologies is felt. the article shows the architecture of the space-distributed cluster computer system and explains the advantages of using it in Siberian State University for Telecommunications and Informatics for training students in parallel computational technologies.
this paper introduces a hybrid Associative memory/SIMD parallel processor, APPLES, which has been specifically designed for logic simulation. Its reviews the computational structure which permits parallel execution of...
详细信息
ISBN:
(纸本)0769500595
this paper introduces a hybrid Associative memory/SIMD parallel processor, APPLES, which has been specifically designed for logic simulation. Its reviews the computational structure which permits parallel execution of logic gate evaluations in memory. this facilitates fine grain execution on a massive scale of the basic tasks inherent in VLSI logic simulation. Furthermore, unlike of her SIMD approaches the simulation is not limited to a unit delay model, complex delays such as inertial delays are permissible. the processor has been implemented in Verilog and assessed using ISCAS-85 benchmarks. Gate evaluation is executed in constant time, whereas updating fan-out lists expands with circuit size. However, the APPLES architecture enables this latter task to be parallelised subject to various system parameters. the most important constraint is identified as the fan-out memory access time relative to the scan rate of the associative memory.
暂无评论