DataSpace: Browsing DataSpace

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 27 to 35 of 35 < previous

Class Year	Author(s)	Title	Advisor
-	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*
1993	Coumeri, Sari	Timing Simulation with Bounded Delays	*Malik, Sharad*
-	Sinha, Arnab	Trace Based Analyses of Parallel Software	*Malik, Sharad*
2011	Pondicherry, Tarun	Using Interprocessor Interrupts in Architectural Support for Debugging	*Malik, Sharad*

Showing results 27 to 35 of 35 < previous