Sparse matrix multiplication on a reconfigurable many-core architecture

Sparse matrix-vector multiplication (SMVM) is a fundamental operation in many scientific and engineering applications. In many cases sparse matrices have thousands of rows and columns where most of the entries are zero, while non-zero data is spread over the matrix. This sparsity of data locality reduces the effectiveness of data cache in general-purpose processors quite reducing their performance efficiency when compared to what is achieved with dense matrix multiplication. In this paper, we propose a parallel processing solution for SMVM in a many-core architecture. The architecture is tested with known benchmarks using a ZYNQ-7020 FPGA. The architecture is scalable in the number of core elements and limited only by the available memory bandwidth. It achieves performance efficiencies up to almost 70% and better performances than previous FPGA designs.

Optimizações guiadas por dados reais em linguagens de domínio específico para a web

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

A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Um middleware para computação paralela em clusters de multicores

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

ROLAP e MOLAP: Comparação e avaliação prática

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Cultura, liderança e resultados escolares: uma abordagem a partir das representações dos alunos do ensino secundário

Grande parte dos estudos produzidos sobre a liderança escolar tem incidido na análise da relação entre os processos de liderança, a aprendizagem e o sucesso. Embora esta convergência de enfoque (liderança/sucesso) encubra abordagens teóricas, disciplinares e metodológicas muito diferenciadas, é evidente a presença de uma perspetiva unidirecional, mais focada nas políticas e nas práticas de liderança e menos na forma como estas são entendidas pelos alunos. Neste artigo, propomos um enfoque invertido, focado nas representações dos alunos sobre os processos de liderança. Do ponto de vista metodológico, recorremos aos dados recolhidos no âmbito de quatro estudos de caso realizados em escolas/agrupamentos com ensino secundário, resultantes da administração de um inquérito por questionário e da realização de focus group a alunos com resultados académicos de excelência e a alunos não incluídos neste nível de desempenho. Elegemos como referência analítica um estudo de caso de longa duração, a partir do qual colocamos em confronto os dados recolhidos nos outros três contextos estudados. Os resultados deste estudo apontam para a existência de relações e diferenças significativas entre a cultura organizacional da escola e os estilos de liderança, sendo destacada a importância do papel do Diretor na condução do ideário de excelência da escola.

Desenvolvimento de um processador VLIW

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Proposta de migració segura d'agents amb sol·licitud de classes sota demanda per a la plataforma JADE

Aquest projecte consisteix en la implementació d'una migració d'agents mòbils amb sol·licitud de classes sota demanda de manera segura per a la plataforma JADE. En aquest projecte hem desenvolupat dos protocols de control d'accés i autentificació sobre agents i/o plataformes. Però la línia central de desenvolupament d'aquest projecte radica en la creació d'un protocol de migració sota demanda d'agents. Hem implementat dues versions d'aquest protocol. La primera versió del protocol de migració es centra en la sol·licitud de classes sota demanda i la segona versió, per tal de millorar-ne el rendiment de la primera, emmagatzema les classes que ha demanat sota demanada en una cache de la plataforma.

Simulació d'arquitectures VLIW

L'objectiu d'aquest projecte es dissenyar i implementar en Java una interfície gràfica que permeti simular l'arquitectura VLIW. Ha d'interactuar amb un simulador ja existent, VEX, i amb l'usuari. VEX permet analitzar, desenvolupar i depurar codi escrit en C sobre un processador VLIW configurable, des dels recursos hardware fíns al comportament de la "caché". L'interfície gràfica desenvolupada es diu JavaVEX. Té el gran avantatge d'evitar la introducció de les comandes de text que necesita VEX perquè son substituïdes per elements. És una eina més intuïtiva, ràpida i eficient. JavaVEX mostra informació sobre el codi C traduït a instruccions VLIW de fins a 4 operacions. També mostra els resultats de les instrucciones VLIW simulades. JavaVEX s'ha incorporat a un LiveCD. Així es pot executar l'aplicació sobre qualsevol ordinador. La finalitat docent de JavaVEX és ser utilitzada en les pràctiques de l'assignatura Arquitectura per a Computadors 2.

