Memorias de investigación
Artículos en revistas:
From Relational Verification to SIMD Loop Synthesis
Año:2013

Áreas de investigación

Datos
Descripción
0
Internacional
Si
JCR del ISI
Si
Título de la revista
ACM SIGPLAN NOTICES
ISSN
0362-1340
Factor de impacto JCR
0,09
Información de impacto
Volumen
48
DOI
10.1145/2517327.2442529
Número de revista
8
Desde la página
123
Hasta la página
133
Mes
Ranking
0

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: cesar kunz UPM

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: No seleccionado
  • Departamento: Inteligencia Artificial