Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Skeleton structure

...

Master's Thesis Information

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

ModelRuntimeCheckpoint
Simple (Monotonic)Download PDFDownload PDF
Advanced (Trailing Edge)Download PDFDownload PDF

K-Framework + Clojure Hybrid Runtime (Runnable Model)

Source tarball.

Sample Applications for CnC on Habanero C

Depends on the Habanero C runtime. Source tarballSource code and other resources to be posted here.