jackwadden / ANMLZoo
High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regular expression rulesets are valid real-world examples of use cases for automata processing, they represent a small proportion of all use cases for automata-based computing. With the recent availability of archit…
☆31Updated last year
Alternatives and similar repositories for ANMLZoo:
Users that are interested in ANMLZoo are comparing it to the libraries listed below
- VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, …☆35Updated 8 months ago
- Automata Benchmark Suite☆19Updated last year
- Creating beautiful gem5 simulations☆47Updated 3 years ago
- ☆23Updated 3 years ago
- A Language for Closed-form High-level ARchitecture Modeling☆19Updated 4 years ago
- ☆19Updated 2 years ago
- ☆18Updated 3 years ago
- SMASH is a hardware-software cooperative mechanism that enables highly-efficient indexing and storage of sparse matrices. The key idea of…☆15Updated 4 years ago
- Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…☆16Updated 3 years ago
- PAAS: A System Level Simulator for Heterogeneous (CPU-FPGA) Computing Systems☆43Updated 3 years ago
- The Splash-3 benchmark suite☆42Updated last year
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆38Updated last month
- ☆27Updated 3 months ago
- A binary instrumentation tool to analyze load instructions in any off-the-shelf x86(-64) program. Described by Bera et al. in https://arx…☆20Updated 7 months ago
- SST Architectural Simulation Components and Libraries☆93Updated this week
- ILA Model Database☆22Updated 4 years ago
- Memory consistency model checking and test generation library.☆14Updated 8 years ago
- Artifact, reproducibility, and testing utilites for gem5☆21Updated 3 years ago
- doppioDB - A hardware accelerated database☆48Updated 7 years ago
- ETHZ Heterogeneous Accelerated Compute Cluster.☆31Updated last month
- Repository for the tools and non-commercial data used for the "Accelerator wall" paper.☆49Updated 6 years ago
- A parallel and distributed simulator for thousand-core chips☆22Updated 6 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- Memory System Microbenchmarks☆62Updated last year
- ☆89Updated 11 months ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆25Updated 11 years ago
- ☆48Updated 5 years ago
- A home for Genesis2 sources.☆39Updated last week
- RTLCheck☆18Updated 6 years ago
- ☆12Updated 9 years ago