beehive-lab / MaxSimLinks
A simulation platform for managed applications based on Maxine VM and ZSim
☆10Updated 8 years ago
Alternatives and similar repositories for MaxSim
Users that are interested in MaxSim are comparing it to the libraries listed below
Sorting:
- ☆15Updated 2 years ago
- ☆58Updated 8 years ago
- A DSL for efficient Graph Analysis☆102Updated 6 years ago
- A domain-specific language and compiler for image processing☆76Updated 4 years ago
- Quickstart for Spatial language☆34Updated 4 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Updated 2 years ago
- ☆32Updated 7 years ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- A Language for Closed-form High-level ARchitecture Modeling☆21Updated 5 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- SMASH is a hardware-software cooperative mechanism that enables highly-efficient indexing and storage of sparse matrices. The key idea of…☆16Updated 5 years ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Updated 6 years ago
- A parallel, distributed simulator for multicores.☆182Updated 9 years ago
- doppioDB - A hardware accelerated database☆49Updated 8 years ago
- ibmgraphblas☆27Updated 6 years ago
- The Insieme Compiler and Runtime Infrastructure☆34Updated 6 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- The implementation of the Elevate language☆29Updated 3 months ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- Network components (NIC, Switch) for FireBox☆19Updated 8 months ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated last month
- An Architecture-level Fault Injection Tool for GPU Application Resilience Evaluations☆18Updated 5 years ago
- Blaze runtime system that support efficient accelerator integration for big data.☆24Updated 8 years ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆63Updated 12 years ago
- High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…☆32Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- The semantics of Java in K☆19Updated 3 years ago
- ☆15Updated 8 years ago