From Relational Verification to Simd Loop Synthesis

AuthID
 P-00Y-5NH
5
Author(s)
Crespo, JM
·
Gulwani, S
·
Kunz, C
·
Marron, M
4
Editor(es)
Nicolau,A;Shen,X;Amarasinghe,SP;Vuduc,RW
Tipo de Documento
Proceedings Paper
Year published
2013
Publicado
in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013 in PPoPP
Páginas: 123-134
Indexing
Dblp®/pt/publications/view/988849
Publication Identifiers
DBLP: conf/ppopp/BartheCKGM13
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service