Sem registros
|
Definição de um Simulador para Redes de Comunicação
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/4/1991 |
0 |
|
|
Implementação de um Sistema de Comunicação para o Sistema Operacional Plurix
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/4/1991 |
0 |
|
|
Uso de Linguagem Natural para Programação de Controladores Lógico-Programáveis
|
Dissertação de Mestrado |
Inteligência Artificial |
25/4/1991 |
0 |
|
|
Implementação de um Programa de Fluxo de Potência Ótimo Utilizando Programação Quadrática Sequencial
|
Dissertação de Mestrado |
Inteligência Artificial |
23/4/1991 |
0 |
|
|
Acompanhamento de Raios Otimizado para Sólidos CSG
|
Dissertação de Mestrado |
Computação Gráfica |
18/4/1991 |
0 |
|
|
Avaliação da Qualidade de Programas
|
Dissertação de Mestrado |
Engenharia de Software |
11/4/1991 |
0 |
|
|
Um Conjunto de Ferramentas para Implementação de Processos Cooperativos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
9/4/1991 |
0 |
|
|
Uma Ferramenta Automatizada para Gerenciamento da Configuração de Software
|
Dissertação de Mestrado |
Engenharia de Software |
5/4/1991 |
0 |
|
|
Benchrel-Benchmark para a Avaliação de Desempenho de Sgbd
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
2/4/1991 |
0 |
|
|
Uma Representação Gráfica para o Modelo de Objetos do GEOTABA
|
Relatório Técnico |
|
3/1991 |
236 |
|
|
Uma Implementação de Relações em Smalltalk
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/1991 |
235 |
|
|
O Problema de Steiner em Grafos Dirigidos
|
Tese de Doutorado |
Otimização |
12/3/1991 |
|
|
|
Exclusão Mútua na Ausência de Registradores Atômicos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/2/1991 |
0 |
|
|
Ferramentas para o Desenvolvimento de Programas Paralelos Distribuídos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
26/2/1991 |
0 |
|
|
VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural
|
Dissertação de Mestrado |
Inteligência Artificial |
7/2/1991 |
0 |
|
|
Um Estudo de Problemas Combinatórios em Grafos Perfeitos
|
Tese de Doutorado |
Inteligência Artificial |
4/2/1991 |
|
|
|
Learning in Analog Hopfield Networks
|
Relatório Técnico |
|
1/1991 |
234 |
|
|
Reutilização em Software
|
Relatório Técnico |
|
1/1991 |
233 |
|
|
Manual para Avaliação da Qualidade de Software Educacional
|
Relatório Técnico |
Engenharia de Software |
1/1991 |
232 |
|
|
Padrões X400: Análise, Especificação Formal e Proposta de Migração de um MHS
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
25/1/1991 |
0 |
|
|
Critério de Dominância para Problemas de Localização de Armazéns Capacitados de Grande Porte
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
21/1/1991 |
0 |
|
|
Proposta de Um Modelo de Dados para Sistemas de Informação para Escritórios
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
11/1/1991 |
0 |
|
|
Um Sistema de Representação do Conhecimento de Métodos de Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
11/1/1991 |
0 |
|
|
Um Método de Feixe com Região de Confiança
|
Tese de Doutorado |
Otimização |
31/1/1991 |
|
|
|
Estruturas do Discurso: Plano, Ações e Atos de Fala
|
Relatório Técnico |
|
12/1990 |
231 |
|
|
Fatores de Aceleração no Problema de Particionamento não Ponderado
|
Tese de Doutorado |
Otimização |
21/12/1990 |
|
|
|
Predição, Estimação e Medição da Confiabilidade Durante o Ciclo de Vida do Software
|
Dissertação de Mestrado |
Engenharia de Software |
7/12/1990 |
|
|
|
Determinação dos Parâmetros da Transformação Tasseled Cap para Análise e Classificação de Imagens Obtidas pelo Satélite Spot
|
Dissertação de Mestrado |
|
30/11/1990 |
|
|
|
Um Sistema Baseado em Conhecimento como Suporte para o Processo de Alfabetização
|
Dissertação de Mestrado |
Informática e Sociedade |
22/11/1990 |
|
|
|
Taxonomia de Domínios de Aplicação
|
Dissertação de Mestrado |
Engenharia de Software |
14/11/1990 |
|
|
|
Lógicas Não-Monotônicas na Formalização do Senso-Comum
|
Dissertação de Mestrado |
Inteligência Artificial |
8/11/1990 |
|
|
|
Experiments in Parallel Heuristic Search
|
Relatório Técnico |
|
10/1990 |
230 |
|
|
Convergence of the Large Step Primal Affine-Scaling Algorithm for Primal Non-Degenerate Linear
|
Relatório Técnico |
|
10/1990 |
229 |
|
|
Caracterização do Software Educacional: Subsídios para seu Desenvolvimento
|
Relatório Técnico |
|
10/1990 |
228 |
|
|
Projeto e Implementação de uma Linguagem Intermediária do Compilador ACTUS II para Transputer
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
25/10/1990 |
|
|
|
Problema de Planejamento e Percurso de Veículos na Coleta do Lixo Urbano Domiciliar
|
Dissertação de Mestrado |
Otimização |
19/10/1990 |
|
|
|
O Perfil dos Trabalhadores da Área de Processamento de Dados na Cidade do Rio de Janeiro
|
Dissertação de Mestrado |
Informática e Sociedade |
4/10/1990 |
|
|
|
Métodos de Busca Heurística Paralela
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
12/9/1990 |
|
|
|
On Extensions by Function Symbols: Conservativeness and Comparison
|
Relatório Técnico |
|
8/1990 |
227 |
|
|
Projeto e Implementação de um Processador Virtual de Comunicações
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
23/8/1990 |
|
|
|
Uma Contribuição ao Problema de Múltiplos Objetivos em Redes
|
Tese de Doutorado |
Otimização |
17/8/1990 |
|
|
|
TABA-OBJ: Um Ambiente de Desenvolvimento de Software com Orientação a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
13/8/1990 |
|
|
|
Proposta de uma Estrutura Hierárquica de Componentes Informáticos Estabelecida a Partir da Automatização dos Processos de Trabalho na Indústria de Processo Contínuo
|
Dissertação de Mestrado |
Informática e Sociedade |
7/8/1990 |
|
|
|
Resolução de Programas Pseudo-Booleanos Não-Lineares Via Decomposição Lagrangeana
|
Dissertação de Mestrado |
Otimização |
5/8/1990 |
|
|
|
Um Novo Modelo de Execução Paralela de Programas Lógicos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
13/7/1990 |
|
|
|
Uma Avaliação Experimental de uma Versão Paralela do Simulated Annealing
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
11/7/1990 |
|
|
|
Aprendizado Não-Supervisionado em Redes Neuronais
|
Dissertação de Mestrado |
Inteligência Artificial |
5/7/1990 |
|
|
|
Um Método de Dedução não-Monotônico Baseado em Eliminação de Modelos
|
Dissertação de Mestrado |
Inteligência Artificial |
5/7/1990 |
|
|
|
Métodos de Região de Confiança em Otimização
|
Dissertação de Mestrado |
Otimização |
5/7/1990 |
|
|
|
On Lower Bound Updates in Primal Potential Reduction Methods for Linear Programming
|
Relatório Técnico |
|
6/1990 |
226 |
|
|