- -

Listar por autor "Palacios Corella, Adrián"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Palacios Corella, Adrián"

Ordenar por:Orden:Resultados:

  • thumb
    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 ...
  • thumb
    Adaptación de skip-gramas a modelos conexionistas del lenguaje 
    Palacios Corella, Adrián (Universitat Politècnica de València, 2015-07-17)
    [EN] In this work we will focus on the development of language models using connectionist techniques. The most relevant contribution in this work is the adaptation of skip-grams techniques to neural network language models. ...
  • thumb
    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 ...
  • thumb
    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í ...
  • thumb
    Fallback Variable History NNLMs: Efficient NNLMs by precomputation and stochastic training 
    Zamora Martínez, Francisco Julián; España Boquera, Salvador; Castro-Bleda, Maria Jose; Palacios Corella (Public Library of Science, 2018)
    [EN] This paper presents a new method to reduce the computational cost when using Neural Networks as Language Models, during recognition, in some particular scenarios. It is based on a Neural Network that considers input ...
  • thumb
    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 ...
  • thumb
    Implementación de un módulo para el entrenamiento y evaluación de redes neuronales mediante GPUs 
    Palacios Corella, Adrián (Universitat Politècnica de València, 2012-10-03)
    El objetivo de este trabajo ha sido la mejora de la implementación de un toolkit de entrenamiento y evaluación de redes neuronales ya existente, incluyendo una versión en lenguaje CUDA para ser ejecutada en GPUs. El ...
  • thumb
    Reversible Term Rewriting 
    Nishida, Naoki; Palacios Corella, Adrián; Vidal Oriola, Germán Francisco; Nishida (Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
    Essentially, in a reversible programming language, for each forward computation step from state S to state S', there exists a constructive and deterministic method to go backwards from state S' to state S. Besides its ...