Bowen Zhou, Bing Xiang, et al.
SSST 2008
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
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Conference paper
Optimization algorithms for energy-efficient data centers
Hendrik F. Hamann
InterPACK 2013
Gal Badishi, Idit Keidar, et al.
IEEE TDSC