Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y […]
Tesis doctoral de Alvaro Suarez Sarmiento
Información academica Alvaro Suarez Sarmiento. Tesis donde Alvaro Suarez Sarmiento ha sido autor, director o parte del tribunal.
Programacion en paralelo y tecnicas algoritmicas.
Tesis doctoral de Garcia Lopez Felix Cesar El trabajo aborda la paralelizacion de tres de las tecnicas algoritmicas mas importantes
Ordenacion de la ejecucion de particiones en algoritmos sistolicos
Tesis doctoral de Alvaro Suarez Sarmiento En este trabajo se desarrolla una nueva tecnica para ordenar la ejecucion de las