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
☆29Dec 24, 2025Updated 3 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:
- Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.☆12Sep 4, 2021Updated 4 years ago
- ioring wrapper for windows-rs☆24Oct 2, 2022Updated 3 years ago
- ☆11Dec 4, 2023Updated 2 years ago
- Heterogeneous Containerization of Agents☆109Jul 29, 2025Updated 8 months ago
- PTX on XPUs☆125Mar 18, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A sample kernel module showing the memory reordering.☆12May 30, 2020Updated 5 years ago
- Tiered Memory Management Beyond Hotness (OSDI'25)☆33Jul 31, 2025Updated 8 months ago
- A Progam-Behavior-Guided Far Memory System☆36Oct 26, 2023Updated 2 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆19Mar 4, 2026Updated 3 weeks ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPU☆17Feb 23, 2026Updated last month
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆51Sep 2, 2024Updated last year
- survey and analysis of kv-stores in academia and industry☆10Aug 31, 2019Updated 6 years ago
- A RISC-V core running Debian (and a LoongArch core running Linux).☆23Nov 24, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Extending eBPF Programmability and Observability to GPUs (merged into https://github.com/eunomia-bpf/bpftime)☆296Nov 24, 2025Updated 4 months ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆17Aug 21, 2023Updated 2 years ago
- ☆20Jun 12, 2024Updated last year
- MLIR dialect for libgccjit☆22Dec 3, 2024Updated last year
- Vector search with bounded performance.☆36Jan 26, 2024Updated 2 years ago
- ☆18Jul 12, 2024Updated last year
- ☆13Jan 8, 2020Updated 6 years ago
- CXLMemSim: A pure software simulated CXL.mem for performance characterization☆1,048Mar 22, 2026Updated last week
- CrossFS: A Cross-layered Direct-Access File System☆27Sep 5, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Recent papers related to hardware formal verification.☆77Sep 20, 2023Updated 2 years ago
- Asynchronous semantics for architectural simulation and synthesis.☆66Updated this week
- Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor☆46Feb 25, 2026Updated last month
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Sim-to-Real via Sim-to-Sim using fast.ai's U-net☆10Nov 25, 2019Updated 6 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆37Mar 13, 2026Updated 2 weeks ago
- Hands-On Scala Programming [Video], published by Packt☆13Oct 31, 2022Updated 3 years ago
- Lock-free allocator as described by Maged M. Michael, 2004☆48Sep 13, 2013Updated 12 years ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆36Jan 16, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"☆31Feb 21, 2024Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆24Feb 27, 2026Updated last month
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆48Dec 31, 2024Updated last year
- jyy os enhanced☆13Jul 10, 2025Updated 8 months ago
- Fire Emblem themed pass & play browser chess game, implemented in ReScript☆13Nov 25, 2022Updated 3 years ago
- A Scalable BFS Accelerator on FPGA-HBM Platform☆13Jul 30, 2021Updated 4 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 4 months ago