Matthieu Martel, Amine Najahi, Guillaume Revy. Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Journal of Systems Architecture, 76:133-148, 2017. [doi]
@article{MartelNR17, title = {Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks}, author = {Matthieu Martel and Amine Najahi and Guillaume Revy}, year = {2017}, doi = {10.1016/j.sysarc.2016.11.010}, url = {https://doi.org/10.1016/j.sysarc.2016.11.010}, researchr = {https://researchr.org/publication/MartelNR17}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {76}, pages = {133-148}, }