Arvind Arvind
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
Joonwon Choi and others (2022) · Lecture notes in computer science · Springer Science+Business Media
Effective simulation and debugging for a high-level hardware language using software compilers
Clément Pit-Claudel and others (2021)
An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications
Utsav Banerjee and others (2019) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Modern microprocessor built from complementary carbon nanotube transistors
Gage Hills and others (2019) · Nature · Nature Portfolio
Modular Deductive Verification of Multiprocessor Hardware Designs
Muralidaran Vijayaraghavan and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Scheduling as Rule Composition
Nirav Dave and others (2007)