1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.RO2024★ 1 cited
Characterizing and Optimizing Real-Time Optimal Control for Embedded SoCs
Kris Shengjun Dong, Dima Nikiforov, Widyadewi Soedarmadji +4
Resource-limited robots face significant challenges in executing computationally intensive tasks, such as locomotion and manipulation, particularly for real-time optimal control al…
cs.CR2024
RTL2MPATH: Multi-PATH Synthesis with Applications to Hardware Security Verification
Yao Hsiao, Nikos Nikoleris, Artem Khyzha +4
The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called SPEC models. Despite…