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 31 to 46 of 46 < previous

Class Year	Author(s)	Title	Advisor
2006	Harster, Ryan	Optimization of a Dynamically Reconfigurable Processor	*Malik, Sharad*
1991	Mazhar, Afzal	Optimization of the BDD Representation of Boolean Functions Using Simulated Annealing	*Malik, Sharad*
2000	Rocca, Richard M.; Frickey, Robert E.	A Parallel Implementation on a Distributed Memory Multiprocessor System of the Grasp Algorithm for Solving Propositional Boolean Satisfiability	*Malik, Sharad*
1996	Braun, Owen Charles	Retargetability Issues in Worst-Case Timing Analysis of Embedded Systems	*Malik, Sharad*
2012	Susnea, Adriana	Reverse Engineering Integrated Circuits	*Malik, Sharad*
-	Sethi, Divjyot	Scaling Verification by Leveraging Parametrization	*Malik, Sharad*
2017	Gilhooley, David	Secure Boot: Formal Verification of Software & Hardware in a large SoC	*Malik, Sharad*
2016	Chou, Elaine	A Secure Bootloader for Demonstrating Formal Verification of Hardware-Firmware Interactions on SoCs	*Malik, Sharad*
2000	Esposito, Thomas	Simulation of a Distributed SAT Solver	*Malik, Sharad*
-	Yetim, Yavuz	Streaming Computation on Error-Prone Programmable Platforms	*Martonosi, Margaret; Malik, Sharad*
2001	Reis, III, George	A Survey of Low End Microcontroller with Special Emphasis on Criteria for the Princeton University Student Experiment Board	*Malik, Sharad*
2021	Zhang, Hongce	The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification	*Malik, Sharad*
1993	Coumeri, Sari	Timing Simulation with Bounded Delays	*Malik, Sharad*
-	Sinha, Arnab	Trace Based Analyses of Parallel Software	*Malik, Sharad*
2023	Dhome-Casanova, Thomas	Using an instruction interface for compiling deep learning applications to the NVIDIA Deep Learning Accelerator (NVDLA)	*Malik, Sharad*
2011	Pondicherry, Tarun	Using Interprocessor Interrupts in Architectural Support for Debugging	*Malik, Sharad*

Showing results 31 to 46 of 46 < previous