Programa de Doctorat en Computació: Enviaments recents
Ara mostrant els elements 21-40 de 70
Algorithmic techniques for physical design : macro placement and under-the-cell routing
With the increase of chip component density and new manufacturability constraints imposed by modern technology nodes, the role of algorithms for electronic design automation is key to the successful implementation of ...
Analysis of partial match queries in multidimensional search trees
The main contribution of this thesis is to deepen and generalize previous work done in the average-case analysis of partial match queries in several types of multidimensional search trees. In particular, our focus has been ...
High-precision computation of uniform asymptotic expansions for special functions
In this dissertation, we investigate new methods to obtain uniform asymptotic expansions for the numerical evaluation of special functions to high-precision. We shall first present the theoretical and computational fundamental ...
Towards adaptative monitoring for self-adaptative systems
Nowadays, most of the approaches supporting self-adaptive systems (SASs) rely on static feedback control loops, for managing their adaptation process. One of the most popular feedback loops is the MAPE-K loop. In this loop, ...
Synthesis of variability-tolerant circuits with adaptive clocking
Improvements in circuit manufacturing have allowed, along the years, increasingly complex designs. This has been enabled by the miniaturization that circuit components have undergone. But, in recent years, ...
Logic decomposition and adaptive clocking for the optimization of digital circuits
Over the course of 60 years, since the invention of the integrated circuit (IC), exponential improvements in cost, performance and power consumption were observed. Such advances have been strongly linked with the continuous ...
Light methods for conformance checking of business processes
Conformance Checking is a new research discipline devoted to identify deviations between business process models and their real executions. Identifying deviations boils down to the notion of alignment conceptually. An ...
Realistic reconstruction and rendering of detailed 3D scenarios from multiple data sources
During the last years, we have witnessed significant improvements in digital terrain modeling, mainly through photogrammetric techniques based on satellite and aerial photography, as well as laser scanning. These techniques ...
Real-time quality visualization of medical models on commodity and mobile devices
This thesis concerns the specific field of visualization of medical models using commodity and mobile devices. Mechanisms for medical imaging acquisition such as MRI, CT, and micro-CT scanners are continuously evolving, ...
Algebraic dependency grammar
We propose a mathematical formalism called Algebraic Dependency Grammar with applications to formal linguistics and to formal language theory. Regarding formal linguistics we aim to address the problem of grammaticality ...
Open source software ecosystems quality analysis from data sources
Background: Open source software (OSS) and software ecosystems (SECOs) are two consolidated research areas in software engineering. The adoption of OSS by firms, governments, researchers and practitioners has been increasing ...
Structure discovery techniques for circuit design and process model visualization
Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many disciplines means ...
Supporting decentralized collaborative processes in the digital transformation
Crowdsourcing, the art of involving several individuals in the decentralized execution of business activities, is being positioned as the replacement of outsourcing, as it allows organization to reach a capable workforce ...
Efficient approximate string matching techniques for sequence alignment
One of the outstanding milestones achieved in recent years in the field of biotechnology research has been the development of high-throughput sequencing (HTS). Due to the fact that at the moment it is technically impossible ...
Incremental checking and maintenance of UML/OCL integrity constraints
Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, however, can be ...
Advanced inspection techniques for molecular simulations
Molecular dynamics simulations are computer simulations of the physical movements of atoms and molecules, and the interactions between them. In the particular cases we focus on (pharmaceutical drug design and enzymatic ...
Supporting the context life cycle in service-oriented computing
Current software community players like academy and industry have been changing the traditional paradigms of software engineering towards context-awareness and distributed computing. Nowadays, service-oriented computing ...
Algorithms and methodologies for interconnect reliability analysis of integrated circuits
The phenomenal progress of computing devices has been largely made possible by the sustained efforts of semiconductor industry in innovating techniques for extremely large-scale integration. Indeed, gigantically integrated ...
A framework for navigation of autonomous characters in complex virtual environments
In order to create autonomous characters it is necessary to solve the problem of moving agents between two locations, at both the global and local navigation levels. Global navigation has two main components: the path ...
Definition and use of software requirement patterns in requirements engineering
The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and inconsistency have been ...
