11 citations · 11 across the 1 of their papers we have counts for
2 papers
cs.RO2025
Enhancing Fault-Tolerant Space Computing: Guidance Navigation and Control (GNC) and Landing Vision System (LVS) Implementations on Next-Gen Multi-Core Processors
Kyongsik Yun, David Bayard, Gerik Kubiak +5
Future planetary exploration missions demand high-performance, fault-tolerant computing to enable autonomous Guidance, Navigation, and Control (GNC) and Lander Vision System (LVS)…
cs.LO2011★ 11 cited
Toward the Verification of a Simple Hypervisor
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug +2
Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machi…