1. OpenMP: an industry standard API for shared-memory programming;Dagum;Comput. Sci. Eng. IEEE,1998
2. The Message Passing Interface (MPI) standard, 2007. Available from: .
3. D. Kroening, N. Sharygina. Formal verification of SystemC by automatic hardware/software partitioning, in: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, IEEE Computer, Society, 2005, pp. 101–110.
4. J. Stratton, S. Stone, W.-m. Hwu, MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs, in: J. Amaral (Ed.), Languages and Compilers for Parallel Computing, Springer, Berlin/Heidelberg, 2008, pp. 16–30.
5. OpenCL, 2010. Available from: .