Skip navigation
DataSpace
About
Contact
Help
Search
Explore
All Communities & Collections
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Computational Social Science
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Economics
Education Research Section
Electrical and Computer 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
Music and Arts
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2024
Princeton University Library
Princeton University Masters Theses, 2022-2024
Princeton University Undergraduate Senior Theses, 1924-2023
Psychology
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 6 to 25 of 46
< previous
next >
Class Year
Author(s)
Title
Advisor
-
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
xu, zhixing
Hardware-Supported Computer Security - Detection, Diagnosis and Defense
Malik, Sharad
2021
Greene, Isabel
Instruction Level Abstraction for Accelerators: A Study of the Support Vector Machine Accelerator
Malik, Sharad
2022
Huang, Bo-Yuan
Instruction-Level Abstraction for Program Compilation and Verification in Accelerator-rich Platforms
Malik, Sharad
2023
Boateng, Kevin
Instruction-Level Abstraction for the NVIDIA Deep Learning Accelerator: Convolution Datapath
Malik, Sharad
2023
Gariy, Samuel
Instruction-Level Abstraction for the Nvidia Deep Learning Accelerator: Planar Data Processing Unit
Malik, Sharad
1998
Tennant, Matthew
Logic Optimization for Binary Decoder Circuits - Simultaneous Area and Timing Optimization
Malik, Sharad