1.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
2.
|
Génération efficace de graphes d’appels dynamiques complets Ikhlef, Hajar
|
3.
|
Diseño e implementación de un sistema multiplataforma de monitorización y administración de red, con interfaz web para el usuario y utilizando el protocolo SNMPv3 Castañeda Villarreal, Fausto Vinicio - Calderón Hinojosa, Xavier Alexander
|
4.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
5.
|
JEDI: An interactive interpreter for JAVA Rodrigues, Hermann Oliveira - Camarão, Carlos
|
6.
|
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA Matos, Alexandre Veloso de - Gonçalves Riso, Bernardo - Notare, Mirela Sechi Moretti Anonni
|
7.
|
Curvatura da superfície de proteínas no Java Protein Dossier. FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.
|
8.
|
Using JOP to build a chip multiprocessor JVM for embedded realtime systems Andreotti, José Pablo A.
|
9.
|
Inférence statique et par contraintes des relations de composition dans des programmes Java Habti, Norddin
|
10.
|
Caampi Fillus, Edison Klafke
|