Resultados globales: 3 registros encontrados en 0.02 segundos.
Documentos de investigación, Encontrados 3 registros
Documentos de investigación Encontrados 3 registros  
1.
10 p, 505.0 KB Parallelization of an All-SAT solver / Adserias Valero, Saúl ; Moure, Juan C, dir. (Universitat Autònoma de Barcelona. Departament d'Arquitectura de Computadors i Sistemes Operatius) ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
Advancements in SAT solving algorithms with heuristics and more sophisticated inferring techniques have allowed a wide array of real world applications for SAT solvers to prosper. In this work, an All-SAT solver based on the DPLL algorithm has been developed, optimized, and ultimately parallelized, with the objective of learning about the intricacies of SAT solvers from a performance engineering perspective. [...]
Avanços en els algoritmes per a la resolució del problema SAT amb heurístiques i tècniques d'inferència més sofisticades han permès que prosperi una àmplia gamma d'aplicacions en el món real per als solucionadors SAT. [...]
Avances en los algoritmos para la resolución del problema SAT con heurísticas y técnicas de inferencia más sofisticadas han permitido que prospere una amplia gama de aplicaciones en el mundo real para los solucionadoes SAT. [...]

2023
Enginyeria Informàtica [958]  
2.
10 p, 756.3 KB GPS de Montaña / Gomez Acosta, Adria ; Sánchez Pujadas, Francisco Javier, dir. (Universitat Autònoma de Barcelona. Departament de Ciències de la Computació) ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
La popularidad y la utilización de los GPS ha crecido radicalmente en los últimos años en muchos ámbitos de la vida humana. Uno de ellos es la realización de rutas por la montaña para poder llevar a cabo actividades como rutas en bicicleta, salir a correr o caminatas por la montaña. [...]
The popularity and use of GPS has grown dramatically in recent years in many areas of human life. One of them is the realisation of mountain routes to be able to carry out activities such as cycling routes, jogging or hiking in the mountains. [...]
La popularitat i la utilització dels GPS ha crescut radicalment en els darrers anys en molts àmbits de la vida humana. Un és la realització de rutes per la muntanya per poder dur a terme activitats com rutes amb bicicleta, sortir a córrer o caminades per la muntanya. [...]

2021
Enginyeria Informàtica [958]  
3.
12 p, 488.0 KB Generador automático de prácticas de compiladores / Belmonte Castro, Oriol ; Sánchez Pujadas, Francisco Javier, dir. (Universitat Autònoma de Barcelona. Departament de Ciències de la Computació) ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
En este proyecto se propone una herramienta de generación automática de prácticas, que evite uno de los problemas existentes en el grado de informática, la copia de prácticas. El objetivo es obtener una aplicación capaz de generar un conjunto de diferentes prácticas para cada grupo de alumnos de la asignatura de Compiladores de la titulación. [...]
This project proposes an automatic generator of practices tool, to avoid one of the existing problems in the degree of computer science, the copy of practices. The final objective is to obtain an application capable of generating a set of different practices for every group of students of the Compilers subject of this degree. [...]
En aquest projecte es proposa una eina de generació automàtica de pràctiques, que eviti un dels problemes existents en el grau d'informàtica, la còpia de pràctiques. L'objectiu és obtenir una aplicació capaç de generar un conjunt de diferents pràctiques per a cada grup d'alumnes de l'assignatura de Compiladors de la titulació. [...]

2017-02-07
Enginyeria Informàtica [958]  

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.