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 1 to 20 of 47 next >

Class Year	Author(s)	Title	Advisor
2000	Moskewicz, Matthew W.; Madigan, Conor	Accelerating Boolean Satisfiability with Distributed and Parallel Computation	*Malik, Sharad*
-	Cakir, Burcin	Addressing Integrated Circuit Integrity Using Statistical Analysis and Machine Learning Techniques	*Malik, Sharad*
-	Zhu, Charlie Shucheng	Advances in Fault Diagnosis Automation for Silicon Prototypes	*Malik, Sharad; Weissenbacher, Georg*
2016	Ying, Victor	Analyzing Decision Heuristic Effectiveness in Boolean Satisfiability Solvers	*Malik, Sharad*
2009	Loughlin, Robert James	Architectural and Micro-Architectural Specifications of a Pipelined CPU and Metric-Based Comparison to RTL Design	*Malik, Sharad*
-	Schwartz-Narbonne, Daniel	Assertions for Debugging Parallel Programs	*Malik, Sharad*
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	Tessema, Bereketab	Hand Exoskeleton for Force Feedback in Virtual Reality	*Malik, Sharad*

Showing results 1 to 20 of 47 next >