Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "CSP"

Mostrando ítems 1-9 de 9

Análisis crítico de los problemas de secuenciación en líneas de montaje con mezcla de modelos en la literatura científica

Valero-Herrero, Maria (Editorial Universitat Politècnica de València, 2013-06)

[EN] In the current paper, we show an analysis of scientific literature on the MixedModel Assembly Lines sequencing, such as automobile assembly lines. In the real car productive systems, the sequence is defined by the ...
CSP Dinámico: Un algoritmo dinámico para la resecuenciación en un almacén de líneas en paralelo

Valero-Herrero, Maria; Molina Morte, Pablo (Editorial Universitat Politècnica de València, 2013-06)

[EN] This paper shows the model used for resequencing where a selectivity bank consisting of parallel line segments is applied to reshuffle a given initial sequence and rule violations are to be minimized.
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). ...
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 ...
ReverCSP: Time-Travelling in CSP Computations

Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador (Springer, 2020-07-10)

[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP ...
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 ...
Techno-economic feasibility of a hybrid CSP-sCO2 PV layout for baseload H2 production (via SOEC/PEM) integration

Pérez de la Calle, Patricia (Universitat Politècnica de València, 2023-10-19)

[EN] The global need to eliminate CO2 emissions and its consequent reduction in the use of fossil fuels drives the ongoing energy transition that highly involves the research achievements of the scientific community to ...
Técnicas inteligentes de optimización de agendas personales

Cuenca Sánchez, Sarah (Universitat Politècnica de València, 2023-10-10)

[ES] Una mala gestión del tiempo, en la cual no se da prioridad a las tareas más importantes que se deben realizar y, además, en la cual no se planifican los descansos necesarios puede acabar impactando en la salud de ...
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, ...