...
This is the resource page for Nick Vrvilo's Master's Thesis in Computer Science, entitled Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model.
K-Framework Graphical Models
...
K-Framework + Clojure Hybrid Runtime (Runnable Model)
This project depends on JDK6, Leiningen, and the K-framework.
Download the source tarball (gzipped)Source tarball.
Sample Applications for CnC on Habanero C
Depends on the Habanero C runtime. Source tarball, as well as liblfds (version 6.1.1). All other dependencies are bundled in the source tarball.
Download the source tarball (gzipped).