Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008