- -

Listar por palabra clave "Slicing"

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

Listar por palabra clave "Slicing"

Ordenar por:Orden:Resultados:

  • thumb
    A conditional slicing tool for Maude 
    Sapiña Sanchis, Julia (Universitat Politècnica de València, 2012-10-02)
    In this work we develop Julienne, an online trace slicer for the high performance rewriting logic language Maude. Trace slicing is a widely used technique for execution trace analysis that is effectively used in program ...
  • 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). ...
  • thumb
    Enhancing SDN WISE with Slicing Over TSCH 
    Orozco-Santos, Federico; Sempere Paya, Víctor Miguel; Albero Albero, Teresa; Silvestre-Blanes, Javier (MDPI AG, 2021-02)
    [EN] IWSNs (Industrial Wireless Sensor Networks) have become the next step in the evolution of WSN (Wireless Sensor Networks) due to the nature and demands of modern industry. With this type of network, flexible and scalable ...
  • thumb
    Estudio de la progresión en el rendimiento de los algoritmos de rebanado 3D 'open-source' 
    Borrell Fortis, Carlos (Universitat Politècnica de València, 2021-09-13)
    [ES] En este trabajo expondré qué es un programa de rebanado, cuál es su función y cómo ha cambiado el rendimiento de estos programas desde su concepción hasta hoy en día. Se analizarán principalmente los programas de ...
  • thumb
    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 ...
  • thumb
    Indexing y slicing con arrays Numpy 
    Alberola Oltra, Juan Miguel (2021-06-29)
    En este vídeo se muestra cómo realizar operaciones de indexado y troceado de arrays con Numpy
  • thumb
    Recuperación de información basada en distancias hipersintácticas 
    Valero Llinares, Héctor (Universitat Politècnica de València, 2012-05-08)
    La búsqueda y recuperación de información en Internet es una tarea difícil, por ello no hay muchas herramientas capaces de extraer información de páginas web en tiempo real. La principal causa es que la mayoría de las ...
  • thumb
    Sensores inalámbricos en entornos industriales mediante SDN 
    Planes Martínez, Ana (Universitat Politècnica de València, 2022-10-14)
    [ES] Las redes de sensores inalámbricos industriales (IWSN) son la herramienta perfecta para extender las funcionalidades y aplicaciones de los entornos productivos, al agregar y recolectar información de los procesos con ...
  • Icon
    Slicing i generació de recorreguts per a impressió en 3D 
    Murcia Ferre, Anna (Universitat Politècnica de València, 2014-05-12)
    L'objectiu d'aquest projecte és la creació de codi ISO d'impressió 3D, anomenat codi G, a partir d'un fitxer STL obtingut des d'un model digital. Mitjançant la lectura del codi STL, què emmagatzema una figura geomètrica ...
  • thumb
    Slicing-based debugging of web applications in rewriting logic 
    Frechina Navarro, Francisco (Universitat Politècnica de València, 2012-05-14)
    The pervasiveness of computing on the Internet has led to an explosive growth of Web applications that, together with their ever-increasing complexity, have turned their design and development in a major challenge. Un ...