Programaaao Paralela
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. CoordenaÃÃo e ReconfiguraÃÃo DinÃmica de Componentes em uma Plataforma de ComputaÃÃo Paralela
Nos domÃnios da ComputaÃÃo de Alto Desempenho (CAD), sÃo comuns aplicaÃÃes com tempo de execuÃÃo de longa duraÃÃo. Durante a execuÃÃo de uma aplicaÃÃo dessa natureza, podem ser identificadas melhorias ou correÃÃes nos algoritmos em execuÃÃo que nÃo invalidam o processamento previamente realizado. Neste cenÃrio, a capacidade de realizar mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2012
-
2. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
3. Uma Linguagem de ProgramaÃÃo Paralela Orientada a Objetos para Arquiteturas DistribuÃdas / A Programming Language for Parallel Object-Oriented Distributed Architectures
Em programaÃÃo orientadas a objetos (POO) , a habilidade de encapsular interesses de software da dominante decomposiÃÃo em objetos à a chave para alcanÃar alto nÃvel de modularidade e diminuiÃÃo de complexidade em projetos de larga escala. Entretanto, o paralelismo de memÃria distribuÃda tende a quebrar modularidade, encapsulamento e a independÃn
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/04/2012
-
4. AvaliaÃÃo de Desempenho de uma Plataforma de Componentes Paralelos / Performance Evaluation of a Platform for Component-Based Parallel Programming
Reduzir a complexidade do software e permitir o desenvolvimento em larga escala de aplicaÃÃes voltados à ComputaÃÃo de Alto Desempenho (CAD) tem exigido o desenvolvimento de ferramentas com potencial capacidade de abstraÃÃo na construÃÃo de sistemas. As tecnologias que envolvem o desenvolvimento de componentes procuram alcanÃar esses requisitos, bu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
5. SimulaÃÃo de escoamento bifÃsico Ãleo-Ãgua em reservatÃrios de petrÃleo usando computadores paralelos de memÃria distribuÃda
A busca por tÃcnicas de alto desempenho por engenheiros e pesquisadores no campo da simulaÃÃo numÃrica em reservatÃrios de petrÃleo à um caminho que vem sendo percorrido desde o inÃcio da dÃcada de 1950 com o advento dos primeiros computadores digitais. Prever o comportamento de um reservatÃrio ao longo de sua vida produtiva e extrair a mÃxima qua
Publicado em: 2008
-
6. OtimizaÃÃo estrutural utilizando o algoritmo evolucionÃrio do enxame de partÃculas
Nas ciÃncias em geral, o termo otimizaÃÃo se refere ao estudo de um conjunto de tÃcnicas que tÃm como objetivo a obtenÃÃo de um melhor resultado para uma funÃÃo e parÃmetros (variÃveis de projeto) prÃ-especificados dentro de um conjunto permitido (espaÃo de projeto). A otimizaÃÃo em geral à feita atravÃs de procedimentos numÃricos computaci
Publicado em: 2008
-
7. TÃcnicas para construÃÃo de Ãrvores filogenÃticas / Techniques for construction of phylogenetic trees
Ãrvores filogenÃticas sÃo estruturas que expressam a similaridade, ancestralidade e relacionamentos entre as espÃcies ou grupo de espÃcies. Conhecidas como Ãrvores evolucionÃrias ou simplesmente filogenias, as Ãrvores filogenÃticas possuem folhas que representam as espÃcies (tÃxons) e nÃs internos que correspondem aos seus ancestrais hipotÃticos
Publicado em: 2007
-
8. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
9. Estudo da aplicabilidade da plataforma Java em sistemas embarcados.
VÃrios fabricantes estÃo adotando a linguagem Java para desenvolvimento de suas aplicaÃÃes com intuito de diminuir custos de desenvolvimento, principalmente devido as novas funcionalidades de conexÃo exigidas pelo mercado.As caracterÃsticas da linguagem Java tais como, simplicidade, portabilidade, seguranÃa, reusabilidade e suporte, tÃm atraÃdo o me
Publicado em: 2005
-
10. OrtorretificaÃÃo digital de imagens de satÃlites de alta resoluÃÃo espacial
Esta dissertaÃÃo descreve um mÃtodo para a ortorretificaÃÃo de imagens de satÃlites de alta resoluÃÃo espacial, utilizando o modelo matemÃtico tri-dimensional Affine Projection Model â APM, tambÃm conhecido como a equaÃÃo de projeÃÃo paralela. Em uma fase inicial da pesquisa foram implementados a equaÃÃo de projeÃÃo paralela e o mapeamento
Publicado em: 2004
-
11. Uma estrutura para o plano de codificaÃÃo e testes no desenvolvimento evolutivo de software orientado a objetos.
Nos processos de desenvolvimento evolutivo de software orientado a objetos, tem-se dado pouca importÃncia ao controle da execuÃÃo das atividades de codificaÃÃo e testes. Nesses processos falta um planejamento adequado para a conduÃÃo dessas atividades. Este trabalho de pesquisa propÃe uma estrutura de plano de codificaÃÃo e testes em que a ordem de
Publicado em: 2004
-
12. ProgramaÃÃo paralela de alto nÃvel e eficiente sobre arquiteturas distribuÃdas
New technological paradigms have emerged in high-performance computing since last decade. The consolidation of distributed architectures and the recent advances in the state-of-the-art performance of processor and interconnection networks gave birth to clusters, conventional computer networks that can compete with supercomputers in its niche of applications,
Publicado em: 2003