1. StarPU: a unified platform for task scheduling on heterogeneous multicore architectures;Augonnet;Concurr. Comput.,2011
2. Satisfiability modulo theories.;Barrett;Handb. Satisf.,2009
3. MILP based task mapping for heterogeneous multiprocessor systems;Bender,1996
4. Board, O.A.R., 2013. OpenMP application program interface, version 4.0. http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf.
5. PaRSEC: exploiting heterogeneity for enhancing scalability;Bosilca;Comput. Sci. Eng.,2013