Sharad Malik
Sharad Malik
Professor of Electrical Engineering, Princeton University
Verifierad e-postadress på princeton.edu - Startsida
TitelCiteras 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
42232001
Power analysis of embedded software: a first step towards software power minimization
V Tiwari, S Malik, A Wolfe
Proceedings of the 1994 IEEE/ACM international conference on Computer-aided …, 1994
13821994
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
11862000
Efficient conflict driven learning in a boolean satisfiability solver
L Zhang, CF Madigan, MH Moskewicz, S Malik
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided …, 2001
10102001
Orion: a power-performance simulator for interconnection networks
HS Wang, X Zhu, LS Peh, S Malik
Proceedings of the 35th annual ACM/IEEE international symposium on …, 2002
8942002
Instruction level power analysis and optimization of software
V Tiwari, S Malik, A Wolfe, MTC Lee
Technologies for wireless computing, 139-154, 1996
7311996
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
6581988
Performance analysis of embedded software using implicit path enumeration
YTS Li, S Malik
ACM SIGPLAN Notices 30 (11), 88-98, 1995
6451995
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
4682001
Power-driven design of router microarchitectures in on-chip networks
H Wang, LS Peh, S Malik
Proceedings of the 36th annual IEEE/ACM International Symposium on …, 2003
4552003
The quest for efficient boolean satisfiability solvers
L Zhang, S Malik
International Conference on Computer Aided Verification, 17-36, 2002
4322002
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
3821995
Algorithms for discrete function manipulation
A Srinivasan, T Ham, S Malik, RK Brayton
1990 IEEE International conference on computer-aided design. Digest of …, 1990
3531990
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
3432003
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
3381999
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
Handbook of satisfiability, 131-153, 2009
3202009
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
3021996
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
3001999
Compilation techniques for low energy: An overview
V Tiwari, S Malik, A Wolfe
Proceedings of 1994 IEEE Symposium on Low Power Electronics, 38-39, 1994
2841994
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20