Simulation as Coarsest Partition Problem
Abstract elided by the publisher.
Related papers
- A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation CAV 1994
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024
- Disens: scalable distributed sensor network simulation PPoPP 2007
- RTNN: accelerating neighbor search using hardware ray tracing PPoPP 2022
- A Scalable Hybrid Total FETI Method for Massively Parallel FEM Simulations PPoPP 2023
- POSTER: IOGP: An Incremental Online Graph Partitioning for Large-Scale Distributed Graph Databases PPoPP 2017
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- Automatic problem size sensitive task partitioning on heterogeneous parallel systems PPoPP 2013