Keyword:hardware

Papers
Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols Joonwon Choi, Adam Chlipala and Arvind EasyChair Preprint no. 8623
Crafting a Robotic Swarm Pursuit-Evasion Capture Strategy Using Deep Reinforcement Learning Charles H. Wu, Donald A. Sofge and Daniel M. Lofaro EasyChair Preprint no. 7352
Video Processing based fire detection and extinguisher system with GSM interface Sudeep Karukayil, Tejaswinee Mahajan, Akshay Telang and Meeta Bakuli EasyChair Preprint no. 5481