Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa Próxima revisión | Revisión previa | ||
|
contenidos_pc [2009/10/26 07:48] ezpeleta |
contenidos_pc [2011/04/13 07:00] (actual) ezpeleta |
||
|---|---|---|---|
| Línea 1: | Línea 1: | ||
| ====== Contenidos de la asignatura ====== | ====== Contenidos de la asignatura ====== | ||
| - | - {{:misdatos:pc:00presentacionasignatura.pdf|Presentación de la asignatura}} | + | * {{:misdatos:pc:00presentacionasignatura.pdf|Presentación de la asignatura}} |
| - | - {{:misdatos:pc:01.pdf|Lenguaje algorítmico para programas secuenciales}} | + | * {{:misdatos:pc:01.pdf|Lenguaje algorítmico para programas secuenciales}} |
| - | - {{:misdatos:pc:02.pdf|Conceptos básicos de PC}} | + | * {{:misdatos:pc:02.pdf|Conceptos básicos de PC}} |
| - | - {{:misdatos:pc:03.pdf|Concurrencia y sincronización}} | + | * {{:misdatos:pc:03.pdf|Concurrencia y sincronización}} |
| - | - {{:misdatos:pc:04.pdf|Semántica de la composición concurrent}} | + | * {{:misdatos:pc:04.pdf|Semántica de la composición concurrente}} |
| - | - {{:misdatos:pc:05.pdf|Técnicas para asegurar ausencia de interferencias}} | + | * {{:misdatos:pc:05.pdf|Técnicas para asegurar ausencia de interferencias}} |
| - | - {{:misdatos:pc:06.pdf|}}Propiedades de un programa concurrente | + | * {{:misdatos:pc:06.pdf|Propiedades de un programa concurrente}} |
| - | - {{:misdatos:pc:07.pdf|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}} |
| - | - {{:misdatos:pc:08.pdf|Sincronización por barrera}} | + | * {{:misdatos:pc:08.pdf|Sincronización por barrera}} |
| - | - {{:misdatos:pc:09.pdf|Programación concurrente con semáforos}} | + | * {{:misdatos:pc:09.pdf|Programación concurrente con semáforos}} |
| - | - {{:misdatos:pc:10.pdf|Ejemplos de programación con semáforos}} | + | * {{:misdatos:pc:10.pdf|Ejemplos de programación con semáforos}} |
| - | - {{:misdatos:pc:11.pdf|Sincronización mediante monitores}} | + | * {{:misdatos:pc:11.pdf|Sincronización mediante monitores}} |
| - | - {{:misdatos:pc:12.pdf|Ejemplos de programación con monitores}} | + | * {{:misdatos:pc:12.pdf|Ejemplos de programación con monitores}} |
| - | - {{:misdatos:pc:13.pdf|Introducción a la programación distribuída}} | + | * {{:misdatos:pc:13.pdf|Introducción a la programación distribuída}} |
| - | - {{:misdatos:pc:14.pdf|Programación mediante paso asíncrono de mensajes}} | + | * {{:misdatos:pc:14.pdf|Programación mediante paso asíncrono de mensajes}} |
| - | - {{:misdatos:pc:14bis.pdf|El modelo de coordinación Linda}} | + | * {{:misdatos:pc:14bis.pdf|El modelo de coordinación Linda}} |
| - | - {{:misdatos:pc:15.pdf|Programación mediante paso síncrono de mensajes}} | + | * {{:misdatos:pc:15.pdf|Programación mediante paso síncrono de mensajes}} |
| - | - {{:misdatos:pc:introada.pdf|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"}} | ||
