A memory efficient reachability data structure through bit vector compression

A memory efficient reachability data structure through bit vector compression

Bibliographic Details
Main Authors:	van Schaik, S, de Moor, O
Format:	Conference item
Published:	ACM 2011

Similar Items

A memory efficient reachability data structure through bit vector compression.
by: Schaik, S, et al.
Published: (2011)

Vector reachability problem in SL (2, ℤ)
by: Potapov, I, et al.
Published: (2016)

Vector Addition System Reversible Reachability Problem
by: Jérôme Leroux
Published: (2013-02-01)

Efficient index structures for reachability and shortest path queries
by: Wang, Sibo
Published: (2016)

Vector and scalar reachability problems in SL(2, Z)
by: Potapov, I, et al.
Published: (2018)

The Complexity of Reachability in Affine Vector Addition Systems with States
by: Michael Blondin, et al.
Published: (2021-07-01)

The reachability problem for two-dimensional vector addition systems with states
by: Blondin, M, et al.
Published: (2021)

Memory Optimization for Bit-Vector-Based Packet Classification on FPGA
by: Chenglong Li, et al.
Published: (2019-10-01)

Efficient Memory Shadowing for 64-bit Architectures
by: Zhao, Qin, et al.
Published: (2011)

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
by: Haase, C, et al.
Published: (2017)

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
by: leroux jerome
Published: (2010-09-01)

Functional Reachability
by: Ong, C, et al.
Published: (2009)

An Efficient Image Compression Technique using Tchebichef Bit Allocation
by: Ernawan, Ferda, et al.
Published: (2017)

On affine reachability problems
by: Jaax, S, et al.
Published: (2020)

Reachability Switching Games
by: John Fearnley, et al.
Published: (2021-04-01)

Constraint-based reachability
by: Arnaud Gotlieb, et al.
Published: (2013-02-01)

Identity Security in Cyberspace - A data-reachability Model
by: Phillips, E
Published: (2014)

Deciding Bit−Vector Arithmetic with Abstraction
by: Bryant, R, et al.
Published: (2007)

Efficient Reachability Ratio Computation for 2-Hop Labeling Scheme
by: Xian Tang, et al.
Published: (2023-02-01)

Efficient polyhedral enclosures for the reachable set of nonlinear control systems
by: Harwood, Stuart Maxwell, et al.
Published: (2016)

An Efficient Image Compression Using Bit Allocation based on Psychovisual Threshold
by: Ernawan, Ferda, et al.
Published: (2016)

Engineering structured magnetic bits for magnonic holographic memory
by: Michael Balinskiy, et al.
Published: (2023-02-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
by: Seyoung Kim, et al.
Published: (2023-01-01)

Simulating reachability using first-order logic with applications to verification of linked data structures
by: Tal Lev-Ami, et al.
Published: (2009-05-01)

Expected reachability-time games
by: Forejt, V, et al.
Published: (2016)

Expected Reachability−Time Games
by: Forejt, V, et al.
Published: (2010)

Reachability Analysis for Annotated Code
by: Janota, M, et al.
Published: (2007)

Reachability in Stochastic Timed Games.
by: Bouyer, P, et al.
Published: (2009)

Expected Reachability-Time Games.
by: Forejt, V, et al.
Published: (2010)

Reachability in pushdown register automata
by: Murawski, A, et al.
Published: (2017)

Revisiting reachability in timed automata
by: Quaas, K, et al.
Published: (2017)

Reachability Results in Plane Trees
by: Isaac Owino Okoth, et al.
Published: (2021-06-01)

Reachability Analysis of Innermost Rewriting
by: Thomas Genet, et al.
Published: (2017-03-01)

Reachability under Contextual Locking
by: Remi Bonnet, et al.
Published: (2013-09-01)

All-Path Reachability Logic
by: Andrei Stefanescu, et al.
Published: (2019-04-01)

Eternal Domination: Criticality and Reachability
by: Klostermeyer William F., et al.
Published: (2017-02-01)

Minimal Reachability is Hard to Approximate
by: Jadbabaie, A, et al.
Published: (2023)

Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers
by: Everett, Michael, et al.
Published: (2022)

Data-driven and model-based verification via Bayesian identification and reachability analysis
by: Haesaert, S, et al.
Published: (2017)

Compressive Sampling with Multiple Bit Spread Spectrum-Based Data Hiding
by: Gelar Budiman, et al.
Published: (2020-06-01)