2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2026
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
Taisa Kushner, Ryan McCleeary, Martin Brain
Complex algorithms such as deep neural networks are increasingly being deployed on embedded, resource constrained platforms. However, existing hardware and software schemes for imp…
cs.LO2016★ 2 cited
Dualized Simple Type Theory
Harley Eades, Aaron Stump, Ryan McCleeary
We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided…