Verificación modular de atomicidad en bytecode Java Multi-Thread

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se presenta la compilación...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Bavera, Francisco
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
Informática
teoría de Lipton
SOFTWARE ENGINEERING
concurrencia
Code generation
código móvil seguro
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22142
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares