Popular repositories Loading

1. ccKVS ccKVS Public

   An RDMA skew-aware key-value store, which implements the Scale-Out ccNUMA design, to exploit skew in order to increase performance of data-serving applications.

   C 19 9

2. c3d-protocol c3d-protocol Public

   Murphi model and table of C3D protocol.

   M 4 2

3. efficient-remote-memory-ordering efficient-remote-memory-ordering Public

   C++ 4

4. roc3 roc3 Public

   Simple language for protocol descriptions

   Haskell 2 2

5. ProtoGen ProtoGen Public

   Forked from Errare-humanum-est/ProtoGen

   Python 1

6. mc2lib mc2lib Public

   Forked from melver/mc2lib

   Memory consistency model checking and test generation library.

   C++ 1