Sharad Malik

Citado por

	Total	Desde 2019
Citas	32168	5349
Índice h	73	33
Índice i10	220	75

1700

850

425

1275

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202485 160 183 293 360 477 448 518 605 704 961 1175 1456 1667 1664 1621 1583 1465 1419 1302 1284 1293 1104 1098 1061 1091 1076 1020 948 933 835 879 734

Acceso público

Ver todo

29 artículos

7 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Lintao ZhangMicrosoft Research AsiaDirección de correo verificada de microsoft.com
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyDirección de correo verificada de berkeley.edu
Margaret MartonosiProfessor of Computer Science, Princeton UniversityDirección de correo verificada de princeton.edu
Aarti GuptaPrinceton UniversityDirección de correo verificada de cs.princeton.edu
Vivek TiwariIntel Corp, Princeton UniversityDirección de correo verificada de intel.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Pramod SubramanyanIndian Institute of Technology KanpurDirección de correo verificada de cse.iitk.ac.in
Andrew WolfeSanta Clara UniversityDirección de correo verificada de scu.edu
Matthew MoskewiczTeslaDirección de correo verificada de alumni.princeton.edu
Guido AraujoIC-UNICAMPDirección de correo verificada de ic.unicamp.br
Li-Shiuan PehProfessor of Computer Science, National University of SingaporeDirección de correo verificada de nus.edu.sg
Yakir VizelTechnionDirección de correo verificada de cs.technion.ac.il
Georg WeissenbacherProfessor of Computer Science, TU WienDirección de correo verificada de tuwien.ac.at
Jan RabaeyProfessor of EECS, University of California at BerkeleyDirección de correo verificada de berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationDirección de correo verificada de intel.com
Shuyuan ZhangOpenAI, Google, Princeton UniversityDirección de correo verificada de princeton.edu
David I. AugustComputer Science, Princeton UniversityDirección de correo verificada de princeton.edu
Lawrence PileggiCoraluppi Head and Tanoto Professor of ECE, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu

Seguir

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University

Dirección de correo verificada de princeton.edu - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	4925	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	1555	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	1362	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	1227	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	1027	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	848	2015
Instruction level power analysis and optimization of software V Tiwari, S Malik, A Wolfe, MTC Lee Technologies for wireless computing, 139-154, 1996	846	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	784	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	752	1988
Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 133-182, 2021	686	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	510	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	482	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	463	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	448	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	419	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	373	1997
On solving the partial MAX-SAT problem Z Fu, S Malik International Conference on Theory and Applications of Satisfiability …, 2006	367	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores