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 ...
Pérez Feliu, Lluís(Universitat Politècnica de València, 2012-07-17)
En este proyecto se presenta una Red Social en la cual sus usuarios pueden comunicarse entre ellos, conocer gente, compartir documentos, etc. En definitiva, que un usuario pueda tener una pequeña parte de él en internet y ...
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 ...
Ibáñez, Vanessa; Pérez-Rubio, Sergio; Silva, Josep; Tamarit Muñoz, Salvador(Egitim Danismanligi ve Arastirmalari Merkezi - EDAM, 2019-10-30)
[EN] This study aims at quantifying the relationship between the marks of students and their seating position in the classroom. The study is cross-sectional, quantitative, observational, and correlational. It analyzed data ...
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 (called ...
This paper presents and describes TeMex, a site-level web template
extractor. TeMex is fully automatic, and it can work
with online webpages without any preprocessing stage (no
information about the template or the ...
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 position paper defends the opinion that the distance of
students to the professor in the classroom is directly related
to their grades. This opinion is based on the results obtained
in a large experiment performed ...
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, ...
[EN] Web templates are one of the main development resources for website engineers. Templates allow them to increase productivity by plugin content into already formatted and prepared pagelets. For the final user templates ...
[EN] A Web template is a resource that implements the structure and format of a website, making it ready for plugging content into already formatted and prepared pages. For this reason, templates are one of the main ...
[ES] Este artculo desarrolla un estudio estadstico a partir de un experimentorealizado en dos escuelas universitarias de la Universitat Politecnica deValencia. El objetivo principal del estudio es cuanticar como la distanciade ...