Alternatives and similar repositories for ROOT-Sim

Users that are interested in ROOT-Sim are comparing it to the libraries listed below

• kliu20 / jRAPL
  ☆22Updated 7 years ago
• ROSS-org / ROSS
  Rensselaer's Optimistic Simulation System
  ☆99Updated last month
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆17Updated this week
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆189Updated 2 months ago
• kohler / hotcrp
  HotCRP conference review software
  ☆374Updated this week
• ercoppa / aprof
  an input-sensitive profiler
  ☆17Updated 5 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆249Updated this week
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 3 years ago
• stephenfreund / RoadRunner
  ☆75Updated 7 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆423Updated 3 weeks ago
• ruigulala / ConAnalysis
  Concurrency Bug Vulnerability Analysis
  ☆12Updated 8 years ago
• oracle / nvm-direct
  A C library to support applications that map Non-Volatile Memory into their address space for load/store access.
  ☆56Updated 6 years ago
• efficient / catbench
  CATBench, the Intel Cache Allocation Technology benchmarking suite described in our tech report, "Simple Cache Partitioning for Networked…
  ☆12Updated 8 years ago
• applicationskeleton / Skeleton
  a tool to generate skeleton applications that mimic a real applications' parallel or distributed performance at a task level
  ☆13Updated 8 years ago
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated 4 months ago
• LITMUS-RT / litmus-rt
  The LITMUS^RT kernel.
  ☆50Updated 4 years ago
• streaming-research / Tutorial-SIGMOD-2020
  ☆20Updated 5 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆270Updated 3 weeks ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated last month
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆29Updated last week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆149Updated 3 months ago
• nkallima / Synch-Framework
  An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…
  ☆70Updated 5 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated last month
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 2 years ago
• staceyson / splash2
  Splash 2 Benchmarks
  ☆21Updated 10 years ago
• bsc-pm / bots
  Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…
  ☆46Updated 6 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆61Updated 12 years ago