Partially Reconfigurable System-on-Chips for Adaptive Fault Tolerance
Scale and Performance in the Denali Isolation Kernel