Generación de invariantes para implementar eficientemente regiones críticas condicionales

La técnica de semáforos binarios divididos (SBS) puede ser usada para implementar regiones críticas condicionales. Dada una especificación de un problema de esta clase. SBS brinda tanto los programas que lo implementan como los invariantes que aseguran su corrección. Aplicando la técnica a casos par...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Barsotti, Damián, Blanco, Javier
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
Informática
Concurrent Programming
semáforos binarios divididos
Automatic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23279
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares