Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Particionamiento y resolución distribuida multivariable de problemas de satisfacción de restricciones

Abril López, Montserrat (Universitat Politècnica de València, 2008-05-07)

Hoy en día, muchos problemas reales pueden modelarse como problemas de satisfacción de restricciones (CSPs) y se resuelven usando técnicas específicas de satisfacción de restricciones. Estos problemas pertenecen a áreas ...
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 ...
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 ...

Mostrando ítems 1-3 de 3