- -

Listar por autor "Silva Galiana, Josep Francesc"

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

Listar por autor "Silva Galiana, Josep Francesc"

Ordenar por:Orden:Resultados:

  • thumb
    A Generalization and Paradigm-Independent Reformulation of Algorithmic Debugging 
    Insa Cabrera, David; Silva, Josep (Springer, 2015)
    Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step ...
  • thumb
    A Generalized Model for Algorithmic Debugging 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer, 2015-07-13)
    Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward ...
  • thumb
    A New Hybrid Debugging Architecture for Eclipse 
    González, Juan; Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer, 2013)
    [EN] During many years, print debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using ...
  • thumb
    A Survey of Algorithmic Debugging 
    Caballero, Rafael; Riesco, Adrián; Silva, Josep (Association for Computing Machinery, 2017-11)
    [EN] Algorithmic debugging is a technique proposed in 1982 by E. Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema ftting ...
  • thumb
    A survey on algorithmic debugging strategies 
    Silva Galiana, Josep Francesc (Elsevier, 2011-11)
    Algorithmic debugging is a debugging technique that has been extended to practically all programming paradigms. Roughly speaking, the technique constructs an internal representation of all (sub)computations performed during ...
  • thumb
    A survey on sleep assessment methods 
    Ibáñez, Vanessa; Silva, Josep; Cauli, Omar (PeerJ, 2018)
    [EN] Purpose. A literature review is presented that aims to summarize and compare curren methods to evaluate sleep. Methods. Current sleep assessment methods have been classified according to different. criteria; e.g., ...
  • thumb
    A Survey on Sleep Questionnaires and Diaries 
    Ibáñez Del Valle, Vanessa; Silva, Josep; Cauli, Omar (Elsevier, 2017)
    [EN] Sleep assessment is a fundamental part of health evaluation. In fact, many diseases (such as obesity, diabetes, or hypertension, as well as psychiatric, neurological, and cardiovascular diseases) produce sleep disorders ...
  • Icon
    A vocabulary on Program slicing Based Techniques 
    Silva Galiana, Josep Francesc (Association for Computing Machinery (ACM), 2012)
    This article surveys previous work on program slicing-based techniques. For each technique, we describe its features, its main applications, and a common example of slicing using such a technique. After discussing each ...
  • thumb
    Actigraphy Analysis of Sleep Associates with Salivary IL-6 Concentration in Institutionalized Older Individuals 
    Ibáñez-del Valle, Vanessa; Mafla-España, Mayra Alejandra; Silva, Josep; Cauli, Omar (MDPI AG, 2023-09)
    [EN] Sleep disorders are common in older individuals and are most prevalent in those who are institutionalized. Sleep complaints are often comorbid with medical and neuro-psychiatric illness and associated with polypharmacy. ...
  • thumb
    Advanced Techniques for Algorithmic Debugging 
    Insa Cabrera, David (Universitat Politècnica de València, 2012-05-23)
    Algorithmic Debugging (a.k.a. Declarative Debugging) is a semi-automatic debugging technique that allows the programmer to isolate the code where a bug is located without the need to see the source code. To do so, the ...
  • thumb
    Ajuste de Niveles en Phostoshop 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2020-06-18)
    Este objeto de aprendizaje muestra las opciones básicas de ajuste de niveles (brillo, contraste, saturación, color...) de una imagen en PhotoShop. Explica las diferentes opciones utilizando imágenes reales a las que se les ...
  • thumb
    Algorithmic debugging generalized 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2018)
    [EN] Algorithmic debugging is a semi-automatic debugging technique that abstracts the operational details of computations, allowing the programmers to debug their code from an abstract point of view. However, its use in ...
  • thumb
    Ambigüedad de una Gramática 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2016-07-04)
    Este video muestra la diferencia entre gramática ambigua y gramática no ambigua. En él se muestra un ejemplo de gramática ambigua y se demuestra que lo es. Finalmente, se muestra una manera de desambiguar la gramática.
  • thumb
    An Analysis of the Current Program Slicing and Algorithmic Debugging Based Techniques 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2012-01-10)
    This thesis presents a classification of program slicing based techniques. The classification allows us to identify the differences between existing techniques, but it also allows us to predict new slicing techniques. The ...
  • 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
    Analysis Techniques for Concurrent Programming Languages 
    Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2013-09-02)
    Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas ...
  • thumb
    Analysis Techniques for Software Maintenance 
    Pérez Rubio, Sergio (Universitat Politècnica de València, 2023-05-05)
    [ES] Vivimos en una sociedad donde la digitalización está presente en nuestro día a día. Nos despertamos con la alarma de nuestro teléfono móvil, apuntamos nuestras reuniones en nuestro calendario digital, guardamos nuestros ...
  • thumb
    Aplicación parcial de funciones 
    Silva Galiana, Josep Francesc (2024-07-01)
    Este video explica qué es la aplicación parcial de funciones en un lenguaje de programación. A través de ejemplos, también explica su utilidad. Al final del video se propone un ejercicio y se muestra su solución.
  • thumb
    Auto-Corrección de Ejercicios con el Sistema ASys 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2016-07-04)
    Este video explica cómo utilizar el sistema ASys para alumnos. En concreto, explica cómo cargar un ejercicio y auto-corregirlo.
  • thumb
    Automatic assessment of Java code 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2018)
    [EN] Assessment is an integral part of education often used to evaluate students, but also to provide them with feedback. It is essential to ensure that assessment is fair, objective, and equally applied to all students. ...