EDA challenges and options: Investing for the future
- Ruchir Puri
- William Joyner
- et al.
- 2010
- DAC 2010
Publications
Date
Featured collections
Popular topics
8905 results for Computer Science
Bridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010
Reconfigurable multi-function logic based on graphene p-n junctions
- Sansiri Tanachutiwat
- Ji Ung Lee
- et al.
- 2010
- DAC 2010
A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation
- Ruijing Shen
- Sheldon X.-D. Tan
- et al.
- 2010
- DAC 2010
Coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Transistor sizing of custom high-performance digital circuits with parametric yield considerations
- Daniel K. Beece
- Jinjun Xiong
- et al.
- 2010
- DAC 2010
SystemT: An algebraic approach to declarative information extraction
- Laura Chiticariu
- Rajasekar Krishnamurthy
- et al.
- 2010
- ACL 2010
Efficient similarity estimation for systems exploiting data redundancy
- Kanat Tangwongsan
- Himabindu Pucha
- et al.
- 2010
- INFOCOM 2010
Dynamic power allocation under arbitrary varying channels - The multi-user case
- Niv Buchbinder
- Liane Lewin-Eytan
- et al.
- 2010
- INFOCOM 2010
Scalable NIDS via negative pattern matching and exclusive pattern matching
- Kai Zheng
- Xin Zhang
- et al.
- 2010
- INFOCOM 2010