Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Próxima revisión | Revisión previa | ||
|
contenidos_pc [2009/10/23 20:29] ezpeleta creado |
contenidos_pc [2011/04/13 07:00] (actual) ezpeleta |
||
|---|---|---|---|
| Línea 1: | Línea 1: | ||
| ====== Contenidos de la asignatura ====== | ====== Contenidos de la asignatura ====== | ||
| - | - Presentación de la asignatura | + | * {{:misdatos:pc:00presentacionasignatura.pdf|Presentación de la asignatura}} |
| - | - Lenguaje algorítmico para programas secuenciales | + | * {{:misdatos:pc:01.pdf|Lenguaje algorítmico para programas secuenciales}} |
| - | - Conceptos básicos de PC | + | * {{:misdatos:pc:02.pdf|Conceptos básicos de PC}} |
| - | - Concurrencia y sincronización | + | * {{:misdatos:pc:03.pdf|Concurrencia y sincronización}} |
| - | - Semántica de la composición concurrent | + | * {{:misdatos:pc:04.pdf|Semántica de la composición concurrente}} |
| - | - Técnicas para asegurar ausencia de interferencias | + | * {{:misdatos:pc:05.pdf|Técnicas para asegurar ausencia de interferencias}} |
| - | - Propiedades de un programa concurrente | + | * {{:misdatos:pc:06.pdf|Propiedades de un programa concurrente}} |
| - | - Sincronización de procesos. El problema de la sección crítica | + | * {{:misdatos:pc:07.pdf|Sincronización de procesos. El problema de la sección crítica}} |
| - | - Sincronización por barrera | + | * {{:misdatos:pc:08.pdf|Sincronización por barrera}} |
| - | - Programación concurrente con semáforos | + | * {{:misdatos:pc:09.pdf|Programación concurrente con semáforos}} |
| - | - Ejemplos de programación con semáforos | + | * {{:misdatos:pc:10.pdf|Ejemplos de programación con semáforos}} |
| - | - Sincronización mediante monitores | + | * {{:misdatos:pc:11.pdf|Sincronización mediante monitores}} |
| - | - Ejemplos de programación con monitores | + | * {{:misdatos:pc:12.pdf|Ejemplos de programación con monitores}} |
| - | - Introducción a la programación distribuída | + | * {{:misdatos:pc:13.pdf|Introducción a la programación distribuída}} |
| - | - Programación mediante paso asíncrono de mensajes | + | * {{:misdatos:pc:14.pdf|Programación mediante paso asíncrono de mensajes}} |
| - | - El modelo de coordinación Linda | + | * {{:misdatos:pc:14bis.pdf|El modelo de coordinación Linda}} |
| - | - Programación mediante paso síncrono de mensajes | + | * {{:misdatos:pc:15.pdf|Programación mediante paso síncrono de mensajes}} |
| - | - Apéndice: Rápida (y parcial) introducción a la concurrencia con Ada | + | |
| + | ---- | ||
| + | * {{:misdatos:pc:introada.pdf|Apéndice: Rápida (y parcial) introducción a la concurrencia con Ada}} | ||
| + | * {{:misdatos:pc:introjava.pdf|Apéndice: Rápida (y parcial) introducción a la concurrencia con Java}} | ||
| + | * {{:misdatos:pc:introduccion_al_model_checking.pdf|Introducción al "Model Checking"}} | ||
