2.12.9 PD/Modelos y semántica formal

Temas:
Electivo

Objetivos de Aprendizaje:
Elective:

  1. Modelar un proceso concurrente usando un modelo formal, por ejemplo, cálculo pi [Usar]
  2. Explicar las caracteristicas de un particular modelo paralelo formal [Familiarizarse]
  3. Formalmente modelar un sistema de memoria compartida para mostrar y éste es consistente [Usar]
  4. Usar un modelo para mostrar las garantias de progreso en un algoritmo paralelo [Usar]
  5. Usar técnicas formales para mostrar que un algoritmo paralelo es correcto con respecto a la seguridad o la propiedad liveness [Usar]
  6. Decidir si una ejecución específica es linealizable o no [Usar]

Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM