Novedades
- 20100408: L3 disponible.
- 20100318: P2, L2 disponibles.
- 20100318: L1 disponible.
- 20100317: link a Calculo de Programas arreglado.
- 20100316: P1 disponible.
- 20100308: P0 y L0 disponibles.
- 20100303: inicio de la página.
Información
General
- Profesores a cargo de la materia: Javier Blanco y Nicolás Wolovick.
- Las clases son los martes y jueves de 18 a 22hs, desde el martes 9 de Marzo al jueves 15 de Abril.
- Calendario de la Especialización.
- Lista de email. ¡Inscribirse antes que la cerremos!
Condiciones para aprobar la materia
- Promoción: entregar y aprobar de manera individual durante el cursado una lista de ejercicios.
- Laboratorio 0: jue 18 de Marzo.
- Práctico 1, ejercicios 1h, 1i, 1m, 2f, 2g, 3h, 3k, 4a: mar 23 de Marzo.
- Laboratorio 1: jue 25 de Marzo.
- Laboratorio 2: jue 8 de Abril.
- Práctico 2, ejercicios 1 y 4: ?? ?? de Abril.
- Laboratorio 3: ?? ?? de Abril.
Cada práctico y laboratorio se aprueba con el 70%.
Para promocionar se deben tener todas las entregas aprobadas al finalizar la materia.
La nota final será el promedio de todos los prácticos y laboratorios.
- Regular: exámen final para hacer en la casa, más proyecto en Java.
- Formas de entrega:
- Los ejercicios escritos se mandan por mail a ambos docentes en formato PDF de tamaño <3MB.
- En caso de entregar código fuente o tablas deberán ir aparte en un tarball.
- Los archivos tienen que respetar la siguiente convención de nombres {p,l}<num>_<apellido>.{pdf,tar.gz}. Ejemplos:
p0_marx.pdf
, l0_gramsci.tar.gz
.
- No se aceptan bajo ningún punto de vista dos cosas: source sharing entre compañeros y código objeto en los tarballs.
Notas
Prácticos y Laboratorios
Bibliografía y Material de Lectura
Bibliografía
Material de lectura complementario
- Edward Lee, The Problem with Threads, University of California, Berkeley Technical Report No. UCB/EECS-2006-1, 2006.
- Javier Blanco, Silvina Smith, Damián Barsotti, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2009, ISBN 978-950-33-0642-0.
Ver capítulos 2,3,5,6 para cuestiones de lógica en general y capítulos 16 al 19 para corrección total de Hoare {P}S{Q}.
- Javier Blanco, Nicolás Wolovick, Strengthen, Widen, Get Semaphores, WAIT2003, 32 JAIIO, Buenos Aires, Argentina, Septiembre 2003.
- E.W. Dijkstra, A Tutorial on the Split Binary Semaphore, EWD703, 1979.
- Damián Barsotti, Javier Blanco, Automatic Refinement of Split Binary Semaphore (extended version), Reporte Técnico, Fa.M.A.F.-U.N.C., 2007.
- E.W. Dijkstra, My Recollections of Operating Systems Design, EWD1303, 2001.
$Date$, $Revision$