@inproceedings{oai:nitech.repo.nii.ac.jp:00004666, author = {Yoshida, Kenji and Saito, Shoichi and Mouri, Koichi and Matsuo, Hiroshi}, book = {The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013)}, month = {Dec}, note = {application/pdf, Vancouver, BC, Canada, 2-4 December 2013}, pages = {318--327}, publisher = {Institute of Electrical and Electronics Engineers}, title = {Orthros: A High-Reliability Operating System with Transmigration of Processes}, year = {2013} }