Cover Image

An Evaluation of Massively Parallel Algorithms for DFA Minimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Martens, Jan, Wijs, Anton
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing Logic in Computer Science D.1.3;F.4.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
by: Heemstra, Jan, et al.
Published: (2025)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

A LOCAL View of the Polynomial Hierarchy
by: Reiter, Fabian
Published: (2023)

A Treasure Trove of Performance: Analyzing the IO500 Submission Data
by: Kunkel, Julian, et al.
Published: (2026)

Optimizing Fine-Grained Parallelism Through Dynamic Load Balancing on Multi-Socket Many-Core Systems
by: Wang, Wenyi, et al.
Published: (2025)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
by: Cignarale, Giorgio, et al.
Published: (2024)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
by: Konnov, Igor, et al.
Published: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, et al.
Published: (2025)

A simple protocol to automate the executing, scaling, and reconfiguration of Cloud-Native Apps
by: Ambroszkiewicz, Stanislaw, et al.
Published: (2023)

A Fast Parallel Median Filtering Algorithm Using Hierarchical Tiling
by: Sugy, Louis
Published: (2025)

Enabling Practical Transparent Checkpointing for MPI: A Topological Sort Approach
by: Xu, Yao, et al.
Published: (2024)

AutoTSMM: An Auto-tuning Framework for Building High-Performance Tall-and-Skinny Matrix-Matrix Multiplication on CPUs
by: Li, Chendi, et al.
Published: (2022)

Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)

Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods
by: Homola, Jakub, et al.
Published: (2025)

Stream parallel skeleton optimization
by: Aldinucci, Marco, et al.
Published: (2024)

StreamFlow: cross-breeding cloud with HPC
by: Colonnelli, Iacopo, et al.
Published: (2020)

Fair Termination of Asynchronous Binary Sessions
by: Padovani, Luca, et al.
Published: (2025)

Challenging Portability Paradigms: FPGA Acceleration Using SYCL and OpenCL
by: de Castro, Manuel, et al.
Published: (2024)

Work-Efficient Parallel Non-Maximum Suppression Kernels
by: Oro, David, et al.
Published: (2025)

A Graded Modal Type Theory for Pulse Schedules
by: Adams, Robin, et al.
Published: (2025)

Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait-Avoiding Group Averaging
by: Li, Shigang, et al.
Published: (2020)

SpaDA: A Spatial Dataflow Architecture Programming Language
by: Gianinazzi, Lukas, et al.
Published: (2025)

A C++17 Thread Pool for High-Performance Scientific Computing
by: Shoshany, Barak
Published: (2021)

DNA sequence alignment: An assignment for OpenMP, MPI, and CUDA/OpenCL
by: Gonzalez-Escribano, Arturo, et al.
Published: (2024)

Mechanizing Operads with Event-B
by: Attiogbé, Christian
Published: (2025)

NM-SpMM: Accelerating Matrix Multiplication Using N:M Sparsity with GPGPU
by: Ma, Cong, et al.
Published: (2025)

Sharded Elimination and Combining for Highly-Efficient Concurrent Stacks
by: Singh, Ajay, et al.
Published: (2026)

Characterizing NC1 with Typed Monoids
by: Dawar, Anuj, et al.
Published: (2025)

pLUTo: Enabling Massively Parallel Computation in DRAM via Lookup Tables
by: Ferreira, João Dinis, et al.
Published: (2021)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

PIM-STM: Software Transactional Memory for Processing-In-Memory Systems
by: Lopes, André, et al.
Published: (2024)

VeriFx: Correct Replicated Data Types for the Masses
by: De Porre, Kevin, et al.
Published: (2022)

Efficient Parallel Scheduling for Sparse Triangular Solvers
by: Böhnlein, Toni, et al.
Published: (2025)

Scalable Dual Coordinate Descent for Kernel Methods
by: Shao, Zishan, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

Social Dynamics of DAOs: Power, Onboarding, and Inclusivity
by: Kozlova, Victoria, et al.
Published: (2025)

Hybrid Quantum-HPC Middleware Systems for Adaptive Resource, Workload and Task Management
by: Mantha, Pradeep, et al.
Published: (2026)