R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs.
Xabier IturbeKhaled BenkridChuan HongAli EbrahimRaul TorregoImanol MartinezTughrul ArslanJon PérezPublished in: IEEE Trans. Computers (2013)