All Publications
-
Unified Model for Assessing Checkpointing Protocols at Extreme-Scale
, June 2012, ut-cs-12-697.pdf -
Simulink Model Generation from an Enumeration Hybrid Automaton
, May 2012, ut-cs-12-694.pdf -
An Evaluation of User-Level Failure Mitigation Support in MPI
, May 2012, ut-cs-12-695.pdf -
A Proposal for User-Level Failure Mitigation in the MPI-3 Standard
, February 2012, ut-cs-12-693.pdf -
Applying string-rewriting to sequence-based specification
, January 2012, ut-cs-12-692.pdf -
GF-Complete: A Comprehensive Open Source Library for Galois Field Arithmetic
, January 2012, ut-cs-13-703.pdf -
Open Source Encoder and Decoder for SD Erasure Codes
, January 2012, http://web.eecs.utk.edu/~plank/plank/papers/CS-13-704.html -
Using replication for resilience on exascale systems
, December 2011, ut-cs-11-691.pdf