Publications (7)
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)…
Flux-trapping characterization for superconducting electronics using a cryogenic widefield N- diamond microscope
Rohan T. Kapur, Pauli Kehayias, Sergey K. Tolpygo +12
Magnetic flux trapping is a significant hurdle limiting the reliability and scalability of superconducting electronics, yet tools for imaging flux vortices remain slow or insensiti…
Indicators of Tambara-Yamagami categories and Gauss sums
Tathagata Basak, Ryan Johnson
We prove that the higher Frobenius-Schur indicators, introduced by Ng and Schauenburg, give a strong enough invariant to distinguish between any two Tambara-Yamagami fusion categor…
Processing Analytical Workloads Incrementally
Priyank Gupta, Nick Koudas, Europa Shang +2
Analysis of large data collections using popular machine learning and statistical algorithms has been a topic of increasing research interest. A typical analysis workload consists…
Efficiently making (almost) any concurrency control mechanism serializable
Tianzheng Wang, Ryan Johnson, Alan Fekete +1
Concurrency control (CC) algorithms must trade off strictness for performance. Serializable CC schemes generally pay higher cost to prevent anomalies, both in runtime overhead and…
Probing the Outskirts of the Early Stage Galaxy Cluster Merger A1750
Esra Bulbul, Scott W. Randall, Matthew Bayliss +12
We present results from recent Suzaku and Chandra X-ray, and MMT optical observations of the strongly merging "double cluster" A1750 out to its virial radius, both along and perpen…
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…