Verification of Loop Parallelisations. Blom, S., Darabi, S., & Huisman, M. In FASE, volume 9033, of lncs, pages 202–217, 2015. ![Verification of Loop Parallelisations [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex 3 downloads @inproceedings{BlomDH15,
Author = {S. Blom and S. Darabi and M. Huisman},
Booktitle = FASE,
Pages = {202--217},
Series = lncs,
Title = {{Verification of Loop Parallelisations}},
Volume = {9033},
Year = {2015},
url = {https://link.springer.com/chapter/10.1007/978-3-662-46675-9_14}
}
Downloads: 3
{"_id":"9Z59ZChAp6XL2cS8e","bibbaseid":"blom-darabi-huisman-verificationofloopparallelisations-2015","authorIDs":["5d14be645b939dee01000058"],"author_short":["Blom, S.","Darabi, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Darabi"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"booktitle":"FASE","pages":"202–217","series":"lncs","title":"Verification of Loop Parallelisations","volume":"9033","year":"2015","url":"https://link.springer.com/chapter/10.1007/978-3-662-46675-9_14","bibtex":"@inproceedings{BlomDH15,\n Author = {S. Blom and S. Darabi and M. Huisman},\n Booktitle = FASE,\n Pages = {202--217},\n Series = lncs,\n Title = {{Verification of Loop Parallelisations}},\n Volume = {9033},\n Year = {2015},\n url = {https://link.springer.com/chapter/10.1007/978-3-662-46675-9_14}\n}\n\n","author_short":["Blom, S.","Darabi, S.","Huisman, M."],"key":"BlomDH15","id":"BlomDH15","bibbaseid":"blom-darabi-huisman-verificationofloopparallelisations-2015","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-662-46675-9_14"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.096Z","downloads":3,"keywords":[],"search_terms":["verification","loop","parallelisations","blom","darabi","huisman"],"title":"Verification of Loop Parallelisations","year":2015,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}