Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
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
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975