Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser
☆13Dec 8, 2020Updated 5 years ago
Alternatives and similar repositories for sipser-computation-3rd-solutions
Users that are interested in sipser-computation-3rd-solutions are comparing it to the libraries listed below
Sorting:
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- Demonstrating systemverilog, verilator and google test for verification☆10Mar 3, 2021Updated 5 years ago
- Source files of Fundamental of Artificial Intelligence in the spring semester of junior (USTC 2020 spring)☆12Aug 9, 2020Updated 5 years ago
- ☆13Jan 7, 2025Updated last year
- LaTeX Template for Fudan University School of Computer Science 2024☆11May 21, 2024Updated last year
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- SJTU CS2951 Computer Architecture Course Project, A Verilog HDL implemented RISC-V CPU.☆10Jan 15, 2022Updated 4 years ago
- 组合数学引论(第2版) 课后习题解答 + 相关编程题推荐☆99Dec 27, 2019Updated 6 years ago
- Flexible memory allocation tool for multi-tiered memory systems☆13Jan 7, 2026Updated last month
- Codes relevant to ontology alignment☆14Aug 25, 2021Updated 4 years ago
- Cluster simulator with far memory☆12Apr 28, 2020Updated 5 years ago
- blogs about Coimpiler & Virtual Machine☆12Jun 15, 2025Updated 8 months ago
- ☆17Feb 11, 2026Updated 3 weeks ago
- MESMERIC: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies☆10Oct 1, 2020Updated 5 years ago
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆17Apr 1, 2025Updated 11 months ago
- ☆11Dec 8, 2020Updated 5 years ago
- ☆19Jun 23, 2025Updated 8 months ago
- ☆12Apr 23, 2023Updated 2 years ago
- 高级操作系统，熊焰&黄文超老师，中科大研究生课程☆12Jul 14, 2020Updated 5 years ago
- ☆13May 1, 2024Updated last year
- ☆14Jan 20, 2024Updated 2 years ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 4 years ago
- High performance RMSNorm Implement by using SM Core Storage(Registers and Shared Memory)☆30Jan 22, 2026Updated last month
- This is a repository for graph theory course in USTC☆49Oct 18, 2022Updated 3 years ago
- ☆18Oct 15, 2024Updated last year
- 2023年秋季计算机科学与技术学院研究生课程网络安全的作业与实验，仅供参考。☆14Jan 6, 2024Updated 2 years ago
- ☆14Apr 3, 2023Updated 2 years ago
- Advanced Programming - HW4☆16Apr 23, 2022Updated 3 years ago
- 中科大高级数据库系统实验-2023fall(金培权)☆13Jan 5, 2024Updated 2 years ago
- Twitter dataset for Conversational Document Prediction to Assist Customer Care Agents (Ganhotra et al. 2020, EMNLP)☆15Nov 15, 2020Updated 5 years ago
- ENtity Relationship Extractor for C/C++ based on @eclipse/CDT. (Under development)☆17Dec 7, 2025Updated 3 months ago
- PyTorch to Verilog transpiler☆23Mar 17, 2024Updated last year
- Use hardware performance counters to find mapping of addresses to L3 slices in Intel processors☆17Jul 30, 2023Updated 2 years ago
- ☆12Jul 30, 2022Updated 3 years ago
- Advanced Programming - HW3☆16Mar 23, 2022Updated 3 years ago
- 使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页☆15Sep 15, 2022Updated 3 years ago
- In-Memory Key-Value Store Live Migration with NetMigrate☆18Jun 22, 2024Updated last year
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆16Feb 5, 2025Updated last year
- ☆41Oct 15, 2025Updated 4 months ago