Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Debugging"

Mostrando ítems 1-5 de 5

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Lanese, Ivan; Palacios, Adrián; Vidal, Germán (IOS Press, 2021)

[EN] Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When ...
DEVELOPMENT OF A DESKTOP APPLICATION AND FIRMWARE MODULES FOR COMMUNICATION AND CONTROL, ERROR LOGGING AND DEBUGGING OF OBC PROTOTYPES

Carrió García, Pablo (Universitat Politècnica de València, 2022-10-15)

[ES] El propósito de este proyecto es proporcionar una herramienta que facilite el control de prototipos de OBC desarrollados por la empresa Mahle Electronics S.L.U. permitiendo controlar de indistinta manera lo diferentes ...
Diseño de una nueva herramienta para la depuración de código Erlang

Jiménez García, José Luis (Universitat Politècnica de València, 2016-10-20)

[ES] Erlang es un lenguaje de programación funcional que integra facilidades para la concurrencia. A diferencia de la mayoría de lenguajes concurrentes, Erlang sigue el modelo basado en paso de mensajes, consiguiendo así ...
Implementation of an optimal strategy for algorithmic debugging

Insa Cabrera, David; Silva Galiana, Josep Francesc (Elsevier, 2012-05-05)

[EN] One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions ...
Slicing slices, an incremental backward trace slicing methodology for rwl computations

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2014-11-28)

[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...