Cleomar Pereira da Silva, Douglas Mota Dias, Cristiana Bentes, Marco Aurélio Cavalcanti Pacheco. Use of graphics processing units for automatic synthesis of programs. Computers & Electrical Engineering, 46:112-122, 2015. [doi]
Abstract is missing.