T. Ashby, A. Kennedy, and M. O. Boyle, Cross Component Optimisation in a High Level Category-Based Language, Euro- Par Parallel Processing, pp.654-661, 2004.
DOI : 10.1007/978-3-540-27866-5_86

M. A. Clark, R. Babich, K. Barros, R. C. Brower, and C. Rebbi, Solving lattice QCD systems of equations using mixed precision solvers on GPUs, Computer Physics Communications, vol.181, issue.9, pp.1517-1528, 2010.
DOI : 10.1016/j.cpc.2010.05.002

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., The Maude System, Intl. Conf. on Rewriting Techniques and Applications, pp.240-243, 1999.
DOI : 10.1007/3-540-48685-2_18

F. Durán and J. Meseguer, A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications, Rewriting Logic and Its Applications, pp.69-85, 2010.
DOI : 10.1007/978-3-642-16310-4_6

G. Robert, B. Edwards, and . Joo, The Chroma Software System for Lattice QCD

Z. Khaled, F. Ibrahim, and . Bodin, Implementing Wilson-Dirac operator on the cell broadband engine, Intl. Conf. on Supercomputing, pp.4-14, 2008.

M. Lüscher, Local coherence and deflation of the low quark modes in lattice QCD, Journal of High Energy Physics, vol.5, issue.07, p.81, 2007.
DOI : 10.1016/0370-2693(87)91197-X

M. Püschel, F. Franchetti, and Y. Voronenko, Encyclopedia of Parallel Computing, chapter Spiral, 2011.

C. Tadonki, G. Grodidier, and O. Pene, An efficient CELL library for lattice quantum chromodynamics, ACM SIGARCH Computer Architecture News, vol.38, issue.4, pp.60-65, 2011.
DOI : 10.1145/1926367.1926378
URL : https://hal.archives-ouvertes.fr/in2p3-00564860

E. Visser, Z. El-abidine, and . Benaissa, A Core Language for Rewriting, Rewriting Logic and its Applications, pp.422-441, 1998.
DOI : 10.1016/S1571-0661(05)80027-1

F. Wilczek, What QCD tells us about nature ??? and why we should listen, Nuclear Physics A, vol.663, issue.664, 2000.
DOI : 10.1016/S0375-9474(99)00567-9
URL : http://arxiv.org/abs/hep-ph/9907340