1 |
Modular Checkpointing for Atomicity
|
|
|
|
In: http://www.cs.purdue.edu/homes/lziarek/tv06.pdf (2007)
|
|
BASE
|
|
Show details
|
|
2 |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
|
|
|
|
In: http://www.cs.purdue.edu/homes/lziarek/icfp06.pdf (2006)
|
|
BASE
|
|
Show details
|
|
5 |
Handling Floating-Point Exceptions in Numeric Programs
|
|
|
|
In: http://cch.loria.fr/documentation/IEEE754/ACM/hauser.pdf (1996)
|
|
BASE
|
|
Show details
|
|
6 |
A Modular Verifiable Exception-Handling Mechanism
|
|
|
|
In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
|
|
BASE
|
|
Show details
|
|
7 |
A Model Of CPS Translation And Interpretation
|
|
|
|
In: http://www.itculiacan.edu.mx/Pagina WEB Dr. RZC/Ramon/PDFs/A Model of CPS Trans & Interp.pdf
|
|
BASE
|
|
Show details
|
|
8 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.cs.purdue.edu/homes/suresh/papers/icfp06.pdf
|
|
BASE
|
|
Show details
|
|
9 |
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
|
|
In: http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf
|
|
BASE
|
|
Show details
|
|
|
|