- -

Listar por palabra clave "Concurrent programming"

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

Listar por palabra clave "Concurrent programming"

Ordenar por:Orden:Resultados:

  • thumb
    Desarrollo de un entorno en Unity para la prueba y verificación de sensores 
    Arias Ronquillo, Christian Iván (Universitat Politècnica de València, 2023-10-23)
    [ES] Para el presente trabajo se desarrolló un entorno en Unity que interactúa con 10 sensores físicos que están conectados a una placa Arduino MEGA, la comunicación entre las plataformas se realiza mediante comunicación ...
  • 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
    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
    Reversible CSP Computations 
    Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador (Institute of Electrical and Electronics Engineers, 2021-06-01)
    [EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic ...
  • thumb
    Slicing Techniques Applied to Concurrent Languages 
    Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2011-11-28)
    In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation ...
  • 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 ...