DataSpace: Browsing DataSpace

Browsing by Academic Advisor Malik, Sharad

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 7 to 26 of 46 < previous next >

Class Year	Author(s)	Title	Advisor
1999	Chari, Saran; Forster, Richard Kyle	Augmented Reality Systems Research Part I: The Wearable Computer	*Malik, Sharad*
-	Ahn, Sunha	AUTOMATED FIRMWARE VERIFICATION USING FIRMWARE-HARDWARE INTERACTION PATTERNS	*Malik, Sharad*
2024	Zeng, Yu	Automatic Generation of Hardware Abstractions from Register-Transfer Level (RTL) Designs	*Malik, Sharad*
1993	Blumberg, Richard	Bounding Worst-Case Execution Time of Programs on the Intel 1960 Microprocessor	*Malik, Sharad*
-	Zhang, Shuyuan	Computer Network Verification and Management using Constraint Solvers	*Malik, Sharad*
-	Golnari, Pareesa Ameneh	Computing on Large, Sparse Datasets and Error-Prone Fabrics	*Malik, Sharad*
2015	Porto, Nicholas; Iberkleid-Szainrok, Michael	Data Driven Home Automation Systems	*Malik, Sharad*
-	Subramanyan, Pramod	Deriving Abstractions to Address Hardware Platform Security Challenges	*Malik, Sharad*
2015	Asala, Jeffrey	Detecting power theft from electrical grids using Time Domain Reflectometry	*Malik, Sharad*
2023	Xing, Yue	Enabling SoC Verification through Instruction-Level Hardware Models	*Malik, Sharad*
1995	Chang, Luke	Examining the Tardeoffs Between an On-Chip RAM and an On-Chip Cache for an Embedded Processor	*Malik, Sharad*
2007	Brien, Cameron W.E.	Exploiting Circuit Reconvergence in Unit Propagation for SAT Solvers	*Malik, Sharad*
1996	Donnelly, Ryan; Donnelly, Ryan	Guarded Evaluation Applied to the TORCH Processor	*Malik, Sharad*
2024	xu, zhixing	Hardware-Supported Computer Security - Detection, Diagnosis and Defense	*Malik, Sharad*
2021	Greene, Isabel	Instruction Level Abstraction for Accelerators: A Study of the Support Vector Machine Accelerator	*Malik, Sharad*
2022	Huang, Bo-Yuan	Instruction-Level Abstraction for Program Compilation and Verification in Accelerator-rich Platforms	*Malik, Sharad*
2023	Boateng, Kevin	Instruction-Level Abstraction for the NVIDIA Deep Learning Accelerator: Convolution Datapath	*Malik, Sharad*
2023	Gariy, Samuel	Instruction-Level Abstraction for the Nvidia Deep Learning Accelerator: Planar Data Processing Unit	*Malik, Sharad*
1998	Tennant, Matthew	Logic Optimization for Binary Decoder Circuits - Simultaneous Area and Timing Optimization	*Malik, Sharad*
-	Nie, Qi	Memory-Driven Data-Flow Optimization for Neural Processing Accelerators	*Malik, Sharad*

Showing results 7 to 26 of 46 < previous next >