Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 2 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	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…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Diseño e implementación de un generador de evaluadores concurrentes para gramáticas de atributos NC(1)
Arroyo, Marcelo - Aguirre, Jorge - Florio, Nicolas

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se presenta el diseño e implementación de NCE-val: un generador estático de evaluadores concurrentes de gramáticas de atributos para la familia NC (1). Los evaluadores generados son del tipo multiplan multivisita y utilizan información computada estáticamente para…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata