Conference Papers Year : 2013

SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages

No file

Dates and versions

hal-00931958 , version 1 (16-01-2014)

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⟩
65 View
0 Download

Share

More