Coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010
Conference paper
Publications
Transistor sizing of custom high-performance digital circuits with parametric yield considerations
- Daniel K. Beece
- Jinjun Xiong
- et al.
- 2010
- DAC 2010
Conference paperShape-based similarity retrieval of Doppler images for clinical decision support
- Tanveer F. Syeda-Mahmood
- Pavan Turaga
- et al.
- 2010
- CVPR 2010
Conference paperA hybrid approach to high availability in stream processing systems
- Zhe Zhang
- Yu Gu
- et al.
- 2010
- ICDCS 2010
Conference paperNovel adhesive development for CMOS-compatible thin wafer handling
- K. Tamura
- K. Nakada
- et al.
- 2010
- ECTC 2010
Conference paperSynthesizing near-optimal malware specifications from suspicious behaviors
- Matt Fredrikson
- Somesh Jha
- et al.
- 2010
- S&P 2010
Conference paperMethodology for predicting C4 non-wets during the chip attach process
- Vijay D. Khanna
- Sri M. Sri-Jayantha
- 2010
- ECTC 2010
Conference paperTerabit/s-class 24-channel bidirectional optical transceiver module based on TSV Si carrier for board-level interconnects
- Fuad E. Doany
- Benjamin G. Lee
- et al.
- 2010
- ECTC 2010
Conference paperHigh channel-count optical interconnection for servers
- Yoichi Taira
- Hidetoshi Numata
- et al.
- 2010
- ECTC 2010
Conference paperIMC bonding for 3D interconnection
- Katsuyuki Sakuma
- Kuniaki Sueoka
- et al.
- 2010
- ECTC 2010
Conference paper