Sharad Malik
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
44482001
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
14331994
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
12412000
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
10862001
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
9252002
Instruction level power analysis and optimization of software
V Tiwari, S Malik, A Wolfe, MTC Lee
Technologies for wireless computing, 139-154, 1996
7561996
Performance analysis of embedded software using implicit path enumeration
YTS Li, S Malik
Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995
6771995
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
6691988
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
4822001
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
4592003
The quest for efficient boolean satisfiability solvers
L Zhang, S Malik
International Conference on Computer Aided Verification, 17-36, 2002
4572002
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
3911995
Conflict-driven clause learning SAT solvers
J Marques-Silva, I Lynce, S Malik
Handbook of satisfiability, 131-153, 2009
3872009
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
3681990
Evaluating the security of logic encryption algorithms
P Subramanyan, S Ray, S Malik
2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015
3612015
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
3572003
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
3561999
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
3561997
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
3141996
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
3051999
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20