Este trabalho teve como finalidade a implementação de um método para a paralelização parcial de programas, escritos na linguagem funcional, SISAL utilizando as bibliotecas do padrão MPI (Message Passing Interface). Para tal, propusemos a transformação dos programas SISAL através do particionamento do loop paralelo forall, através do método de particionamento slice e a utilização do modelo de implementação do paralelismo SPMD (Single Program Multiple Data) no estilo de programas mestre/escravo. A validação de nossa proposta foi obtida através da realização de testes onde foram comparados os resultados obtidos com os programas originais e os programas com as alterações propostas / This work describes a method for the partial parallelization of SISAL programs into programs with calls to MPI routines. We focused on the parallelization of the forall loop (through slicing of the index range). The generated code is a master/slave SPMD program. The work was validated through the compilation of some simple SISAL programs and comparison of the results with an unmodified version

Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / La thèse qui suit a été élaborée à partir du legs documentaire de José Thomaz Nabuco dAraújo (1813-1878), constitué de textes imprimés, manuscrits politiques, lettres et notes produites spécialement dans les décennies de cinquante et soixante du XVIIIe siècle et conservés à lInstitut Historique et Géographique du Brésil, lIHGB (Instituto Histórico e Geográfico Brasileiro). Politicien et homme des lettres, il a fréquenté des bibliothèques et librairies de ces décennies, quand il a eu contact avec les uvres et tendances de la pensée européenne. Les livres de la Faculté de Droit de Recife, où il a obtenu sa licence avec dautres bureaucrates de sa génération en 1835, ont marqué le début des pratiques de lecture et écrit tournés pour lappropriation du contenu et construction intentionnelle des idées politiques exprimées au long de sa riche et complexe trajectoire comme Sénateur et ministre de la Justice dans des cabinets des différentes orientations politiques. Le personnage a utilisé des langages et matrices de la pensée jus naturale, utilitariste, libérale et de lhumanisme civique en menant à bien dimportants débats directement liés à la pratique de la citoyenneté au second Royaume (1831-1889), en soulignant des thèmes comme lémancipation des esclaves, la participation civile des étrangers au Brésil, la liberté de presse, la décentralisation, des réformes électorales et la mission des partis politiques. Dans ce sens, la temporalité des idées présentes au discours met en évidence pas seulement les aspects perpétuels, mais aussi les transictoires de la pensée de Nabuco dAraújo. Certaines transformations et permanences sont perceptibles à la fin des années 1850, occasion dans laquelle le Cabinet de Conciliation finit et donne place, en 1862, à la Liga Progressista (la Ligue Progressiste), une alliance entre les conservateurs modérés et anciens libéraux du Royaume. Létude sur le processus démancipation graduelle des esclaves, spécialement en 1871, moment auquel le politicien fit partie du mouvement Centro Liberal, a aussi constitué une importante opportunité pour vérifier lintroduction des termes comme pessoa (personne) aux écrits de notre personnage. Guidé par ses propres intérêts, ou par des intérêts du gouvernement ou de son propre parti, Nabuco dAraújo contribua pour la formulation de nouveaux concepts et pratiques et, ainsi, influença, ensemble de ses paire, à la configuration de la culture politique réale. Le référentiel théorique basé sur des auteurs du courant de lhistoire des Idées, spécialement Quentin Skinner, et aux études de production de texte de Robert Darnton ont permis la compréhension des limites et intersections entre le libéralisme et le conservatisme politique au second Royaume, en plus de déclencher certains révisionnismes historiques dans luvre Um Estadista do Império, la biographie posthume de José Thomaz de Nabuco Araújo, élaborée par son fils Joaquim Nabuco. / A presente tese foi elaborada a partir do legado documental de José Thomaz Nabuco de Araújo (1813-1878), constituído de textos impressos, manuscritos políticos, cartas e bilhetes produzidos especialmente nas décadas de cinquenta e sessenta do oitocentos e conservados no Instituto Histórico e Geográfico Brasileiro. Político e homem de letras, frequentou bibliotecas e livrarias daquelas décadas, quando teve contato com obras e tendências do pensamento europeu. Os livros da biblioteca da Faculdade de Direito de Recife, onde se formou bacharel juntamente com outros burocratas de sua geração em 1835, marcaram o início de práticas de leitura e escrita voltadas para a apropriação do conteúdo e construção intencional de ideias políticas expressas no decorrer de sua rica e complexa trajetória como senador e ministro da justiça em gabinetes de diferentes siglas partidárias. O personagem fez uso das linguagens e matrizes do pensamento jusnaturalista, utitilarista, liberal e do humanismo cívico ao protagonizar importantes debates diretamente relacionados à prática da cidadania no Segundo Reinado, com destaque para temas como emancipação dos escravos, a participação civil de estrangeiros no Brasil, a liberdade de imprensa, a descentralização, reformas eleitorais e a missão dos partidos políticos. Nesse sentido, a temporalidade das ideias presentes no discurso evidenciaram não só os aspectos perenes, como também transitórios do pensamento de Nabuco de Araújo. Certas transformações e permanências são perceptíveis no final da década de 1850, ocasião em que o Gabinete da Conciliação deixou de existir e deu passagem, já em 1862, à Liga Progressista, uma aliança entre conservadores moderados e antigos liberais do Império. O estudo sobre o processo de emancipação gradativa dos escravos, especialmente no ano de 1871, ocasião em que o político pertenceu ao Movimento Centro Liberal, também constitui oportunidade ímpar para verificar a introdução de termos como pessoa nos escritos do personagem. Guiado por seus próprios interesses, ou por interesses do Governo e do seu partido, Nabuco de Araújo contribuiu para a formulação de novos conceitos e práticas e, portanto, exerceu influência na configuração da cultura política imperial, junto a seus pares. O referencial teórico fundamentado em autores da História das Ideias, especialmente Quentin Skinner, e nos estudos de produção de texto de Robert Darnton possibilitaram o entendimento dos limites e intersecções entre o liberalismo e o conservadorismo político no Segundo Reinado, além de desencadear certo revisionismo histórico da obra Um Estadista do Império, biografia póstuma de José Thomaz Nabuco de Araújo, elaborada por seu filho Joaquim Nabuco.

