|
Sem registros
|
|
Análise Sintática Baseada em Regras Usando um Modelo Conexionista: Uma Visão Crítica
|
Dissertação de Mestrado |
|
27/9/1989 |
|
|
|
|
O Tempo como Modelo: A Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos
|
Dissertação de Mestrado |
|
20/9/1989 |
|
|
|
|
CAD - Alguma Consideraçõe sobre sua História, Aplicações e Impactos Sociais
|
Relatório Técnico |
Engenharia de Software |
8/1989 |
215 |
|
|
|
Um Núcleo para Programação Concorrente em Pascal
|
Relatório Técnico |
|
8/1989 |
214 |
|
|
|
Linha de Pesquisa Banco de Dados - Programa de Engenharia de Sistemas e Computação
|
Relatório Técnico |
|
8/1989 |
212 |
|
|
|
Large-Steps Path-Following Methods for Linear Programming: Pothential Reduction Method
|
Relatório Técnico |
|
8/1989 |
211 |
|
|
|
Morfologia Matemática, Volume I - Capítulos 1-6, Volume II - Capítulos 7-15
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
8/1989 |
209 |
|
|
|
Análise de Alguns Métodos de Racionínio Impreciso para Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
9/8/1989 |
0 |
|
|
|
Uma Máquina Básica de Redução
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
|
Metodologia de Desenvolvimento de um Configurador de Testes AutomátiCos com Técnicas de Inteligência Artificial
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
|
Criptografia, Segurança dos Dados e Privacidade - Até que Ponto Pode-se Confiar na Discrição dos Computadores
|
Dissertação de Mestrado |
|
17/8/1989 |
|
|
|
|
Large-Steps Path-Following Methods for Linear Programming: Barrier Function Method
|
Relatório Técnico |
|
7/1989 |
210 |
|
|
|
Protótipo do Especificador de Ambientes da Estação TABA
|
Relatório Técnico |
|
7/1989 |
208 |
|
|
|
Representação de Estruturas do Tipo Schemeta em Modelos Conexionistas
|
Relatório Técnico |
|
7/1989 |
207 |
|
|
|
O Problema de Matching (Relatório Didático)
|
Relatório Técnico |
|
7/1989 |
206 |
|
|
|
Proposta de Modelo Interno para o SGO do Projeto TABA
|
Relatório Técnico |
|
7/1989 |
205 |
|
|
|
A Ergonomia e suas Relações com o Trabalho em Processamento de Dados
|
Relatório Técnico |
|
7/1989 |
204 |
|
|
|
Novas Tecnologias e a Divisão Sexual do Trabalho
|
Relatório Técnico |
Informática e Sociedade |
7/1989 |
203 |
|
|
|
Especificação de Ambientes da Estação TABA: Fase de Identificação
|
Relatório Técnico |
|
7/1989 |
202 |
|
|
|
Aquisição de Conhecimento para Sistemas Especialistas no Projeto TABA
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
201 |
|
|
|
Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
|
7/1989 |
200 |
|
|
|
ACOD: Um Analisador de Pseudocódigo (Especificação e Projeto da Ferramenta)
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
199 |
|
|
|
Um Modelo Abstrato para Troca de Mensagens
|
Relatório Técnico |
|
7/1989 |
198 |
|
|
|
Hipertexto: Uma Visão Geral
|
Relatório Técnico |
|
7/1989 |
197 |
|
|
|
Núcleo de Tecnologia de Software
|
Relatório Técnico |
|
6/1989 |
213 |
|
|
|
Towards a Stochastc Neural Model for Combinatoral Optimization
|
Relatório Técnico |
|
6/1989 |
196 |
|
|
|
Redes Neuronais Artificiais: A Volta do Cérebro Eletrônico?
|
Relatório Técnico |
|
6/1989 |
194 |
|
|
|
Um Algoritmo Incremental para Remoção de Superfícies Ocultas
|
Dissertação de Mestrado |
|
19/6/1989 |
|
|
|
|
O Problema do Horário na Escola de Segundo Grau: Modelagem e Implementação
|
Dissertação de Mestrado |
|
15/6/1989 |
|
|
|
|
PORTOS-TF: Sistema Operacional Portátil de Tempo-Real com Primitivas de Tolerâncias a Falhas
|
Dissertação de Mestrado |
|
9/6/1989 |
|
|
|
|
A Lower for the Shortest Hamiltonean Path Proble in Drected Graphs
|
Relatório Técnico |
|
5/1989 |
195 |
|
|
|
Grafos Triangularizados: Caracterizações, Restrições e Extensões
|
Dissertação de Mestrado |
|
24/5/1989 |
|
|
|
|
Direito e Informática: Situação Atual e Potencialidades
|
Relatório Técnico |
|
4/1989 |
193 |
|
|
|
Pesquisas em Engenharia de Software
|
Relatório Técnico |
|
4/1989 |
192 |
|
|
|
Uma Análise das Zonas de Processamento de Exportação: sua Viabilidade de Implantação no Brasil e suas Conseqüências para o Setor de Informática
|
Relatório Técnico |
Informática e Sociedade |
4/1989 |
191 |
|
|
|
Política Nacional de Telecomunicações: A Luta pela Manutenção do Monopólio Estatal e as Contradições com a Política Nacional de Informática
|
Relatório Técnico |
Informática e Sociedade |
4/1989 |
190 |
|
|
|
Avaliação Experimental do Desempenho do Sistema Multiprocessador ACP
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
18/4/1989 |
0 |
|
|
|
Um Testador de Algoritmos Distribuídos
|
Dissertação de Mestrado |
|
19/4/1989 |
|
|
|
|
Métodos de Resolução para o Problema de Percursos de Veículos
|
Dissertação de Mestrado |
|
19/4/1989 |
|
|
|
|
An Occam-Based Evaluation of Parallel Version of Simulated Annealing
|
Relatório Técnico |
|
3/1989 |
189 |
|
|
|
Avaliação com Orientação de Desenvolvimento de Softwware com Orientação a Objetos
|
Relatório Técnico |
|
3/1989 |
188 |
|
|
|
Hiperficha: Hipermídia para Desenvolvimento de Software
|
Relatório Técnico |
|
3/1989 |
187 |
|
|
|
PORTAUS - A Portuguese Automatic Understanding System
|
Relatório Técnico |
|
3/1989 |
186 |
|
|
|
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs
|
Relatório Técnico |
|
3/1989 |
185 |
|
|
|
Relatório de Atividades do Programa de Engenharia de Sistemas e Computação - 1986/1988
|
Relatório Técnico |
|
3/1989 |
184 |
|
|
|
Síntese de Redes Neuronais com Aplicações a Representação do Conhecimento e à Otimização
|
Tese de Doutorado |
Inteligência Artificial |
31/3/1989 |
|
|
|
|
Extensões no SGBD-COPPEREL para Aplicações não Convencionais
|
Dissertação de Mestrado |
|
31/3/1989 |
|
|
|
|
CRIPTA - Uma Ferramenta para Desenvolvimento de Sistemas de Dados Estatísticos
|
Dissertação de Mestrado |
|
30/3/1989 |
|
|
|
|
Análise dos Microprocessadores CISC de 32 bits na Implementação de Sistemas para Processamento Paralelo
|
Dissertação de Mestrado |
|
7/3/1989 |
|
|
|
|
Controle de Qualidade em Interfaces do Usuário
|
Relatório Técnico |
|
2/1989 |
183 |
|
|
