Conference paper
Some experimental results on placement techniques
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
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
Kento Tsubouchi, Yosuke Mitsuhashi, et al.
npj Quantum Information
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007