Popular repositories Loading

1. Distributed-shared-memory-implementation Distributed-shared-memory-implementation Public

   2 2

2. Hello-world Hello-world Public

   1

3. Spoon-Knife Spoon-Knife Public

   Forked from octocat/Spoon-Knife

   This repo is for demonstration purposes only. Comments and issues may or may not be responded to.

   1

4. SearchEngineOverWikipedia SearchEngineOverWikipedia Public

   Java 1

5. Sentiment-Analysis-Tool Sentiment-Analysis-Tool Public

   1

6. Paxos Paxos Public

   1) Implement Paxos in Java. 2) Rigorously test Paxos. Ideas borrowed from the model checker paper (http://cm.bell-labs.com/who/god/verisoft/popl97.ps). If a test fails, the system gives a trace of …

   Java 1 2