Publications

Export 1 results:
Filters: Keyword is verification and Author is Guillaume Aupy  [Clear All Filters]
2013
Aupy, G., A. Benoit, T. Herault, Y. Robert, F. Vivien, and D. Zaidouni, On the Combination of Silent Error Detection and Checkpointing,” UT-CS-13-710: University of Tennessee Computer Science Technical Report, June 2013.  (1.29 MB)