August Climent

Learn More
Cloud based storage systems are known to provide high scalability and reliability overcoming the traditional constraints of static distributed systems. The processing capacity over thousands of machines makes this approach especially suitable for many environments. In particular, we focus on power networks. These systems are currently decentralizing their(More)
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constructs an equivalence proof in an implicit way, via the application of equivalence laws as rewrite rules, thus generating a chain of equivalent programs. The variety of the possible(More)
Nowadays, the curricular needs of the students from Vocational Training have to adapt to all kinds of content in order to improve their future professional integration. In this sense, the technology knowledge is essential in any work environment. However, the introduction of these curricular features in certain non-technological academic areas may not be(More)
Starting university studies in the field of engineering represents a significant change of habits of study for the majority of students. Throughout this new educational stage, the work of the academic tutor (or advisor) is essential for guiding and accompanying the student. This process should help to prevent problems such as the frustration and insecurity(More)