Lightweight checkpointing for concurrent ML.
Saved in:
| Title: | Lightweight checkpointing for concurrent ML. |
|---|---|
| Authors: | Ziarek, Lukasz1 lziarek@cs.purdue.edu, Jagannathan, Suresh1 suresh@cs.purdue.edu |
| Source: | Journal of Functional Programming. Mar2010, Vol. 20 Issue 2, p137-173. 37p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796810000067 |