The proceedings contains 22 papers from the 12th workshop on parallel and distributed Simulation. Topics discussed include: concurrency analysis and conservative methods;optimistic methods;pseudorandom number generati...
详细信息
The proceedings contains 22 papers from the 12th workshop on parallel and distributed Simulation. Topics discussed include: concurrency analysis and conservative methods;optimistic methods;pseudorandom number generation;run-time support;simulating wireless systems;and simulating communication systems.
Split Federated Learning (SFL) is an upcoming and promising approach that balances the two main goals of distributed training, i.e., (i) the data remains at the data owners, and (ii) even devices with resource limitat...
详细信息
ISBN:
(纸本)9798400715594
Split Federated Learning (SFL) is an upcoming and promising approach that balances the two main goals of distributed training, i.e., (i) the data remains at the data owners, and (ii) even devices with resource limitations can participate in the training. This is achieved by splitting the model into multiple parts and offloading them to designated compute nodes. Recent findings show that the number of compute nodes (hops) plays a significant role in the training delay. However, determining the ideal number of hops is not an easy task. Therefore, in this work, we propose a mathematical model that estimates the training delay of single- and multi-hop SFL. This tool not only helps in searching the optimal number of hops before the real deployment happens but also can be used as a lightweight evaluation tool in future research works in SFL. Our numerical evaluations show that the model can make correct estimations with an error smaller than 3.86%. Finally, we have constructed a lightweight optimization problem that finds the optimal cut layers (split points) and model part assignment to minimize training delay.
The proceedings contain 7 papers. The topics discussed include: robust record-replay with processor extraction;debugging support tool for MCAPI applications;detection of transactional memory anomalies using static ana...
ISBN:
(纸本)9781450301367
The proceedings contain 7 papers. The topics discussed include: robust record-replay with processor extraction;debugging support tool for MCAPI applications;detection of transactional memory anomalies using static analysis;unit testing for concurrent business code;a platform for search-based testing of concurrent software;profiling of real-world web applications;and open virtualization framework for testing ground systems.
The proceedings contain 23 papers from the conference on the 18th workshop on parallel and distributed Simulation, PADS 2004. The topics discussed include: Simulation validation using direct execution of wireless ad-h...
详细信息
ISBN:
(纸本)0769521118
The proceedings contain 23 papers from the conference on the 18th workshop on parallel and distributed Simulation, PADS 2004. The topics discussed include: Simulation validation using direct execution of wireless ad-hoc routing protocols;detailed OFDM modeling in network simulation of mobile ad-hoc networks;event reconstruction in time warp;just-in-time cloning;towards grid-aware time warp;and the effect of detail on ethernet simulation.
This conference proceedings contains 22 papers on advances in the design and analysis of algorithms for parallel and distributed simulation. 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 distributed simulation. Topics discussed include selecting the checkpoint interval in time warp parallel simulation, parallel algorithms for simulating continuous time Markov chains, determining initial states for time-parallel simulations, global synchronization for optimistic parallel discrete event simulation, an algorithm for minimally latent global virtual time, a parallel partitioning technique for use with conservative parallel simulation, disseminating critical synchronization information in parallel discrete event simulations, shared variables in distributed simulation, 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, parallel simulation of communicating finite state machines, the effect of synchronization requirements on the performance of distributed simulations, and time warp simulation in time-constrained systems.
The proceedings contain 25 papers. The topics discussed include: paralilel proximity detection and the distribution list algorithm;a unified framework for conservative and optimistic distributed simulation;investigati...
ISBN:
(纸本)1565550277
The proceedings contain 25 papers. The topics discussed include: paralilel proximity detection and the distribution list algorithm;a unified framework for conservative and optimistic distributed simulation;investigations in adaptive distributed simulation;ports: a parallel, optimistic, real-time simulator;a distributed memory lapse: parallel simulation of message-passing programs;discrete-event simulation and the event horizon;a generalized carrier-null method for conservative parallel simulation;cooperative acceleration: robust conservative distributed discrete event simulation;and stability of event synchronization in distributed discrete event simulation.
The core of multi-robot collision avoidance is to guide robots to avoid collisions with other robots and obstacles in a dynamic multi-robot environment, which has recently gained increasing interest among the main cha...
详细信息
The core of multi-robot collision avoidance is to guide robots to avoid collisions with other robots and obstacles in a dynamic multi-robot environment, which has recently gained increasing interest among the main challenges of robotics. However, the current multi-robot navigation policy neural network exhibits weak position encoding capabilities for spatial environmental features in mapping environment states and robot actions, as well as an inability to recurrently infer information on dynamic environmental features in the temporal dimension, leading to insufficient safety and effectiveness in guiding robot motion. In this paper, we propose a novel spatial-temporal RetNet (STR) that encodes reciprocal collision avoidance states between robots in both spatial and temporal dimensions, aiming to enhance the safety and effectiveness of the policy neural network in guiding robots to accomplish specified tasks. The spatial state encoder module is developed based on parallel RetNet structure, which enhances the ability of the neural network in multi-robot navigation policies to extract reciprocal collision avoidance states between robots in spatial dimensions and overcomes the weak position encoding capability of advanced transformer-based multi-robot navigation policy neural networks. A temporal state encoder is designed by introducing the recurrent RetNet structure. This enhances the multi-robot navigation policy neural network's ability to encode features in the temporal dimension of multi-robot movements and overcomes the transformer-based multi-robot navigation policy neural network's inability to recurrently infer information in the time dimension. Simulation experiments were designed to demonstrate that the safety and effectiveness of our proposed method outperform the previous state-of-the-art approaches in guiding the robot to complete the task. Physical experiments illustrate that our policy can be effectively applied to real-world systems. Note to Practitioner
The proceedings contain 18 papers. The topics discussed include: core algorithms for autonomous monitoring of distributedsystems;debugging parallelized code using code liberation techniques;balancing runtime and repl...
ISBN:
(纸本)0897914570
The proceedings contain 18 papers. The topics discussed include: core algorithms for autonomous monitoring of distributedsystems;debugging parallelized code using code liberation techniques;balancing runtime and replay costs in a trace-and-replay system;animating work and time for debugging parallel programs foundation and experience;debugging parallel programs using sound;detecting access anomalies in programs with critical sections;a model of Ada programs for static deadlock detection in polynomial time;ChaosMON - application-specific monitoring and display of performance information for parallel and distributedsystems;computing reachable states of parallel programs;models for performance perturbation analysis;consistent detection of global predicates;an approach to reducing delays in recognizing distributed event occurrences;the flight recorder: an architectural aid for system monitoring;debuggable concurrency extensions for standard ML;restoring consistent global states of distributed computations;source level debugging of automatically parallelized code;and a portable platform for distributed event environments.
暂无评论