Based on the need to update the language and tools used to teach Procedural Programming during the first year of computer science careers, a cross descriptive research was conducted by assessing different programming languages.
The analysis involved a total of…

The thesis addresses the problem of automatic and dynamic tuning of parallel and distributed applications. Our objective is to help developers in the process of improving the application performance. The work presents a whole solution that deals with the issues…

In this thesis, parallel computing on installed local area networks (LAN) is focused, analyzing problems and possible solutions taking into account the main factors of computing and communications. More specifically, LAN are characterized as parallel computers in the context of…

The growing importance and interest in parallel processing within Computer Sciences are undeniable, and thus make it one of the more influencing areas of this discipline. Several reasons support this fact, such as the increase in the computer power, the…

The present thesis describes a Requirements Engineering strategy, called SDRES (Scenario Driven Requirements Engineering Strategy), which proposes to face topics rarely treated in real practice, such as continuous changes in requirements, software defects originated during requirements production, the organisational context…

In 21st century, convergences of technologies and services in heterogeneous environment have contributed multi-traffic. This scenario will affect computer network on learning system in higher educational Institutes. Implementation of various services can produce different types of content and quality. Higher…

Descripción completa.

The Web has became an obiquitous resource for distributed computing making it relevant to investigate new ways of providing efficient access to services available at dedicated sites. Efficiency is an ever-increasing demand which can be only satisfied with the development…

In this paper, an improvement of deformable template matching algorithm for polygonal objects in grayscale images using two-dimensional deformable templates along orthogonal curves is presented. In the process of pre-computing extensions of the deformable template along orthogonal curves, the novel…

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that the wp-calculus provides…