Sharad Malik

Citée par

	Toutes	Depuis 2020
Citations	32590	4589
indice h	74	30
indice i10	221	65

1700

850

425

1275

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202585 159 175 289 344 471 449 509 600 714 1001 1203 1467 1687 1672 1634 1592 1468 1437 1314 1302 1293 1108 1104 1053 1090 1108 1014 956 925 842 873 846 147

Accès public

Tout afficher

30 articles

6 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyAdresse e-mail validée de berkeley.edu
Lintao ZhangMicrosoft Research AsiaAdresse e-mail validée de microsoft.com
Margaret MartonosiProfessor of Computer Science, Princeton UniversityAdresse e-mail validée de princeton.edu
Aarti GuptaPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Vivek TiwariIntel Corp, Princeton UniversityAdresse e-mail validée de intel.com
Pramod SubramanyanIndian Institute of Technology KanpurAdresse e-mail validée de cse.iitk.ac.in
Andrew WolfeSanta Clara UniversityAdresse e-mail validée de scu.edu
Matthew MoskewiczTeslaAdresse e-mail validée de alumni.princeton.edu
Guido AraujoIC-UNICAMPAdresse e-mail validée de ic.unicamp.br
Li-Shiuan PehProfessor of Computer Science, National University of SingaporeAdresse e-mail validée de nus.edu.sg
Yakir VizelTechnionAdresse e-mail validée de cs.technion.ac.il
Georg WeissenbacherProfessor of Computer Science, TU WienAdresse e-mail validée de tuwien.ac.at
Jan RabaeyProfessor of EECS, University of California at BerkeleyAdresse e-mail validée de berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationAdresse e-mail validée de intel.com
Shuyuan ZhangOpenAI, Google, Princeton UniversityAdresse e-mail validée de princeton.edu
David I. AugustComputer Science, Princeton UniversityAdresse e-mail validée de princeton.edu
Lawrence PileggiCoraluppi Head and Tanoto Professor of ECE, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu

Suivre

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

Adresse e-mail validée de princeton.edu - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	5108	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	1541	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	1361	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	1233	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	1031	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	863	2015
Instruction level power analysis and optimization of software V Tiwari, S Malik, A Wolfe, MTC Lee Technologies for wireless computing, 139-154, 1996	839	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	760	1988
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	706	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	539	2001
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	521	2003
The quest for efficient boolean satisfiability solvers L Zhang, S Malik Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	516	2002
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	458	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	447	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	417	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	387	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	375	1997
On solving the partial MAX-SAT problem Z Fu, S Malik International Conference on Theory and Applications of Satisfiability …, 2006	374	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	335	1996

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs