TY - RPRT TI - Software Synthesis for High Productivity Exascale Computing AU - Bodik, Rastislav AU - Demmel, James AU - Solar-Lezama, Armando PY - 2010 DO - 10.2172/1214546 UR - https://www.osti.gov/biblio/1214546 ID - 1214546 ER -