Number of items: 2.
Presentation at Congress or Day
Hermenegildo Salinas, Manuel Vicente and Bueno Carrillo, Francisco and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and López García, Pedro and Morales, J. and Mera, E. and Navas, J. and Haemmerlé, R. and Mendez, M. and Casas, Amadeo and Correas Fernandez, Jesús and Albert Albiol, Elvira and Arenas Sánchez, Purificación (2010) Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. In: Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop, 17/09/2010 - 17/09/2010, Perpignan, France.
Thesis
López García, Pedro (1999) Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación. Tesis(Doctoral), Computer Faculty (UPM).
This list was generated on Sat May 26 19:57:39 2012 CEST.
