Synthesizing code for GPGPUs from abstract formal models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gabriel Hjort Blindell, Christian Menne, Ingo Sander. Synthesizing code for GPGPUs from abstract formal models. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]

This author has not been identified. Look up 'Gabriel Hjort Blindell' in GoogleThis author has not been identified. Look up 'Christian Menne' in GoogleThis author has not been identified. Look up 'Ingo Sander' in Google

runs on WebDSL