http://webdiis.unizar.es/~ezpeleta/ 2026-07-19T06:25:00+00:00 http://webdiis.unizar.es/~ezpeleta/ http://webdiis.unizar.es/~ezpeleta/lib/tpl/dokubook/images/favicon.ico text/html 2009-10-26T08:12:11+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=calificacion_trabajos_pc&rev=1256544731&do=diff DE MOMENTO, NADA. text/html 2009-10-23T13:07:40+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=contenidos&rev=1256303260&do=diff Contenidos de la asignatura * [Presentación de la asignatura] * [Introducción] * [Análisis léxico] * [Fundamentos para el análisis sintáctico] * [Análisis sintáctico LL(1)] * [Análisis sintáctico LR] * [Introducción al análisis semántico] ---------- * [Introducción a FLEX] * [Una introducción a FLEX un poco más detallada] * [Introducción a BISON] * [Una introducción a BISON un poco más detallada] text/html 2011-04-13T07:00:42+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=contenidos_pc&rev=1302678042&do=diff Contenidos de la asignatura * [Presentación de la asignatura] * [Lenguaje algorítmico para programas secuenciales] * [Conceptos básicos de PC] * [Concurrencia y sincronización] * [Semántica de la composición concurrente] * [Técnicas para asegurar ausencia de interferencias] * [Propiedades de un programa concurrente] * [Sincronización de procesos. El problema de la sección crítica] * [Sincronización por barrera] * [Programación concurrente con semáforos] * [Ejemplos de prog… text/html 2009-10-23T14:14:46+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=desarrollo_de_las_practicas_curso_2007-2008&rev=1256307286&do=diff Desarrollo de las prácticas, curso 2007-2008 * Práctica 1 * enunciado: [pract1.pdf] * fecha de entrega: ver enunciado de la práctica * resultados de la corrección * información adicional * Práctica 2 * enunciado: [pract2.pdf] * fecha de entrega: ver enunciado de la práctica text/html 2018-10-24T06:49:46+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=docencia&rev=1540363786&do=diff * Compiladores I (Ingeniería Informática) * Información sobre la asignatura * Contenidos * Material de apoyo * Desarrollo de las prácticas, curso 2007-2008 ---------- * Programación Concurrente (Ingeniería Informática) * Información sobre la asignatura * Contenidos * Desarrollo de las prácticas, curso 2011-2012 ---------- * Programación de Sistemas Concurrentes y Distribuidos. Grado de Ingeniería Informática ---------- * Programación 2. Grado de Ingeniería I… text/html 2011-05-31T07:53:25+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=grupos&rev=1306828405&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 10-11 Listado de grupos y trabajos de fin de curso asignados ========================================================== Grupo: G01 Trabajo: Tenis de mesa Componentes: Óscar Palomar, Roberto Serrano Presentación: ========================================================== Grupo: G02 Trabajo: Un mundo sintético Componentes: Raúl González, Lucía Ortiz de Landázuri Presentación: ========================================================== … text/html 2012-03-02T16:50:55+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=grupos_y_trabajos_asignados&rev=1330707055&do=diff text/html 2012-03-01T07:01:22+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=horarios_de_practicas&rev=1330585282&do=diff 12054 - Programación Concurrente (PCp) Día Fecha Hora Lab. N.º --- -------- ------ ----- --- Ja2 08-03-12 16..19 L0.01 1 Ja3 22-03-12 16..19 L0.01 2 Ja4 19-04-12 16..19 L0.01 3 Ja5 10-05-12 16..19 L0.01 4 Ja6 24-05-12 16..19 L0.01 5 text/html 2009-10-26T08:11:40+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=horarios_trabajos_pc&rev=1256544700&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 08-09 Organización de la presentación de los trabajos finales los días 1 y 2 de junio de 2009 =============================================================== G11 Control de ascensores lunes-1 G10 Control de ascensores lunes-2 G09 Marcianos de los 70 lunes-3 G08 Marcianos de los 70 lunes-4 G07 Robots depredadores lunes-5 G06 Ro… text/html 2013-03-06T11:19:27+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=indice&rev=1362568767&do=diff * Inicio * Docencia * Publicaciones * Proyectos Fin de Carrera (PFC) text/html 2009-10-26T14:05:09+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=informacion_mp&rev=1256565909&do=diff Metodología de la Programación * Departamento de Informática e Ingeniería de Sistemas (DIIS) * UNIVERSIDAD DE ZARAGOZA (<http://www.unizar.es/>) * Instituto de Investigación en Ingeniería de Aragón (I3A) Datos de la asignatura * Curso: 1º * Semestre: Segundo text/html 2012-06-07T10:28:38+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=informacion_pc&rev=1339064918&do=diff Programación Concurrente * Departamento de Informática e Ingeniería de Sistemas (DIIS) * UNIVERSIDAD DE ZARAGOZA (<http://www.unizar.es/>) Datos de la asignatura * Carácter: Optativa de 2° ciclo * Créditos: 4.5T + 1.5P * Profesorado: * teoría: Joaquín Ezpeleta ( text/html 2009-10-26T08:52:08+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=informacion_sobre_la_asignatura&rev=1256547128&do=diff COMPILADORES I * Departamento de Informática e Ingeniería de Sistemas (DIIS) * UNIVERSIDAD DE ZARAGOZA (<http://www.unizar.es/>) * Instituto de Investigación en Ingeniería de Aragón (I3A) Datos de la asignatura * Curso: 4º * Semestre: Séptimo * Carácter: Troncal de 2° ciclo text/html 2016-02-15T13:14:37+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=inicio&rev=1455542077&do=diff Dr. Joaquín EZPELETA MATEO * Catedrático de universidad. Área de Lenguajes y Sistemas Informáticos * Departamento de Informática e Ingeniería de Sistemas (DIIS) * UNIVERSIDAD DE ZARAGOZA (<http://www.unizar.es/>) * Grupo de I+D en Computación Distribuida (DisCo) * text/html 2009-10-23T14:38:22+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=instrucciones_rapidas_de_instalacion&rev=1256308702&do=diff Pasos para la instalación de Anagra V2.01 La distribución está compuesta por el archivo “AnagraV2_01.zip” y “manualDeUsuarioPDF.zip”. La instalación y ejecución es muy sencilla. Basta con descompactar el archivo “AnagraV2_01.zip” en el directorio donde desees que resida. Esto generará lo siguiente: text/html 2009-10-26T08:09:36+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=listado_trabajos_pc&rev=1256544576&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 08-09 Listado de grupos y trabajos de fin de curso asignados (12/05/09-14:35) Nota: Joaquín Ezpeleta (ezpeleta [at] unizar.es). =============================================================== =============================================================== Grupo: G01 Trabajo: Un paquete Linda para Ada Componentes: Pérez Marco Joaquín Tresaco Vidaller Javier ========================================================== Grupo: G02 Trabajo:… text/html 2009-10-23T14:34:47+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=material_de_apoyo&rev=1256308487&do=diff Material de apoyo * [AnagraV2_01.zip] Versión 2.01 de la aplicación “anagra” (ANAlizador de GRAmáticas). Se trata de una aplicación Java de apoyo para la preparación de esta asignatura. En un entorno “windows” permite: leeme.txt (2 K) * Con Anagra se puede: text/html 2012-09-04T07:06:20+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=practicas_0708_pc&rev=1346742380&do=diff Desarrollo de las prácticas, curso 2011-2012 * Práctica 1 * enunciado: [pract1.pdf] * fecha de entrega: ver enunciado de la práctica * Resultados de la prinera práctica * Práctica 2 * enunciado: [pract2.pdf] * fuentes requeridos: [fuentes_pract2.zip] * fecha de entrega: ver enunciado de la práctica text/html 2014-11-12T07:56:05+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=proyectos_fin_de_carrera_pfc&rev=1415778965&do=diff Propuestas de nuevos PFC para realizar Título de la propuesta: Araword: Un procesador de textos para comunicación aumentativa y adaptativa para Android Resumen: El objetivo es el desarrollo de la versión 2.0 de AraWord, un procesador de textos para el ámbito de la comunicación aumentativa y alternativa. AraWord permite la escritura simultánea con texto y pictogramas. El procesador deberá incorporar algunas de las funcionalidades más habituales de este tipo de herramientas, así como las especí… text/html 2026-06-16T06:08:41+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=publicaciones&rev=1781590121&do=diff • Bernardi, S., Ezpeleta, J. Verification of Security Properties of Cryptographic Protocols Through Model Checking Execution Traces Renaud, K., Wendzel, S., Heinemann, A. (eds) Cybersecurity. EICC 2026. Communications in Computer and Information Science, vol 3012. Springer, Cham. text/html 2010-04-27T09:39:09+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=res_pract1_pc&rev=1272361149&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Resultados de la corrección de la primera práctica (27/04/10-08:39) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 534608 10 538465 8 529710 7 548967 8 523485 NP 563827 9 537148 8 text/html 2010-06-09T12:22:02+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=res_pract2_pc&rev=1276086122&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Resultados de la corrección de la segunda práctica (21/05/10-14:48) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 534608 10 538465 9 529710 9 548967 10 523485 NP 563827 8 537148 … text/html 2010-06-09T12:49:32+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=res_pract3_pc&rev=1276087772&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Resultados de la corrección de la tercera práctica (09/06/10-14:40) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 534608 10 538465 7.5 529710 9 548967 9 523485 NP 563… text/html 2010-06-09T12:23:39+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=res_practmodelcheking&rev=1276086219&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Resultados de la corrección de la práctica de Model Checking (21/05/10-14:48) Nota: En caso de duda, hay que ponerse en contacto con María José Ibáñez (mjibanez [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) María José Ibáñez (mjibanez [at] unizar.es) =============================================================== NIP Nota --- ---- 534608 9.5 538465 9.5 529710 NP 548967 9 523485 … text/html 2009-10-26T08:03:13+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_correccion&rev=1256544193&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 08-09 Resultados de la corrección de la primera práctica (04/05/09-10:55) Nota: En caso de duda, hay que ponerse en contacto con Jorge Júlvez (julvez [at] unizar.es) o Joaquín Ezpeleta (ezpeleta [at] unizar.es). =============================================================== Username Nota -------- ---- 551679 5,5 550269 9,5 537884 7 550924 7,2 413173 8 563446 8 523185 NP 535032 9,… text/html 2011-06-15T09:49:53+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_cuarta_practica&rev=1308131393&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 10-11 Resultados de la corrección de la cuarta práctica (15/06/11-08:25) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 561293 10,0 593774 7,0 591563 7,0 487105 10,0 554072 536651 10,0 564135 9,5 560594 10,0 … text/html 2012-04-10T07:19:21+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_practica&rev=1334042361&do=diff Pendiente ... text/html 2010-06-30T09:07:24+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_primera_convocatoria_curso_2009-2010&rev=1277888844&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Resultados de la primera convocatoria (30/06/2010-11:04) Nota: En caso de duda, hay que ponerse en contacto con Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Ex. Práct. Trab. Nota global ---------------------------------------------------------------- 534608 1,7 2,0 3,4 7,1 Notable 538465 … text/html 2012-03-02T16:51:41+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_primera_practica&rev=1330707101&do=diff text/html 2012-04-10T07:20:03+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_segunda_practica&rev=1334042403&do=diff Pendiente ... text/html 2011-06-15T06:25:45+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_segundapractica&rev=1308119145&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 10-11 Resultados de la corrección de la segunda práctica (15/06/11-08:25) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 561293 9,5 593774 7,0 591563 7,0 487105 6,0 554072 536651 7,5 564135 9,5 560594 8… text/html 2011-06-15T06:27:30+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=resultados_de_la_tercera_practica&rev=1308119250&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 10-11 Resultados de la corrección de la tercera práctica (15/06/11-08:25) Nota: En caso de duda, hay que ponerse en contacto con Miguel Ángel Latre (latre [at] unizar.es) Joaquín Ezpeleta (ezpeleta [at] unizar.es) =============================================================== NIP Nota --- ---- 561293 10,0 593774 9,0 591563 9,0 487105 10,0 554072 536651 9,5 564135 10,0 560594 9,5 55… text/html 2010-05-27T07:00:38+00:00 http://webdiis.unizar.es/~ezpeleta/doku.php?id=trabajos&rev=1274943638&do=diff PROGRAMACIÓN CONCURRENTE Ingeniería Informática Curso 09-10 Listado de grupos y trabajos de fin de curso asignados Nota: Joaquín Ezpeleta (ezpeleta [at] unizar.es) ========================================================== Grupo: G01 Trabajo: Simulación de billar Componentes: Luis Latasa Yuste, Ana María Sosa Berlanga Presentación: 01/06/2010, a las 15:00