History-based VLSI legalization using network flow
- Minsik Cho
- Haoxing Ren
- et al.
- 2010
- DAC 2010
Conference paper
Publications
26853 results for Science
Bridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010
Conference paperPareto sampling: Choosing the right weights by Derivative Pursuit
- Amith Singhee
- Pamela Castalino
- 2010
- DAC 2010
Conference paperCoverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- 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 paperInvestigation and effects of wafer bow in 3D integration bonding schemes
- K.N. Chen
- Y. Zhu
- et al.
- 2010
- Journal of Electronic Materials
PaperCoresets, sparse greedy approximation, and the frank-wolfe algorithm
- 2010
- ACM Transactions on Algorithms
PaperOptical decoherence and persistent spectral hole burning in Er 3:LiNbO3
- C.W. Thiel
- R.M. MacFarlane
- et al.
- 2010
- Journal of Luminescence
PaperA taxonomy of accelerator architectures and their programming models
- C. Cascaval
- S. Chatterjee
- et al.
- 2010
- IBM J. Res. Dev
PaperAsymmetrically strained all-silicon multi-gate n-Tunnel FETs
- M. Najmzadeh
- K. Boucart
- et al.
- 2010
- Solid-State Electronics
Paper