Abstracoes De Programacao
Mostrando 1-12 de 20 artigos, teses e dissertações.
-
1. Abordagem para criação de linguagens específicas de domínio para robótica móvel
Robôs móveis autônomos são máquinas com potencial para realizar atividades repetitivas ou de alta periculosidade com mais eficácia. Muitos possuem um software embarcado responsável pelo seu funcionamento. Nos últimos anos, a complexidade dessas aplicações robóticas embarcadas tem crescido continuamente e apresentam desafios que são incomuns ao de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/11/2012
-
2. AN ABSTRACTION FOR PARALLEL PROGRAMMING: SUPPORT FOR DEVEDEVELOPING / ABSTRAÇÃO PARA PROGRAMAÇÃO PARALELA: SUPORTE PARA O DESENVOLVIMENTO DE APLICAÇÕES
A evolução do campo de programação tradicionalmente troca desempenho por abstrações mais poderosas capazes de simplificar o trabalho do programador. É possível observar os efeitos dessa evolução na área de programação paralela. Tipicamente, a programação paralela se concentra em alto desempenho baseado no paradigma procedural para atingir o ma
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/08/2011
-
3. DESIGN AND IMPLEMENTATION OF COLLECTIVE INTERFACES IN A COMPONENT-ORIENTED MIDDLEWARE / PROJETO E IMPLEMENTAÇÃO DE INTERFACES COLETIVAS EM UM MIDDLEWARE ORIENTADO A COMPONENTES DE SOFTWARE
Tradicionalmente, o processo de desenvolvimento de sistemas paralelos enfatiza o desempenho em detrimento de melhores abstrações de programação, o que acarreta problemas como excessiva complexidade de código e redução da manutenibilidade do software. Novas técnicas tem se mostrado interessantes na construção de software paralelo, tais como as tecno
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/04/2011
-
4. Desenvolvimento de um framework para métodos sem malha
Métodos sem malha vêm ganhando espaço na área de métodos numéricos como uma alternativa aos métodos tradicionais, como o Método dos Elementos Finitos (FEM) e o Método das Diferenças Finitas (FDM). A principal característica dos métodos sem malha é a ausência de uma malha para construção de suas funções de forma, funções usadas para gerar
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/03/2011
-
5. Larch : uma alternativa para especificação formal
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módul
Publicado em: 2010
-
6. MPI2.NET : criação dinâmica de tarefas com orientação a objetos / MPI2.NET: dynamic tasks creation with object orientation
Message Passing Interface (MPI) é o padrão de facto para o desenvolvimento de aplicações paralelas e de alto desempenho que executem em clusters. O padrão define APIs para as linguagens de programação Fortran, C e C++. Por outro lado a programação orientada a objetos é o paradigma de programação dominante atualmente, onde linguagens de programaç
Publicado em: 2010
-
7. Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema
Publicado em: 2010
-
8. Hierarchical message passing through a ProActive/GCM based runtime / Passagem de mensagem hierárquica através de um runtime baseado em ProActive/GCM
Nos últimos anos, computação em grade tem emergido como uma forma de utilização de recursos geograficamente distribuídos em múltiplas organizações. Devido ao fato de grids serem altamente distribuídos e compostos por recursos heterogêneos, a computação em grade tem dado importância a requisitos específicos, como escalabilidade, desempenho e a
Publicado em: 2010
-
9. Abstrações para uma linguagem de programação visando aplicações móveis em um ambiente de Pervasive Computing
Computação Móvel é um termo genérico, ainda em definição, ao redor do qual se delineia um espectro de cenários possíveis, desde a Computação Pessoal, com o uso de computadores de mão, até a visão futurista da Computação Ubíqua. O foco do projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuída), em desenvolvimento no II
Publicado em: 2007
-
10. Uma Biblioteca para programação paralela por troca de mensagens de clusters baseados na tecnologia SCI
A presente Dissertação propõe uma biblioteca de comunicação de alto desempenho, baseada em troca de mensagens, especificamente projetada para explorar eficientemente as potencialidades da tecnologia SCI (Scalable Coherent Interface). No âmago da referida biblioteca, a qual se denominou DECK/SCI, acham-se três protocolos de comunicação distintos: um
Publicado em: 2007
-
11. Location system for holoparadigm / HLS: um modelo para suporte à sistemas de localização no holoparadigma
O crescimento do poder computacional dos dispositivos portáteis como PDAs, handhelds e notebooks é uma realidade na última década. Paralelamente, as redes sem fio (por exemplo Wi-Fi e bluetooth), tiveram um crescimento vinculado a estes equipamentos, facilitando a comunicação e troca de informações entre os mesmos. Nesse escopo surgiu a computação
Publicado em: 2007
-
12. Strategies for embedded software development based on high-level models / Strategies for embedded software development based on high-level models
Técnicas que partem de modelos de alto nível de abstração são requeridas para lidar com a complexidade encontrada nas novas gerações de sistemas embarcados, sendo cruciais para o sucesso do projeto. Uma grande redução do esforço pode ser obtida com o uso de modelos quando código em uma linguagem de programação pode ser gerado automaticamente a p
Publicado em: 2007