Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2019-05-30)
Este objeto de aprendizaje explica los conceptos de concurrencia y paralelismo en el contexto de los lenguajes de programación. Se explican cada uno de ellos individualmente y a continuación se explica la relación existente ...
Muñoz Escoí, Francisco Daniel; Argente Villaplana, Estefanía; Espinosa Minguet, Agustín Rafael; Galdamez Saiz, Pablo; García Fornes, Ana María; Juan Marín, Rubén de; Sendra Roig, Juan Salvador(Editorial Universitat Politècnica de València, 2013-01-17)
Este libro proporciona una visión integradora de las aplicaciones concurrentes y los sistemas distribuidos, describiendo sus fundamentos, técnicas y métodos más relevantes. Incluye también ejemplos de programas 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 ...
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 ...
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 ...
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 ...
Herrero Cuco, Carlos(Universitat Politècnica de València, 2016-01-07)
[EN] The main objective of Doctoral Thesis "Modelling Concurrency in Distributed Multi-Agent Systems: Cooperating Automata" is the definition and extension of a model conceived to describe multi-agent systems that combines ...