Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

Contributions à la Paléontologie du Miocène moyen continental du Bassin du Tage. II - Observations sur les dents pharyngiennes de poissons cyprinidés - Póvoa de Santarém.

The study of Cyprinid fish pharyngeal teeth, collected by M. Telles Antunes in continental "Helvetian" sediments from Póvoa de Santarém, makes possible to demonstrate the occurrence of two distinct species. One remains undetermined. The other belongs to the recent genus Leuciscus CUV. Several dental types of this genus are described and figured as Leuciscus antunesi nov. sp. Palaeoclimatical and palaeoecological interpretations are proposed.

Consistent state software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Estudo prospectivo para o ano 2021 Região Autónoma dos Açores, NUT II

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Análise do Risco de subscrição no âmbito do projecto solvência II

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Matemática e Aplicações – Actuariado, Estatística e Investigação Operacional

Speculative execution by using software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Part I : Comparing derivatization methods for amino acids – one and two-step procedures using gas chromatography – flame ion detector (GC-FID) Part II: Story of an icon from its execution until its conservation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Análise do uso da energia na FCT-UNL (edifícios II, VII, VIII, IX e X) e estudo dos comportamentos relativos ao uso da energia

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Gestão e Sistemas Ambientais

tlCell: a software transactional memory for the cell broadband engine architecture

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Contributions to the Eocene palaeontology and stratigraphy of Beira Alta, Portugal II - New Late Eocene mammalian remnants from Coja (Portugal) and the presence of Palaeotherium magnum Cuvier

The presence of Palaeotherium magnum in the fauna from Coja is recorded. It is well in agreement with the earlier reporting to the Montmartre level from the Ludian stage. Field data as well as compatibility with the remaining taxa and the identical fossilization of all the specimens indicate that all the vertebrate fossils come from the same horizon in the lithostratigraphic unit "Arcoses de Côja".

Developing Libraries Using Software Transactional Memory

Software transactional memory is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to main memory (RAM) locations. This paper discusses how to support apparently irreversible operations, such as memory allocation and deallocation, within software libraries that will be used in (software memory) transactional contexts, and propose a generic and elegant approach based on a handler system, which provide the means to create and execute compensation actions at key moments during the life-time of a transaction.

Geomorphic dam-break flows. Part II: numerical simulation

Proceedings of the Institution of Civil Engineers - Water Management 163 Issue WM6

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Application de connaissances terminologiques dans le cadre de l'enseignement du Français langue etrangère I et II

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia

Projecto solvência II - Modelação do risco de subscrição numa companhia de seguros não vida

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Matemática e Aplicações - Actuariado, Estatística e Investigação Operacional