Skip navigation
DataSpace
About
Contact
Help
Search
Explore
All Communities & Collections
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Economics
Education Research Section
Electrical Engineering
Faculty Publications
Geophysical Fluid Dynamics Laboratory
Industrial Relations Section
Lewis-Sigler Institute for Integrative Genomics
Liechtenstein Institute on Self-Determination
Mechanical and Aerospace Engineering
Molecular Biology
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2020
Princeton University Library
Princeton University Undergraduate Senior Theses, 1924-2020
Seeger Center for Hellenic Studies
Sociology
Login
My 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:
Sort by:
title
issue date
author
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
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