|
1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
|
2.
|
Paralelización de los procesos de búsqueda y optimización en memoria secundaria para la estructura Spaghettis Subiabre, Carlos - Árias, Enrique - Uribe Paredes, Roberto
|
