Pareto sampling: Choosing the right weights by Derivative Pursuit
- Amith Singhee
- Pamela Castalino
- 2010
- DAC 2010
Conference paper
Publications
9271 results for Computer Science
Transistor sizing of custom high-performance digital circuits with parametric yield considerations
- Daniel K. Beece
- Jinjun Xiong
- et al.
- 2010
- DAC 2010
Conference paperBridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010
Conference paperReconfigurable multi-function logic based on graphene p-n junctions
- Sansiri Tanachutiwat
- Ji Ung Lee
- et al.
- 2010
- DAC 2010
Conference paperEDA challenges and options: Investing for the future
- Ruchir Puri
- William Joyner
- et al.
- 2010
- DAC 2010
Conference paperA linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation
- Ruijing Shen
- Sheldon X.-D. Tan
- et al.
- 2010
- DAC 2010
Conference paperHistory-based VLSI legalization using network flow
- Minsik Cho
- Haoxing Ren
- et al.
- 2010
- DAC 2010
Conference paperCoverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Conference paperLocal monotonicity reconstruction
- Michael Saks
- C. Seshadhri
- 2010
- SIAM Journal on Computing
PaperTHOR: A performance analysis tool for Java applications running on multicore systems
- Qiming Teng
- H.C. Wang
- et al.
- 2010
- IBM J. Res. Dev
Paper