Buchumschlag

Scalable Computation of Inter-Core Bounds Through Exact Abstractions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Foughali, Mohammed Aristide, Mikučionis, Marius, Zhang, Maryline
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
von: Tabbara, Ihab, et al.
Veröffentlicht: (2025)

Specializing anti-unification for interaction models composition via gate connections
von: Nguetoum, Joel, et al.
Veröffentlicht: (2025)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

Algebraic power series and their automatic complexity modulo prime powers
von: Rowland, Eric, et al.
Veröffentlicht: (2024)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
von: Sistla, Meghana, et al.
Veröffentlicht: (2022)

Tracer: A Tool for Race Detection in Software Defined Network Models
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)

Weakly-unambiguous Parikh automata and their link to holonomic series
von: Bostan, Alin, et al.
Veröffentlicht: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
von: Ardon, Leo, et al.
Veröffentlicht: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
von: Moran, Murat
Veröffentlicht: (2026)

Counting Abstraction for the Verification of Structured Parameterized Networks
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
von: Chen, Hanyue, et al.
Veröffentlicht: (2025)

Real-Time Emergency Vehicle Detection using Mel Spectrograms and Regular Expressions
von: Pacheco-Gonzalez, Alberto, et al.
Veröffentlicht: (2023)

Structural Abstraction and Refinement for Probabilistic Programs
von: Li, Guanyan, et al.
Veröffentlicht: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
von: Eichler, Paul, et al.
Veröffentlicht: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
von: Myreen, Magnus O., et al.
Veröffentlicht: (2025)

Exact Separation of Words via Trace Geometry
von: Chen, Zeyu, et al.
Veröffentlicht: (2026)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
von: German, Samuel
Veröffentlicht: (2026)

Regular Grammars for Sets of Graphs of Tree-Width 2
von: Bozga, Marius, et al.
Veröffentlicht: (2024)

Iterating Non-Aggregative Structure Compositions
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Exact descriptional complexity of determinization of input-driven pushdown automata
von: Martynova, Olga
Veröffentlicht: (2024)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
von: Bozga, Marius, et al.
Veröffentlicht: (2026)

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, et al.
Veröffentlicht: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
von: Heck, Linus, et al.
Veröffentlicht: (2025)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

TuringQ: Benchmarking AI Comprehension in Theory of Computation
von: Zahraei, Pardis Sadat, et al.
Veröffentlicht: (2024)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
von: Leys, Tim, et al.
Veröffentlicht: (2024)

Bounded treewidth, multiple context-free grammars, and downward closures
von: Aiswarya, C., et al.
Veröffentlicht: (2025)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
von: Wehar, Michael
Veröffentlicht: (2025)

Computational Complexity of Alignments
von: Schwanen, Christopher T., et al.
Veröffentlicht: (2026)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Temporal Causal Models as a Model of Computation
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2026)

Computing measures of weak-MSO definable sets of trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2024)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)