SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1, 2)
1
2
Not 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⟩
54 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More