1. Exa CT 2013. 2013. Exa CT : Center for Exascale Simulation of Combustion in Turbulence: Proxy App Software . http://www.exactcodesign.org/proxy-app-software/ ExaCT 2013. 2013. ExaCT: Center for Exascale Simulation of Combustion in Turbulence: Proxy App Software. http://www.exactcodesign.org/proxy-app-software/
2. SW4 2014. 2014. Seismic Wave Modelling (SW4) - Computational Infrastructure for Geodynamics. https://geodynamics.org/resources/sw4 SW4 2014. 2014. Seismic Wave Modelling (SW4) - Computational Infrastructure for Geodynamics. https://geodynamics.org/resources/sw4
3. The OpenMP ARB. 1997. OpenMP. https://www.openmp.org/ The OpenMP ARB. 1997. OpenMP. https://www.openmp.org/
4. A Survey of Symbolic Execution Techniques
5. Fast Multiplication in Binary Fields on GPUs via Register Cache