corvette-berkeley / precimonious
A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a search on the program variables trying to lower their precision subject to accuracy constraints and performance goals. The tool then recommends a type instantiation for these variables using less precision while pro…
☆34Updated 8 years ago
Alternatives and similar repositories for precimonious:
Users that are interested in precimonious are comparing it to the libraries listed below
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆34Updated this week
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated last month
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆69Updated last year
- Library to plot integer sets and maps☆49Updated 8 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated last year
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆46Updated 5 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 5 months ago
- Nanos++ is a runtime designed to serve as runtime support in parallel environments. It is mainly used to support OmpSs, a extension to O…☆38Updated 3 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- A tool for debugging and assessing floating point precision and reproducibility.☆77Updated 3 months ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Chunky Loop Interaction☆24Updated 5 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆59Updated last year
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- development repository for the open earth compiler☆80Updated 4 years ago
- The Insieme Compiler and Runtime Infrastructure☆34Updated 5 years ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- High-level framework for stencil computations☆40Updated 10 years ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 5 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆125Updated 2 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆19Updated 9 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year