patricklam / p4p-2015Links
ECE 459: Programming for Performance, Winter 2015
☆71Updated 10 years ago
Alternatives and similar repositories for p4p-2015
Users that are interested in p4p-2015 are comparing it to the libraries listed below
Sorting:
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
 - mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git☆74Updated 12 years ago
 - Automated multicore scalability testing tool☆87Updated 9 years ago
 - C++ framework for realtime machine learning.☆98Updated 2 weeks ago
 - CMSC 23300 - Networks and Distributed Systems☆68Updated 5 years ago
 - attempt at summarizing Raft in one page of pseudo-code☆20Updated 7 years ago
 - Speculative Paxos replication protocol☆133Updated 9 years ago
 - ops-class.org OS/161 sources.☆135Updated 5 years ago
 - Paxos Made Moderately Complex☆190Updated last year
 - Distributed Systems Reading Group☆20Updated 7 years ago
 - ☆49Updated 5 years ago
 - Readings in distributed systems☆415Updated 10 years ago
 - A collection of software performance content, blogs, books, and lists.☆120Updated last year
 - Ye Olde Computer Science Scrolls!☆105Updated 8 years ago
 - ☆55Updated 10 years ago
 - Collection of various research papers I find interesting☆84Updated 10 years ago
 - Python bindings for libNVVM☆37Updated 11 years ago
 - Lock-free multithreaded memory allocation☆109Updated 8 years ago
 - Pluscal/TLA+ modeling of distributed systems/protocols☆80Updated 2 years ago
 - Iterator library.☆80Updated 5 years ago
 - Distributed Programming Abstractions☆16Updated 6 years ago
 - SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 3 years ago
 - Eris distributed transactions☆52Updated 7 years ago
 - Benchmarks for lockfree datastructures.☆120Updated 11 years ago
 - Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 years ago
 - Feed-forward Bloom filters☆53Updated 14 years ago
 - A C++ expression -> x86 JIT☆18Updated 8 years ago
 - ☆27Updated 11 years ago
 - Simulation of common page replacement algorithms used by operating systems to manage memory usage.☆53Updated 10 years ago
 - Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Updated 10 years ago