![](https://www.pdfsearch.io/img/985fdd8aae29f6b0be59406125aae144.jpg) Date: 2017-11-15 11:58:15
| | Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract InterpretatioAdd to Reading ListSource URL: cliplab.orgDownload Document from Source Website File Size: 272,60 KBShare Document on Facebook
|