quepas / Compiler-benchmark-suites Star 37 Code Issues Pull requests A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc. metadata compiler embedded-systems scientific-computing performance-analysis wcet performance-test compiler-optimization benchmark-suite energy-analysis benchmark-suites compiler-benchmarks Updated Sep 29, 2023
federeghe / chronovise Star 4 Code Issues Pull requests Measurement-Based Probabilistic Timing Analysis framework real-time research-tool wcet mbpta Updated Feb 10, 2023 C++
simon-perriard / saft Star 3 Code Issues Pull requests Static analyzer for Substrate FRAME's pallets security-audit static-analysis blockchain wcet polkadot-blockchain Updated Aug 5, 2022 Rust
PatrickTrentin88 / wcet_omt Star 2 Code Issues Pull requests Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory smt worst-case-execution-time wcet smt2 omt optimization-modulo-theory Updated Feb 17, 2017 Shell