Sharad Malik

Cytowane przez

	Wszystkie	Od 2020
Cytowania	32354	4511
h-indeks	73	30
i10-indeks	221	65

1700

850

425

1275

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202585 160 178 292 358 477 445 518 599 703 977 1181 1455 1666 1662 1618 1587 1462 1425 1301 1284 1294 1101 1100 1062 1092 1083 1017 949 934 838 872 839 78

Dostęp publiczny

Wyświetl wszystko

30 artykułów

7 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Lintao ZhangMicrosoft Research AsiaZweryfikowany adres z microsoft.com
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyZweryfikowany adres z berkeley.edu
Margaret MartonosiProfessor of Computer Science, Princeton UniversityZweryfikowany adres z princeton.edu
Aarti GuptaPrinceton UniversityZweryfikowany adres z cs.princeton.edu
Vivek TiwariIntel Corp, Princeton UniversityZweryfikowany adres z intel.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Pramod SubramanyanIndian Institute of Technology KanpurZweryfikowany adres z cse.iitk.ac.in
Andrew WolfeSanta Clara UniversityZweryfikowany adres z scu.edu
Matthew MoskewiczTeslaZweryfikowany adres z alumni.princeton.edu
Guido AraujoIC-UNICAMPZweryfikowany adres z ic.unicamp.br
Li-Shiuan PehProfessor of Computer Science, National University of SingaporeZweryfikowany adres z nus.edu.sg
Yakir VizelTechnionZweryfikowany adres z cs.technion.ac.il
Georg WeissenbacherProfessor of Computer Science, TU WienZweryfikowany adres z tuwien.ac.at
Jan RabaeyProfessor of EECS, University of California at BerkeleyZweryfikowany adres z berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationZweryfikowany adres z intel.com
Shuyuan ZhangOpenAI, Google, Princeton UniversityZweryfikowany adres z princeton.edu
David I. AugustComputer Science, Princeton UniversityZweryfikowany adres z princeton.edu
Lawrence PileggiCoraluppi Head and Tanoto Professor of ECE, Carnegie Mellon UniversityZweryfikowany adres z andrew.cmu.edu

Obserwuj

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

Zweryfikowany adres z princeton.edu - Strona główna

Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	4949	2001
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	1556	1994
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	1364	2000
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	1232	2001
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	1026	2002
Evaluating the security of logic encryption algorithms P Subramanyan, S Ray, S Malik 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015	872	2015
Instruction level power analysis and optimization of software V Tiwari, S Malik, A Wolfe, MTC Lee Technologies for wireless computing, 139-154, 1996	848	1996
Performance analysis of embedded software using implicit path enumeration YTS Li, S Malik Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995	790	1995
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, 6, 7, 8, 9-6, 7 …, 1988	754	1988
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	707	2021
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 annual design automation conference, 667-672, 2001	534	2001
The quest for efficient boolean satisfiability solvers L Zhang, S Malik Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	515	2002
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	481	2003
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	465	1995
Algorithms for discrete function manipulation A Srinivasan, T Ham, S Malik, RK Brayton 1990 IEEE international conference on computer-aided design, 92, 93, 94, 95 …, 1990	451	1990
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	420	2003
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	390	1999
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	373	1997
On solving the partial MAX-SAT problem Z Fu, S Malik International Conference on Theory and Applications of Satisfiability …, 2006	368	2006
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	339	1996

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy