Filtrer vos résultats
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
2 résultats
|
|
triés par
|
SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel LanguagesFifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), 2013, Nanning, China
Communication dans un congrès
hal-00931958v1
|
|||
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages9th International Conference Frontiers of Combining Systems (FroCos 2013), Sep 2013, Nancy, France. pp.56-70, ⟨10.1007/978-3-642-40885-4_5⟩
Communication dans un congrès
istex
hal-00931954v1
|