Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Concurrency"

Mostrando ítems 1-10 de 10

A theory of reversibility for Erlang

Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Elsevier, 2018-11)

[EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it ...
Application-level control of client navigation in a critical system

Kuang, Jiawen (Universitat Politècnica de València, 2024-04-09)

[ES] El proyecto se enfoca al diseño e implementación de un servidor web que mejora el control de la navegación en Internet para clientes de un sistema. En este sistema los clientes necesitan acceder servicios web de ...
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 ...
Desarrollo de una herramienta de visualización de trazas de ejecución concurrentes

Sun, Lishuang (Universitat Politècnica de València, 2022-09-12)

[ES] El desarrollo de las tecnologías de la información ha llegado a impactar de forma directa o indirecta todas las actividades económicas y la vida cotidiana del ser humano. La industria del software ha ido evolucionando ...
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 aplicaciones multi-paradigma en Erlang

Muñoz Garrigós, Óscar (Universitat Politècnica de València, 2016-09-02)

[ES] En esta memoria se describe el desarrollo de una aplicación multi-paradigma, en la que el componente principal de coordinación está implementado en el lenguaje de programación Erlang. Se ha escogido Erlang por su ...
Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos

Carrascosa Beltrán, Ángel (Universitat Politècnica de València, 2022-10-18)

[ES] Actualmente, el estudio del comportamiento concurrente de los sistemas es fundamental para poder disponer de herramientas que faciliten el análisis y verificaciones de programas con este tipo de comportamiento. Por ...
Implementación de una tabla hash distribuida (DHT) para redes P2P descentralizadas estructuradas

Strange Mongort, Marc (Universitat Politècnica de València, 2023-10-06)

[ES] El objetivo de este trabajo es implementar una tabla hash distribuida (DHT) para redes P2P descentralizadas estructuradas, con el fin de proporcionar una alternativa a las bases de datos centralizadas. En particular, ...
Revisión y actualización del procedimiento de trabajo seguro para la línea de producción de pan congelado. Aplicación del procedimiento LOTO para la consignación del conjunto de máquinas.

Ciurana Ros, Jordi (Universitat Politècnica de València, 2021-01-19)

[ES] Durante la jornada de trabajo de un técnico de prevención de riesgos en el servicio de prevención mancomunado de la empresa Panamar Panaderos, se encuentra la obligación de poder garantizar la seguridad de los ...
Runtime verification in Erlang by using contracts

Fredlund, Lars-Åke; Mariño, Julio; Pérez-Rubio, Sergio; Tamarit Muñoz, Salvador (Springer-Verlag, 2019)

[EN] During its lifetime, a program regularly undergoes changes that seek to improve its functionality or efficiency. However, such modifications may also introduce new errors. In this work, we use the designby-contract ...