@phdthesis{oai:naist.repo.nii.ac.jp:00010878, author = {Vu, Hoang-Gia}, month = {Mar}, school = {奈良先端科学技術大学院大学}, title = {Dependable and Scalable FPGA Computing Using HDL-based Checkpointing.}, year = {2018} }