Popular repositories

1. memguard memguard Public

   Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors

   C 49 33

2. palloc palloc Public

   DRAM Bank-Aware Kernel Memory Allocator

   C 38 25

3. picar picar Public

   End-to-end deep learning based autonomous RC car using Raspberry Pi 3.

   TeX 36 13

4. crest-z3 crest-z3 Public

   CREST extension that supports non-linear arithmetic

   OCaml 14 9

5. bwlock bwlock Public

   dynamic memory bandwidth management framework

   C 6 7

6. linux linux Public

   Various kernel modifications

   C 5