Hybrid Acceleration Using Real Vector Automata (Extended Abstract)
Abstract elided by the publisher.
Related papers
- HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism OOPSLA 2024
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- SIGNAL as a Model for Real-Time and Hybrid Systems ESOP 1992
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Software-hardware codesign for efficient in-memory regular pattern matching PLDI 2022
- Convex Hull of Arithmetic Automata SAS 2008
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019