First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 272,60 KBShare Document on Facebook |