Computational experience with a software framework for parallel integer programming
- Y. Xu
- T.K. Ralphs
- et al.
- 2009
- INFORMS Journal on Computing
Paper
Publications
9289 results for Computer Science
The connectivity of Boolean satisfiability: Computational and structural dichotomies
- Parikshit Gopalan
- Phokion G. Kolaitis
- et al.
- 2009
- SIAM Journal on Computing
PaperSpeech-activated user interfaces and climbing Mt. Exascale
- Tessa Lau
- Daniel Reed
- 2009
- Communications of the ACM
PaperQuantitative measurement of resist outgassing during exposure
- Nicolae Maxim
- Frances A. Houle
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paperA computational technique to optimally design in-situ diffractive elements: Applications to projection lithography at the resist resolution limit
- Gonzalo R. Feijóo
- Jaione Tirapu-Azpiroz
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paperOvercoming the challenges of 22-nm node patterning through litho-design co-optimization
- Martin Burkharde
- J.C. Arnold
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paperSource optimization for three-dimensional image designs through film stacks
- David O. S. Melville
- Alan E. Rosenbluth
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paper22 nm technology node active layer patterning for planar transistor devices
- Ryoung-Han Kim
- Steven Holmes
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paperIntensive optimization of masks and sources for 22nm lithography
- Alan E. Rosenbluth
- David O. Melville
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paperHybrid Resist Systems Based on a-Substituted Acrylate Copolymers
- Hiroshi Ito
- Linda K. Sundberg
- et al.
- 2009
- SPIE Advanced Lithography 2009
Conference paper