A comparative evaluation of high-level hardware synthesis using Reed-Solomon decoder by Agarwal, Abhinav, Ng, Man Cheuk, Mithal, Arvind

Get full text
Get full text

A general technique for deterministic model-cycle-level debugging by Khan, Asif Imtiaz, Vijayaraghavan, Muralidaran, Mithal, Arvind

Get full text
Get full text
Get full text

Automatic generation of hardware/software interfaces by King, Myron Decker, Dave, Nirav H., Mithal, Arvind

Get full text
Get full text
Get full text

A design flow based on modular refinement by Dave, Nirav H., Ng, Man Cheuk, Pellauer, Michael, Mithal, Arvind

Get full text
Get full text

Verification of microarchitectural refinements in rule-based systems by Dave, Nirav H., Katelman, Michael, King, Myron Decker, Mithal, Arvind

Get full text
Get full text
Get full text

Wilis: Architectural Modeling of Wireless Systems by Fleming, Kermin Elliott, Ng, Man Cheuk, Gross, Samuel, Mithal, Arvind

Get full text
Get full text

Airblue: A System for Cross-Layer Wireless Protocol Development by Ng, Man Cheuk, Fleming, Kermin Elliott, Vutukuru, Mythili, Gross, Samuel, Mithal, Arvind, Balakrishnan, Hari

Get full text
Get full text
Get full text

Identifying Money Laundering Subgraphs on the Blockchain by Song, Kiwhan, Dhraief, Mohamed Ali, Xu, Muhua, Cai, Locke, Chen, Xuhao, Mithal, Arvind, Chen, Jie

Get full text