1.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
2.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
3.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
4.
|
Estudio y desarrollo de software para la gestión y aprobación electrónica de documentos en el registro individual de contratos dentro del Ministerio de Relaciones Laborales - Dirección Regional de Trabajo del Austro Morocho Minchala, Henry Paúl - Arévalo Noriega, Pablo José
|
5.
|
Proyecto ATM simulator Álvarez, Jerónimo - Canabal, Alberto - Baher, Arya
|
6.
|
OCUNS: una arquitectura para la enseñanza de tópicos de Organización y Arquitectura de Computadoras Davicino, Pablo - Stankevicius, Alejandro G. - García, Rafael B.
|
7.
|
An audio file tagging mobile game, mTagATune Díaz, Francisco Javier - Queiruga, Claudia Alejandra - Ferraresso, Alejandro - Larghi, José
|
8.
|
Implementación de un laboratorio virtual para el estudio de dispositivos electrónicos Ibarra B., Carlos Andrés - Medina S., Sebastián - Bernal N., Álvaro
|
9.
|
Libros: Orchids of Java Soto,M.A.
|
10.
|
Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio Dolz, Daniel - Parra, Gerardo
|