Made available in DSpace on 2016-04-29T14:23:38Z (GMT). No. of bitstreams: 1 Renato Dias Bigonha.pdf: 10953889 bytes, checksum: 8c20bbbb1d7fd15e9dd8777f3e88f879 (MD5) Previous issue date: 2015-09-17 / The development of a software system is a complex task. For development to occur, it is necessary communication between software developers and those interested in the use of such software (client). Through the interpretation of the client's intentions, is the specification of requirements that describe the features of the software and give rise to the application model. The use of natural language for such communication can bring ambiguities and vagueness communication and requirements specification. For any communication to take place a code or common language is needed for a sender and recipient and the software context, customer and developer. When the terms of the language used in communication does not mean exactly the same thing to both sides, communication can be impaired, giving way to the assumption, which may prove to generate specifications for software that does not meet customer needs. The fix for this software system can lead to rework that can be costly and increase development time. This research starts from the assumption that with the elimination or reduction of ambiguity and vagueness in communication and specification of the list of requirements, the resulting software development can be more likely to come to meet the client's goals. During the research it was noted that with the use of ubiquitous language during development can bring about improvements in development for proposing the setting of arbitrary terms according to the viewpoint and client context thus causing ambiguity and are reduced vagueness communication and requirements specification. But the requirements specification can never generate an absolute model, since the model is always abstracted from a different viewpoint / O desenvolvimento de um sistema de software é uma tarefa complexa. Para que o desenvolvimento ocorra, é necessária a comunicação entre os desenvolvedores de software e os interessados no uso de tal software (cliente). Através da interpretação das intenções do cliente, ocorre a especificação dos requisitos que descrevam as funcionalidades do software e dão origem ao modelo da aplicação. O uso da linguagem natural para essa comunicação pode trazer ambiguidades e vagueza à comunicação e especificação de requisitos. Para que qualquer comunicação ocorra é necessário um código ou linguagem comum à um remetente e ao destinatário e no contexto de software, ao cliente e desenvolvedor. Quando os termos da linguagem utilizada na comunicação não significam exatamente a mesma coisa para ambos os lados, a comunicação pode ficar prejudicada, dando espaço à suposição, que pode vir a gerar especificações de um software que não atende as necessidades do cliente. A correção desse sistema de software pode levar a retrabalho que pode ser custoso e aumentar o tempo de desenvolvimento. Essa pesquisa parte da hipótese de que com diminuição da ambiguidade e vagueza na comunicação e especificação da lista de requisitos, o software resultante do desenvolvimento possa ter mais chances de vir a satisfazer os objetivos do cliente. Durante a pesquisa, notou-se que com o uso da Linguagem Ubíqua durante o desenvolvimento pode trazer melhorias no desenvolvimento por propor a definição de termos arbitrários de acordo com o ponto de vista e contexto do cliente assim fazendo com que sejam diminuídas a ambiguidade e vagueza comunicação e especificação de requisitos. Mas a especificação de requisitos nunca poderá gerar um modelo absoluto, uma vez que o modelo é abstraído sempre a partir de um ponto de vista diferente

Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 2008

