Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)

Slides:



Advertisements
Presentaciones similares
Facultad de Periodismo y Comunicación Social - UNLP - Diagonal 113 y 63 Tel: /
Advertisements

MACROECONOMÍA Profesor: Jorge Falagán Mota (Teoría y prácticas)
Programación Avanzada en Internet
PROCESO DE TITULACION CARRERA PROFESIONAL DE COMPUTACION E INFORMATICA
R esultados de la e valuación del p royecto del c urso p iloto de 2º de a dministración y d irección de e mpresas p rimer c uatrimestre.
R esultados de la e valuación del p royecto del c urso p iloto de 3º de m atemáticas p rimer c uatrimestre.
PROCESAMIENTO DE IMÁGENES
LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN
RESULTADOS DE LA EVALUACIÓN DEL PROYECTO DEL CURSO PILOTO DE 1º DE PEDAGOGÍA PRIMER CUATRIMESTRE.
PRESENTACIÓN DE LA ASIGNATURA MICROECONOMÍA INTERMEDIA 2014/15
TALF 2 Introducción Roberto Moriyón. Objetivo general del curso Estudiar los límites de los algoritmos: –Hay más algoritmos de los que conocemos? Estudiar.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Prácticas de laboratorio Estructura de Datos y de la Información Juan Ramón Pérez Pérez
0,5 Teoría+0 Prácticas+0 Laboratorio
Análisis experimental de la carga de trabajo requerida para completar una asignatura universitaria de cara a la transición hacia el Espacio Europeo de.
Psicología de la Educación e Instrucción Grupo B Profesores Eduardo Vidal-Abarca (Teoría) Manuel Soriano (Prácticas)
Máquinas Electrónicas Computadores y programación. move $s0, $t0 addiu $s0, $s0, beq $s0, $zero, Analisis jal NoAnalisis void swap(int v[],
M0377. Administración de Sistemas Gestores de Bases de Datos
Presentación 1 Redes de Computadores 13/14 Departamento de Tecnología Electrónica.
CENTRO DE ESTUDIOS TECNOLÓGICOS Industrial y de Servicios 116 Asignatura: Matemáticas Aplicadas Prof. Pericles Ramírez Jiménez Especialidad: Administración.
Presentación de Creatividad y Resolución de Problemas en T. I. José Onofre Montesa Andrés Universidad Politécnica de Valencia Escuela Superior de Informática.
Matemática Básica para Economistas MA99 Presentación del curso Ciclo
Docente: Patricia Bazán y Dalila Romero
José Luis Martínez de Juan Área de Estudios y Ordenación de Títulos Vicerrectorado de Estudios y Convergencia Europea ¿Cómo calcular el tiempo de aprendizaje.
UNIDAD 0 Presentación del Curso Adrián Villegas Dianta.
TECNOLOGÍA DE COMPUTADORES CURSO 2013/14. PRESENTACIÓN DE LA ASIGNATURA.
28/04/ DIIS – Pedro Álvarez y José Manuel Colom presentaciónCurso.ppt Última revisión: Febrero Lenguajes, Gramáticas y Autómatas 2º Ing. Informática.
Algoritmos y Estructuras de Datos
Física I. Mecánica GRUPO 7
Creación y Gestión de Empresas Informáticas José Onofre Montesa Andrés Universidad Politécnica de Valencia Escuela Técnica Superior de Informática Aplicada.
Introdución1 Ingeniería del Conocimiento Facultad de Informática Curso 2003/2004 Abraham Rodríguez Despacho.
Experiencias en la implantación de la asignatura de Tecnología de Programación al EEES Elena M. Hernández Pereira Óscar Fontenla Romero Departamento de.
Laboratorio de Desarrollo Sistemas de Información LDS Presentación de la Asignatura Escuela Técnica Superior de Informática Aplicada Universidad.
RESULTADOS DE LA EVALUACIÓN DEL PROYECTO DE ADAPTACIÓN DE ASIGNATURAS DE ALGORITMOS Y ESTRUCTURAS DE DATOS SEGUNDO CUATRIMESTRE.
R esultados de la e valuación del p royecto del c urso p iloto de 1º de r elaciones l aborales p rimer c uatrimestre.
RESULTADOS DE LA EVALUACIÓN DEL PROYECTO DE ADAPTACIÓN DE ASIGNATURAS DE 2º DE INGENIERÍA INFORMÁTICA PRIMER CUATRIMESTRE.
Curso: 2007/8 Asignatura: Teoría y Práctica del hipertexto Profesor: José Saiz Molina.
Universidad Tecnológica del Centro Profesor: José F. Sánchez. Carreras: Ingeniería en Redes y Comunicaciones. Período: Abril – Julio.
Integración Multimedia Facultad de Informática DSIC
Una Institución creada por el Tecnológico de Monterrey Administración de Riesgos M.C. Juan Carlos Olivares Rojas.
Compiladores Ingeniería en Computación M. en C. J. Jesús Arellano Pimentel.
RESULTADOS DE LA EVALUACIÓN DEL PROYECTO DEL CURSO PILOTO DE 1º DE VETERINARIA PRIMER CUATRIMESTRE.
1 Aplicación de la composición: Efectos Digitales PRESENTACIÓN Carlos García Miragall Ext
¿Qué se hace en clase de Religión?
E.T.S. de Ingeniería Informática Arquitectura de Redes Curso Departamento de Tecnología Electrónica.
Informática ETSIGCT curso 2008/2009 Departamento de Sistemas Informáticos y Computación.
Ingeniería de Software II
UNIDAD 0 – TEMA Nº 0 Presentación del Curso Adrián Villegas Dianta.
¡BIENVENIDAS! Matemáticas 2º ESO.
Ingeniería de Software II 0840 M.C. Juan Carlos Olivares Rojas I Salón.
Presentación 2014_15 Profesor: Juan Cuervas-Mons
UNIDAD 0 Presentación del Curso Adrián Villegas Dianta.
Optimización automática de programas (OAP)‏ Germán Vidal 1 Curso 2009 / 2010 Optimización automática de programas (OAP)
EL PORTAFOLIO COMO RECURSO DE APRENDIZAJE E INSTRUMENTO DE EVALUACIÓN
Procesamiento Audiovisual 1 Tema 0. Presentación de la asignatura. PROCESAMIENTO AUDIOVISUAL Curso académico: 2009/2010 Titulaciones: II, ITIS Curso: 3º.
Departamento de español Estructura Selectividad Fase General (obligatoria) Convalidación A levels Fase Específica (voluntaria) Subir nota Ponderaciones.
Presentación del profesorado Contenido Temático Bibliografía
Emoción y Competencias Socioemocionales Itziar Etxebarria – Aitor Aritzeta Universidad del País Vasco/Euskal Herriko Unibertsitatea.
CURSO 2014/2015. TEMARIO:  T EMA 1: H ERRAMIENTAS BÁSICAS PARA EL ESTUDIO DE REDES  T EMA 2: M ODELIZACIÓN DE SISTEMAS DE VIGILANCIA  T EMA 3: R EDES.
Paul Ely Presentación Asignatura Creatividad y Resolución de problemas en T.I. Jose Onofre Montesa Andrés
Informática aplicada a la gestión pública (GAP) Contenido de la asignatura Curso 2002/03
ASIGNATURA DE PROGRAMACIÓN GRADO EN INGENIERÍA EN TECNOLOGÍAS DE LA TELECOMUNICACIÓN GRADO EN INGENIERÍA EN SISTEMAS DE TELECOMUNICACIÓN GRADO EN INGENIERÍA.
1 Programación para Arte Multimedia (I) PRESENTACIÓN Carlos García Miragall Ext
Análisis Dinámico en Economía y Empresa Curso
Matemáticas IV funciones Cuarto semestre Profesor: Laura Paz Santiago.
E.T.S. de Ingeniería Informática Arquitectura de Redes Curso Departamento de Tecnología Electrónica.
Guía Informática Industrial y Comunicaciones Pablo San Segundo (C-206)
1 Todo lo que Vd. siempre quiso saber sobre la asignatura (y nunca se atrevió a preguntar) Sistemas Operativos.
MASTER UNIVERSITARIO EN FORMACIÓN DEL PROFESORADO DE EDUCACIÓN SECUNDARIA DIDÁCTICA DE LA FÍSICA Y LA QUÍMICA Mª ISABEL SUERO LÓPEZ Universidad de Extremadura.
Bases de Datos Cartográficas Laura Sebastiá Departamento de Sistemas Informáticos y Computación.
Transcripción de la presentación:

Optimización automática de programas (OAP) Germán Vidal 1 Curso 2013 / 2014 Optimización automática de programas (OAP)

Optimización automática de programas (OAP)‏ Germán Vidal 2 Profesor Germán Vidal  Despacho 2D42 (Edificio DSIC, 2º piso)   URL: Tutorías:  bajo demanda…

Optimización automática de programas (OAP)‏ Germán Vidal 3 Temario 1.Introducción (1-2 semanas) 2.Técnicas de análisis estático 3.Transformación de programas: evaluación parcial y especialización (6 – 8 semanas) 4.Otra cosa (ejecución simbólica; model checking; análisis estático; presentaciones; etc)

Optimización automática de programas (OAP)‏ Germán Vidal 4 Prácticas Implementación de una herramienta de especialización de programas  lenguaje de programación: Haskell

Optimización automática de programas (OAP)‏ Germán Vidal 5 Evaluación Prácticas (obligatorias, individuales) 20% - 80% ?? Teoría (examen escrito, con apuntes) 80% - 20% ?? Trabajos voluntarios (exposición en clase) 10%

Optimización automática de programas (OAP)‏ Germán Vidal 6 Información Web asignatura:  (ver también microweb Poliformat) Material de clase:  web de la asignatura/Poliformat  libro: ok.html