Popular repositories Loading

1. samc samc Public

   Semantic Model Checking Tool

   Java 5 4

2. monte-carlo monte-carlo Public

   OpenMP Monte Carlo neutron transport

   C 1

3. SAMC-ZooKeeper SAMC-ZooKeeper Public

   ZooKeeper worked with SAMC debugging tool

   Java 1 3

4. simpleDB simpleDB Public

   Implementation of simple DBMS with simpleDB framework

   Java

5. matrix-multiplication matrix-multiplication Public

   Three ways implementing matrix multiplication to test performance

   C

6. mandelbrot-set mandelbrot-set Public

   static and dynamic mpi strategy to calculate mandelbrot set

   C 1