Estágio realizado na ALERT Life Sciences Computing, S.A. e orientado pelo Eng.º Filipe Pereira / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2012

Dissertação apresentada para obtenção do grau de Mestre, na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Profs. Drs. José Marques dos Santos e João José Ferreira

Made available in DSpace on 2013-08-07T18:42:14Z (GMT). No. of bitstreams: 1 000439447-Texto+Completo-0.pdf: 12654350 bytes, checksum: 6b1e68a168b4468adf4d1eba9517ad21 (MD5) Previous issue date: 2012 / This work proposes a Domain-Specific Language for Parallel Patterns Oriented Parallel Programming (LED-PPOPP). Its main purpose is to provide a way to decrease the amount of effort necessary to develop parallel programs, offering a way to guide developers through patterns which are implemented by the language interface. The idea is to exploit this approach avoiding large performance losses in the applications. Patterns are specialized solutions, previously studied, and used to solve a frequent problem. Thus, parallel patterns offer a higher abstraction level to organize the algorithms in the exploitation of parallelism. They also can be easily learned by inexperienced programmers and software engineers. This work carried out a case study based on the Master/Slave pattern, focusing on the parallelization of algorithms for multi-core architectures. The implementation was validated through experiments to evaluate the programming effort to write code in LED-PPOPP and the performance achieved by the parallel code automatically generated. The obtained results let us conclude that a significant reduction in the parallel programming effort occurred in comparison to the Pthreads library utilization. Additionally, the final performance of the parallelized algorithms confirms that the parallelization with LED-PPOPP does not bring on significant losses related to parallelization using OpenMP in most of the all experiments carried out. / Este trabalho propôs uma Linguagem Específica de Domínio de Programação Paralela Orientada a Padrões Paralelos (LED-PPOPP). O principal objetivo é reduzir o esforço e induzir o programador a desenvolver algoritmos paralelos guiando-se através de padrões que são implementados pela interface da linguagem, evitando que ocorram grandes perdas de desempenho nas aplicações. Anteriormente estudados, os padrões são soluções especializadas e utilizadas para resolver um problema frequente. Assim, padrões paralelos são descritos em um alto nível de abstração para organizar os algoritmos na exploração do paralelismo, podendo ser facilmente interpretados por programadores inexperientes e engenheiros de software. Como ponto de partida, este trabalho realizou um estudo de caso baseandose no padrão Mestre/Escravo, focando na paralelização de algoritmos para arquiteturas multi-core. Através de experimentos para medição de esforço e desempenho, a implementação de estudo de caso foi avaliada obtendo bons resultados. Os resultados obtidos mostram que houve uma redução no esforço de programação paralela em relação a utilização da biblioteca Pthreads. Já com relação ao desempenho final das aplicações paralelizadas, foi possível comprovar que a paralelização com LED-PPOPP não acarreta perdas significativas com relação a paralelizações com OpenMP na quase totalidade das aplicações testadas.

Made available in DSpace on 2013-08-07T18:43:22Z (GMT). No. of bitstreams: 1 000397136-Texto+Completo-0.pdf: 1469438 bytes, checksum: 6d662216e7ef8e28c23eb6ac3f555971 (MD5) Previous issue date: 2007 / The framework reuse process is called instantiation process. For the representation of the instantiation activities be considered correct it is necessary to extend the RDL formalization. The Reuse Description Language - RDL - is formalized through BNF (Backus-Naur-Form). This kind of formalization doesn´t defines all necessary constraints that should be applied to the models constructed with RDL. The RDL language allows the representation of the instantiation of object oriented framework activities. The aim of this work is to extend the RDL formalization through the definition of RDL metamodel using a class diagram; and through the description of a set of constraints applicable to the metamodel, wrote in natural language and OCL (Object Constraint Language), to detect ambiguity and inconsistency of the models. / O processo de reutilização de frameworks é chamado de processo de instanciação. Para que a representação das atividades de instanciação esteja correta existe a necessidade de estender a formalização da RDL. A Linguagem de Descrição de Reuso - RDL - está formalizada através da sua BNF (Backus-Naur-Form). Esta formalização não define todas as restrições necessárias que devem ser aplicadas aos modelos construídos a partir da RDL. A Linguagem de Descrição de Reuso permite a representação das atividades de instanciação de frameworks orientados a objetos. O objetivo deste trabalho é estender a formalização da linguagem através da elaboração do seu meta-modelo utilizando um diagrama de classes UML; e através da descrição de um conjunto de restrições aplicáveis ao meta-modelo, escritas em linguagem natural e OCL (Linguagem de Restrição de Objetos), com o objetivo de detectar ambigüidades e inconsistências dos modelos.

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.