selected publications conference paper Lightweight Requirements Engineering for Exascale Co-design 2018 A Dynamic Accelerator-Cluster Architecture 2012