This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine grained scheduling, map back to compiler, cross platform live migration and won't talk anything David Patterson's own work like RVV, TPU and deprecated X86
☆29Apr 27, 2026Updated 5 months ago
Alternatives and similar repositories for computer-architecture-revisit-a-quantitative-approach
Users that are interested in computer-architecture-revisit-a-quantitative-approach are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A place to store my knowledge base☆12Apr 27, 2026Updated 5 months ago
- Linux kernel source tree of developing SMDK kernel for CXL Memory☆10Oct 26, 2023Updated 2 years ago
- Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.☆11Sep 4, 2021Updated 5 years ago
- ioring wrapper for windows-rs☆24Oct 2, 2022Updated 4 years ago
- Coq集合模型论☆10Aug 18, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A double JIT VM☆23Jul 9, 2026Updated 2 months ago
- ☆21Jan 13, 2026Updated 8 months ago
- ☆11Dec 4, 2023Updated 2 years ago
- ☆12Mar 26, 2024Updated 2 years ago
- A sample kernel module showing the memory reordering.☆13May 30, 2020Updated 6 years ago
- Codify on iPad utilizing Wasix and CoreML☆52Jul 12, 2026Updated 2 months ago
- Heterogeneous Containerization of Agents☆113Sep 11, 2026Updated 3 weeks ago
- A Progam-Behavior-Guided Far Memory System☆36Oct 26, 2023Updated 2 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆22Jan 17, 2026Updated 8 months ago
- Performance regression tracking server for your CI☆13Apr 30, 2024Updated 2 years ago
- Node.js JavaScript runtime ✨🐢🚀✨ in wasix☆41Sep 10, 2026Updated 3 weeks ago
- A RISC-V core running Debian (and a LoongArch core running Linux).☆24Nov 24, 2025Updated 10 months ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆18Aug 21, 2023Updated 3 years ago
- CEMU: Enabling Full-System Emulation of Computational Storage beyond Hardware Limits (ASPLOS'26)☆23Dec 31, 2025Updated 9 months ago
- Graph accelerator on FPGAs and ASICs☆11Aug 16, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Android Automotive Testapp☆13Feb 10, 2023Updated 3 years ago
- Vector search with bounded performance.☆34Jan 26, 2024Updated 2 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆36May 29, 2026Updated 4 months ago
- ☆38Updated this week
- Share your GPU without MIG or MPS☆54Jan 27, 2026Updated 8 months ago
- ☆18Jul 12, 2024Updated 2 years ago
- ☆13Jan 8, 2020Updated 6 years ago
- MLIR dialect for libgccjit☆24Dec 3, 2024Updated last year
- CrossFS: A Cross-layered Direct-Access File System☆27Sep 5, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- CXL remote offloading data movement aware compiler☆75Sep 3, 2026Updated last month
- A set of tools that automate the execution of scarab simulations☆19Updated this week
- Recent papers related to hardware formal verification.☆79Sep 20, 2023Updated 3 years ago
- Sim-to-Real via Sim-to-Sim using fast.ai's U-net☆10Nov 25, 2019Updated 6 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆21Apr 14, 2026Updated 5 months ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago