Conference paper
Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
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
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Reena Elangovan, Shubham Jain, et al.
ACM TODAES