The interconnection of somatic and mental issues within a multidisciplinary adolescent health unit. [L'intrication des problématiques somatiques et psychiques dans une unité multidisciplinaire de santé des adolescents.]

Les aspects physiques et psychiques sont étroitement intriqués à l'adolescence, et le corps représente un lieu privilégié d'expression des conflits. C'est dire l'importance de donner une place de choix au versant psychologique au sein d'une consultation de santé des adolescents, pour tenter de discerner la souffrance psychique souvent cachée derrière la plainte somatique.

Pour lire les récits bibliques

La Bible est l'un des plus fabuleux trésors d'histoires de l'humanité. Car depuis la nuit des temps, les croyants racontent. Mais pas n'importe quoi. Longuement façonnés dans l'oralité, patiemment rédigés, les récits bibliques obéissent à de subtiles règles de composition. Derrière les histoires apparemment naives se cache la fine stratégie d'un narrateur. Grâce à ses qualités pédagogiques, le livre de Daniel Marguerat et Yvan Bourquin s'est imposé comme un manuel de référence pour l'initiation à l'analyse narrative des textes bibliques. Il a été traduit en plusieurs langue.

La Bible se raconte : initiation à l'analyse narrative

La Bible est l'un des plus fabuleux trésors d'histoires de l'humanité. Car depuis la nuit des temps, les croyants racontent. Mais pas n'importe quoi. Longuement façonnés dans l'oralité, patiemment rédigés, les récits bibliques obéissent à de subtiles règles de composition. Derrière les histoires apparemment naives se cache la fine stratégie d'un narrateur. Grâce à ses qualités pédagogiques, le livre de Daniel Marguerat et Yvan Bourquin s'est imposé comme un manuel de référence pour l'initiation à l'analyse narrative des textes bibliques. Il a été traduit en plusieurs langue. Pour cette 4e édition, l'étude de l'intrigue et de la construction des personnages a été renouvelée. Avec clarté, ses auteurs ont aménagé un parcours qui permet de découvrir les outils de l'analyse narrative, d'étudier leur application, d'évaluer leur efficacité. Toute la magie de la lecture biblique s'en trouve éclairée.

Violences Domestiques : Prise en Charge et Prévention

Longtemps cachée, déniée, considérée comme honteuse par ses victimes, la violence domestique n'en est pas moins une réalité concrète qui tue, dans notre pays, une femme toutes les deux semaines et qui coûte des millions de francs par an à la société civile. Dès lors, ce type de violence ne peut plus être considéré comme relevant uniquement de la sphère privée. L'isolement des victimes, dû à l'incompréhension du phénomène, aux préjugés, à la peur et à l'ignorance de structures d'aides, n'est plus admissible. La violence domestique est un cas complexe et aucune discipline ne peut, à elle seule, y faire face. Les solutions sont donc l'affaire de tous. C'est pourquoi des professionnels romands créent le programme «C'est assez», au début des années 2000. S'ensuit un long cheminement pour mettre en lumière la problématique de la violence domestique et construire un réseau de soins, de prise en charge et de prévention cohérent, soutenu tant par le travail d'infirmiers, de travailleurs sociaux, de policiers, de médecins et de psychologues que de juges et de politiciens. Cet ouvrage parle de succès, d'échecs, d'espoirs, et il cherche avant tout à rendre sensible chaque citoyen à ce qui devrait être une évidence: prévenir la violence domestique et en faire une affaire de santé publique.

Projecte Argos

L'objectiu principal del projecte és el disseny d'un proxy que té com a funció filtrar el recursos web sol·licitats pels usuaris i registrar-los en un historial, indicant si s'han permès o no. Una característica important del disseny és que ha de permetre incorporar noves funcionalitats al proxy, per exemple, catxé de recursos, filtrat de correus electrònics, xats, FTP, P2P, ...). A més, com a objectiu secundari, l'autor pretén implementar el disseny en un prototipus.