- -

Listar por autor "Llorens Agost, María Luisa"

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

Listar por autor "Llorens Agost, María Luisa"

Ordenar por:Orden:Resultados:

  • thumb
    An empirical analysis of the influence of classmates on the academic performance 
    Herrero Cuco, Carlos; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-07-01)
    This poster presents ongoing work that studies the influence of classmates over students’ grades. We want to analyze different students habits and empirically quantify how they in- fluence their academic performance. ...
  • thumb
    Desarrollo de una red social para ajedrecistas 
    Cuartero Baena, Ramsés (Universitat Politècnica de València, 2023-10-03)
    [ES] En este Trabajo Fin de Grado (TFG) se busca unir el mundo de la tecnología y las redes sociales con el mundo del ajedrez tradicional y presencial, ayudando a que los jóvenes (y no tan jóvenes) jugadores amateur, que ...
  • thumb
    Desenvolupament d’una aplicació mòbil per a la planificació de l’estudi musical 
    Belda Felipe, Jordi (Universitat Politècnica de València, 2020-09-29)
    [CA] Els músics dediquen diàriament molt de temps a l'estudi de l'instrument. És habitual que si no tenen una bona planificació i no aprofiten el temps adequadament, no obtinguen els resultats esperats. Per aquest motiu, ...
  • Icon
    Desenvolupament d’una aplicació web per a la gestió d’un restaurant 
    Pedro Martí, Joan Vicent (Universitat Politècnica de València, 2020-10-06)
    [CA] Aquest Treball Fi de Grau (TFG) sorgeix de la necessitat d'un client concret d'una aplicació per a gestionar el seu restaurant, principalment perquè el cost de les aplicacions disponibles actualment al mercat és ...
  • thumb
    Dynamic slicing of concurrent specification languages 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador (Elsevier, 2016-04)
    [EN] Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...
  • Icon
    Dynamic Slicing of CSP via Tracking 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador (Università di Siena, 2015)
    Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...
  • thumb
    EMPEZAR A PROGRAMAR USANDO JAVA 
    Llorens Agost, María Luisa; Gómez Adrian, Jon Ander; Galiano Ronda, Isabel Remedios; Herrero Cuco, Carlos; Marqués Hernández, Francisco; Casanova Faus, Assumpció; González Mollá, Jorge; Moltó Martínez, Germán; Martínez Hinarejos, Carlos David; Prieto Saez, Natividad; Piris Ruano, Francisco Javier (Editorial Universitat Politècnica de València, 2016-07-29)
    Este libro es una introducción al diseño metodológico de programas en la que se incide en el uso de los tipos de datos que dichos programas manipulan para representar el dominio de los problemas que resuelven.En concreto, ...
  • Icon
    Generating a Petri net from a CSP specification: a semantics-based method 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012)
    [EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...
  • thumb
    Graph generation to statically represent CSP processes 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Springer Verlag (Germany), 2011)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
  • thumb
    Portal web para ONG Scout de Mislata 
    Sabogal Trujillo, Paola Raquel (Universitat Politècnica de València, 2011-10-13)
  • thumb
    A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended) 
    Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2010-06-07)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
  • thumb
    Static slicing of explicitly synchronized languages 
    Leuschel ., Michael; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012-05)
    Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex ...
  • thumb
    The influence of students distribution on their grades 
    Herrero Cuco, Carlos; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-07-01)
    This position paper defends the opinion that the distance of students to the professor in the classroom is directly related to their grades. This opinion is based on the results obtained in a large experiment performed ...
  • thumb
    Tracking CSP computations 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador (Elsevier, 2019-01)
    [EN] Tracing is one of the most important techniques for program understanding and debugging. A trace gives the user access to otherwise hidden information about a computation. In the context of concurrent languages, ...
  • thumb
    ¿Cómo comprobar si 500 alumnos son competentes en el uso de un entorno de programación? 
    Llorens Agost, María Luisa; Marqués, Francisco; Prieto Saez, Natividad (Editorial Universitat Politècnica de València, 2017-07-18)
    [EN] In view of the challenge to evaluate the CT-13 Specific Tools in a subject with more than 500 students, like Introduction to Computing and Programming in the first course of Bachelor’s Degree in Computer Engineering ...