Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Erlang"

Mostrando ítems 1-12 de 12

Depuración reversible en Erlang

González Abril, Juan José (Universitat Politècnica de València, 2020-10-15)

[ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil ...
Desarrollo de un cliente BitTorrent en Erlang: un estudio sobre la especificación de protocolos de red y arquitectura de actores

Fornés Martínez, David (Universitat Politècnica de València, 2024-10-15)

[CA] Aquest treball de fi de grau aborda la implementació d’un client BitTorrent utilitzant el llenguatge de programació Erlang, centrant-se en la traducció de les especificacions del protocol a un codi executable i ...
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 ...
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 ...
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í ...
Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang

Palacios Corella, Adrián (Universitat Politècnica de València, 2020-03-20)

[ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas ...
Fragmentación de Programas Erlang Secuenciales

Tomás Franco, César (Universitat Politècnica de València, 2015-12-04)

[EN] The system dependence graph (SDG) is a data structure used in the imperative paradigm for different static analysis, and particularly, for program slicing. Program slicing allows us to determine the part of a program ...
Generación de trazas para la ejecución concólica de programas Erlang

Coll Ruiz, Onofre (Universitat Politècnica de València, 2016-05-17)

[EN] A system for testing Erlang applications using concolic execution has been proposed. Matem
Learning with con gurable operators and RL-based heuristics

Martínez Plumed, Fernando; Ferri Ramírez, César; Hernández Orallo, José; Ramírez Quintana, María José (Springer Verlag (Germany), 2013-10)

In this paper, we push forward the idea of machine learning systems for which the operators can be modi ed and netuned for each problem. This allows us to propose a learning paradigm where users can write (or adapt) ...
Precise explanation of success typing errors

Sagonas, Konstantinos; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-01-21)

Nowadays, many dynamic languages come with (some sort of) type inference in order to detect type errors statically. Often, in order not to unnecessarily reject programs which are allowed under a dynamic type discipline, ...
Program Slicing for Modern Programming Languages

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2025-09-24)

[ES] Producir software eficiente y efectivo es una tarea que parece ser tan difícil ahora como lo era para los primeros ordenadores. Con cada mejora de hardware y herramientas de desarrollo (como son compiladores y ...
Runtime Erlang para Kumori PaaS

Muñoz Garrigós, Óscar (Universitat Politècnica de València, 2018-10-29)

[EN] Kumori Systems is developing a PaaS, with the objective to provide an abstraction and transparent management of physical resources allocated in the platform. This project purposes the realization of a runtime developed ...