History-based VLSI legalization using network flow
- Minsik Cho
- Haoxing Ren
- et al.
- 2010
- DAC 2010
Conference paper
Publications
9289 results for Computer Science
Reconfigurable multi-function logic based on graphene p-n junctions
- Sansiri Tanachutiwat
- Ji Ung Lee
- 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 paperPareto sampling: Choosing the right weights by Derivative Pursuit
- Amith Singhee
- Pamela Castalino
- 2010
- DAC 2010
Conference paperBridging pre-silicon verification and post-silicon validation
- Amir Nahir
- Avi Ziv
- et al.
- 2010
- DAC 2010
Conference paperCoverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Conference paperObservations on tuning a Java enterprise application for performance and scalability
- Erik R. Altman
- Matthew Arnold
- et al.
- 2010
- IBM J. Res. Dev
PaperTHOR: A performance analysis tool for Java applications running on multicore systems
- Qiming Teng
- H.C. Wang
- et al.
- 2010
- IBM J. Res. Dev
PaperDetection of deadlock potentials in multithreaded programs
- R. Agarwal
- S. Bensalem
- et al.
- 2010
- IBM J. Res. Dev
PaperServer scheduling to balance priorities, fairness, and average quality of service
- Nikhil Bansal
- Kirk R. Pruhs
- 2010
- SIAM Journal on Computing
Paper