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 25 to 44 of 46 < previous next >

Class Year	Author(s)	Title	Advisor
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*
1995	DeRosa, Peter J.	Microprocessor Based Traffic Controller	*Malik, Sharad*
2022	James, Warren	MIPSView: An interactive modern web-based simulator of the MIPS R2000 microprocessor	*August, David; Malik, Sharad*
1993	Aytur, Turgut S.	A Model for Series/Parallel Mos Circuits with Regard to Statisical Variances in Processing	*Malik, Sharad*
2021	Djokovic, Jovana	Modeling Accelerators for Machine Learning Applications	*Malik, Sharad*
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*

Showing results 25 to 44 of 46 < previous next >