Conference Papers
Year : 2013
Stephan Merz : Connect in order to contact the contributor
https://hal.inria.fr/hal-00931958
Submitted on : Thursday, January 16, 2014-10:21:10 AM
Last modification on : Saturday, June 25, 2022-7:45:11 PM
Dates and versions
Identifiers
- HAL Id : hal-00931958 , version 1
Cite
Marek Kosta. SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages. Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China. ⟨hal-00931958⟩
54
View
0
Download