Navegação Computação por Data do documento
Resultados 41-60 de 1752
-
Um editor orientado por estrutura para linguagens diagramaticas
(1989) [Dissertação]Este trabalho introduz uma nova abordagem na construção de editores para linguagens diagramáticas como as usadas na engenharia de software (por exemplo diagrama de fluxo de dados e diagrama de Nassi-Shneiderman). Esta nova ... -
Implementação de arquiteturas SIMD
(1989) [Dissertação]Este trabalho descreve a área de processamento matricial, mostrando os principais compromissos existentes na obtenção de arquiteturas paralelas a partir de algoritmos, para que haja um ganho real na avaliação destes. São ... -
Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
(1989) [Dissertação]Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para ... -
Ferramenta para apoio a modelagem de sistemas com redes de petri
(1989) [Dissertação]O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as ... -
Gerador parametrizável de partes operativas CMOS
(1989) [Dissertação]Este trabalho descreve uma ferramenta de implementação automática, o Gerador de Partes Operativas. A ferramenta encontra-se inserida em uma metodologia de projeto, que por sua vez é voltada para uma certa classe de circuitos. ... -
Uma metodologia para análise e especificação de sistemas de informações de escritórios
(1990) [Dissertação]Este trabalho apresenta uma metodologia para análise e projeto de Sistemas de Informações de Escritórios, a qual está baseada em ferramentas consolidadas tanto na area de Processamento de Dados (Grafos de Abstrações, Modelos ... -
Máquina de cláusulas : arquitetura e modelo de execução de cláusulas Prolog
(1990) [Dissertação]Este trabalho define um modelo de execução para cláusulas Prolog, a partir do modelo abstrato de Máquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns ... -
Uma rede neural para o reconhecimento de padrões codificados em sequências
(1990) [Dissertação]Este trabalho apresenta um modelo de rede neural voltado ao tratamento de informagbes codificadas em sequencias, tendo em vista que esta classe de informações nao tem um tratamento adequado nos modelos convencionais. Isso ... -
Projeto de operadores aritmeticos de ponto flutuante em tecnologia cmos
(1990) [Dissertação]Este trabalho aborda algumas etapas do projeto de operadores aritméticos de ponto flutuante visando sua IMPLENENTAÇÃ0 lntegrada. Inicialmente são estudados os algoritmos das operações de adição, subtração e multiplicação ... -
Um modelo de dados para ambientes de projeto
(1990) [Dissertação]A aplicação de projeto é comumente classificada como uma aplicação não-convencional. Como tal, apresenta requerimentos no tratamento dos dados que os bancos de dados comercialmente disponíveis não conseguem satisfazer /SID ... -
Tempos de comunicação em multiprocessadores
(1990) [Dissertação]Na pesquisa por novas maneiras de se obter maior poder de processamento dos computadores, o paralelismo é considerado uma alternativa viável. Mas a replicação de processadores não representa por si só um avanço nestas ... -
Larch : uma alternativa para especificação formal
(1990) [Dissertação]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 ... -
Modelos analíticos para interconexão de processadores : avaliação de desempenho de alocação simultânea de recursos
(1990) [Dissertação]Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico ... -
CSAR : um compilador de silício voltado a execução de operações paralelas
(1990) [Dissertação]Apesar de o termo Compilador de Silício ser recente, as idéias envolvidas na sua construção são antigas e conhecidas. Este trabalho apresenta todos os passos para a construção do CSAR, um compilador de silício voltado à ... -
Geração automática de lógica aleatória utilizando a metodologia TRANCA
(1990) [Dissertação]Este trabalho trata da geração de módulos em lógica aleatória em um ambiente de compilação de silício. Apresenta-se uma ferramenta automática de projeto, cuja base é um subconjunto de características da metodologia de ... -
Um sistema de revisão de crenças para resolução de problemas
(1990) [Dissertação]Sistemas de revisão de crenças selo sistemas que apóiam a realização de raciocínio não-monotônico em aplicações de Inteligência Artificial. Eles podem funcionar como suporte para "resolvedores de problemas", ajudando-os a ... -
Um sistema de modelamento de objetos funcionais
(1990) [Dissertação]Este trabalho apresenta uma metodologia computacional para a geração, manipulação e visualização de elementos tridimensionais cuja forma geométrica básica e o paralelepípedo. Os entes geométricos são agrupados em classes ... -
Validação de protótipo e análise de falhas no teste com feixe de elétrons : um estudo visando a sua automação
(1991) [Dissertação]O trabalho aqui apresentado descreve algumas pesquisas em teste de circuitos integrados. Estas pesquisas consistem, por um lado, na análise de falhas e por outro, na validação de protótipos, ambas fazendo uso de técnicas ... -
Uma linguagem comum entre usuários e analistas para definição de requisitos de sistemas de informação
(1991) [Dissertação]O presente trabalho tem por objetivo apresentar uma linguagem comum entre Usuários e Analistas para definição de requisitos, a ser utilizada durante as fases de Análise de Requisitos e Especificação, realizadas durante o ... -
A obtenção de texturas na síntese de imagens realísticas num ambiente limitado
(1991) [Dissertação]As técnicas para síntese de textura em Computação Gráfica constituem um grupo bem específico cujo objetivo principal é a inclusão, na imagem, de alguma informação visual que aumente a percepção de realismo. São identificadas ...