SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00931958 , version 1

Citer

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⟩
63 Consultations
0 Téléchargements

Partager

More