beehive-lab / MaxSim

Related projects: ⓘ

• stanford-ppl / pir
  ☆15Updated last year
• UCSBarchlab / Charm
  A Language for Closed-form High-level ARchitecture Modeling
  ☆18Updated 4 years ago
• stanford-ppl / Green-Marl
  A DSL for efficient Graph Analysis
  ☆98Updated 6 years ago
• ysshao / WIICA
  Workload ISA-Independent Characterization of Applications
  ☆11Updated 7 years ago
• VeriScala / VeriScala
  ☆14Updated 7 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated last year
• fpgasystems / doppiodb
  doppioDB - A hardware accelerated database
  ☆48Updated 7 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 3 years ago
• IntelLabs / iHRC
  Intel Heterogeneous Research Compiler (iHRC)
  ☆25Updated last year
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆60Updated last year
• stanford-ppl / hyperdsl
  ☆56Updated 7 years ago
• tayler-hetherington / MemcachedGPU
  ☆32Updated 7 years ago
• stanford-ppl / spatial-lang
  Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"
  ☆99Updated 5 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆15Updated 7 months ago
• HSAFoundation / HSAIL-Tools
  Tools for parsing, assembling, and disassembling HSAIL.
  ☆70Updated 4 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆49Updated 7 years ago
• jackwadden / ANMLZoo
  High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…
  ☆32Updated 10 months ago
• PrincetonUniversity / primesim
  A parallel and distributed simulator for thousand-core chips
  ☆22Updated 6 years ago
• nodebenchmark / benchmarks
  Collection of NodeJS benchmarks
  ☆15Updated last year
• ctrippel / TriCheck
  ☆13Updated 7 years ago
• t-crest / patmos-benchmarks
  A collection of benchmarks and tests for the Patmos processor and compiler
  ☆16Updated 2 years ago
• firesim / icenet
  Network components (NIC, Switch) for FireBox
  ☆17Updated 2 months ago
• mit-carbon / Graphite
  A parallel, distributed simulator for multicores.
  ☆181Updated 8 years ago
• ucb-bar / midas
  FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL
  ☆96Updated 4 years ago
• CMU-SAFARI / SMASH
  SMASH is a hardware-software cooperative mechanism that enables highly-efficient indexing and storage of sparse matrices. The key idea of…
  ☆14Updated 4 years ago
• hipacc / hipacc
  A domain-specific language and compiler for image processing
  ☆76Updated 3 years ago
• blucia0a / MultiCacheSim
  A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model
  ☆24Updated 10 years ago
• HewlettPackard / mds
  Managed Data Structures
  ☆27Updated 6 years ago
• daniellustig / pipecheck
  ☆18Updated 9 years ago
• fpgasystems / fpga-hyperloglog
  FPGA-based HyperLogLog Accelerator
  ☆12Updated 4 years ago