" Compilation and synthesis for embedded reconfigurable systems " João Manuel Paiva Cardoso ... [et al.], editors