Reports de recerca
Recent Submissions
-
ETP4HPC’s SRA 5 strategic research agenda for High-Performance Computing in Europe 2022: European HPC research priorities 2023-2027
(2022-09)
Research report
Open AccessThis document feeds research and development priorities devel-oped by the European HPC ecosystem into EuroHPC’s Research and Innovation Advisory Group with an aim to define the HPC Technology research Work Programme and ... -
On the lightweight use of goal-oriented models for software package selection
(2004)
Research report
Open AccessSoftware package selection can be seen as a process of matching the products available in the marketplace with the requirements stated by an organization. This process may involve hundreds of requirements and products and ... -
Soundness and completeness of the events method
(1992)
Research report
Open AccessWe have proposed a new method, which we call the Events Method, for view updating in deductive databases. In this paper we prove that this method is sound and complete for stratified databases. -
Generació i simplificació automàtica de les regles d'esdeveniments interns corresponents a una base de dades deductiva
(1992-12)
Research report
Open Access -
Actualització de vistes en bases de dades relacionals: l'estat de la qüestió
(1992-01)
Research report
Open AccessAquest article és una síntesi dels mètodes proposats fins el moment actual per a resoldre el problema de l'actualització de vistes en bases de dades relacionals. Es distingeixen bàsicament dos enfocaments per a resoldre ... -
Comprovació de restriccions d'integritat i modificació de vistes en bases de dades deductives
(1991-01)
Research report
Open AccessAquest treball descriu els conceptes bàsics de les bases de dades deductives i estudia algun dels problemes que aquestes tenen (comprovació de les restriccions d'integritat i modificació de vistes). Abans d'estudiar algunes ... -
Report de definició del llenguatge Merlí
(1993-03)
Research report
Open AccessEs presenta en aquest report el llenguatge multiparadigma Merlí. El llenguatge Merlí està dissenyat per suportar un mètode de disseny de programes conegut com a prototipatge, en el qual un programa és el resultat d'una ... -
Comprovació de restriccions d'integritat en bases de dades deductives bitemporals
(1994-03)
Research report
Open Access -
El sistema Axis i el seu ús a l'entorn Excalibur
(1994-01)
Research report
Open AccessEl llenguatge de programació multiparadigma Merlí combina els estils equacional i imperatiu en una única notació. L'entorn d'execució Excalibur està dissenyat per suportar l'execució de programes Merlí i, per això, ha de ... -
Incremental integrity constraint checking in UML conceptual schemas
(2005)
Research report
Open AccessIntegrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural ... -
Supporting prototyping with a multiparadigm language
(1992)
Research report
Open AccessThis paper presents Merlí, a modular, data-type oriented programming language designed to support a prototyping software process model with the help of a programming environment, Excalibur. The language is a multiparadigm ... -
Estudio sobre la internacionalización de la Facultat d’Informàtica de Barcelona (UPC): Datos académicos, de movilidad y acciones de internacionalización de la FIB y la UPC
(2022-06)
Research report
Open AccessLa recopilación que se recoge en este documento constituye una parte importante de los datos que los autores hemos utilizado como soporte a la investigación que estamos llevando a cabo sobre la internacionalización de ...
RSS 1.0