Sharad Malik
Sharad Malik
Professor of Electrical Engineering, Princeton University
Verifierad e-postadress på princeton.edu - Startsida
Titel
Citeras av
Citeras av
År
Chaff: Engineering an efficient SAT solver
MW Moskewicz, CF Madigan, Y Zhao, L Zhang, S Malik
Proceedings of the 38th annual Design Automation Conference, 530-535, 2001
43052001
Power analysis of embedded software: a first step towards software power minimization
V Tiwari, S Malik, A Wolfe
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2 (4), 437-445, 1994
14111994
System-level design: orthogonalization of concerns and platform-based design
K Keutzer, AR Newton, JM Rabaey, A Sangiovanni-Vincentelli
IEEE transactions on computer-aided design of integrated circuits and …, 2000
12102000
Efficient conflict driven learning in a boolean satisfiability solver
L Zhang, CF Madigan, MH Moskewicz, S Malik
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
10392001
Orion: a power-performance simulator for interconnection networks
HS Wang, X Zhu, LS Peh, S Malik
35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002 …, 2002
9122002
Instruction level power analysis and optimization of software
V Tiwari, S Malik, A Wolfe, MTC Lee
Technologies for wireless computing, 139-154, 1996
7441996
Logic verification using binary decision diagrams in a logic synthesis environment
S Malik, AR Wang, RK Brayton, A Sangiovanni-Vincentelli
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89 …, 1988
6721988
Performance analysis of embedded software using implicit path enumeration
YTS Li, S Malik
Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995
6571995
Addressing the system-on-a-chip interconnect woes through communication-based design
M Sgroi, M Sheets, A Mihal, K Keutzer, S Malik, J Rabaey, ...
Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001
4762001
Power-driven design of router microarchitectures in on-chip networks
H Wang, LS Peh, S Malik
Proceedings. 36th Annual IEEE/ACM International Symposium on …, 2003
4532003
The quest for efficient boolean satisfiability solvers
L Zhang, S Malik
International Conference on Computer Aided Verification, 17-36, 2002
4432002
A survey of optimization techniques targeting low power VLSI circuits
S Devadas, S Malik
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 242-247, 1995
3891995
Algorithms for discrete function manipulation
A Srinivasan, T Ham, S Malik, RK Brayton
1990 IEEE International conference on computer-aided design. Digest of …, 1990
3621990
Power analysis and minimization techniques for embedded DSP software
MTC Lee, V Tiwari, S Malik, M Fujita
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (1), 123-135, 1997
3511997
Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications
L Zhang, S Malik
2003 Design, Automation and Test in Europe Conference and Exhibition, 880-885, 2003
3492003
Cache miss equations: a compiler framework for analyzing and tuning memory behavior
S Ghosh, M Martonosi, S Malik
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 703-746, 1999
3461999
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
Handbook of satisfiability, 131-153, 2009
3442009
Cache modeling for real-time software: Beyond direct mapped instruction caches
YTS Li, S Malik, A Wolfe
17th IEEE Real-Time Systems Symposium, 254-263, 1996
3101996
Evaluating the security of logic encryption algorithms
P Subramanyan, S Ray, S Malik
2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015
3082015
Performance estimation of embedded software with instruction cache modeling
YTS Li, S Malik, A Wolfe
ACM Transactions on Design Automation of Electronic Systems (TODAES) 4 (3 …, 1999
3021999
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20