RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "CauDEr"

Mostrando ítems 1-2 de 2

Desarrollo de una representación gráfica de las trazas de ejecución

Maqueda Solves, Leandro (Universitat Politècnica de València, 2020-10-16)

[ES] El depurador reversible con consistencia causal CauDEr ha sido desarrollado por el grupo MiST en la UPV en colaboración con las universidades de Bolonia y Nagoya cuyo objetivo es resolver algunos errores de concurrencia ...
Diseño de una metodología para la validación y depuración de programas Erlang

Pons Ramos, Ricard Adrià (Universitat Politècnica de València, 2022-04-13)

[ES] A la hora de validar y depurar un programa existen muchos métodos y herramientas para ello. No existe una metodología estándar ni convenciones a la hora de revisar nuestro código escrito en Erlang. Por ello, el ...

Mostrando ítems 1-2 de 2