Sem registros
|
Um Analisador Estático de Programas Escritos em C
|
Dissertação de Mestrado |
|
29/4/1988 |
|
|
|
Estado da Arte da Criptografia de Chave Pública Baseada no \"Problema da Mochila\"
|
Dissertação de Mestrado |
|
26/4/1988 |
|
|
|
Cache para Discos: Arquitetura e Algoritmos
|
Dissertação de Mestrado |
|
25/4/1988 |
|
|
|
Um Interpretador de uma Linguagem de Configuração para Um Ambiente de Programação Distribuída Baseado em Modula-2
|
Dissertação de Mestrado |
|
22/4/1988 |
|
|
|
Desenvolvimento de um Protocolo de Comunicação entre Dois Sistemas Distribuídos
|
Dissertação de Mestrado |
|
15/4/1988 |
|
|
|
Gerenciador de Dados Replicados para Centros de Supervisão e Controle Baseados em uma Arquitetura Distribuída
|
Dissertação de Mestrado |
|
14/4/1988 |
|
|
|
Ferramentas Automatizadas para Apoio ao Projeto Estruturado
|
Dissertação de Mestrado |
|
13/4/1988 |
|
|
|
Decomposition Lagrangienne pour Problemes de Programtion Non-Lineaire en Nombres Entiers a Constraintes Lineaires
|
Relatório Técnico |
|
3/1988 |
142 |
|
|
Um Novo Esquema de Decomposição Lagrangeana em Programação Linear Inteira
|
Relatório Técnico |
|
3/1988 |
141 |
|
|
Interior Point Algorithms for Linear Programming Problems with Inequality Constraints
|
Relatório Técnico |
|
3/1988 |
140 |
|
|
Polynomial Affine Algorithm for Linear Programming
|
Relatório Técnico |
|
3/1988 |
139 |
|
|
PRODOC: Uma Ferramenta para Produzir Documentação de Produtos de Software
|
Dissertação de Mestrado |
|
29/3/1988 |
|
|
|
Um Sistema Especialista para Escolha dos Fatores de Escala do TNA
|
Dissertação de Mestrado |
|
25/3/1988 |
|
|
|
Simulação Multivariável de Variáveis Regionalizadas
|
Dissertação de Mestrado |
|
25/3/1988 |
|
|
|
Editores Gráficos para Projeto de Circuitos Integrados
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
19/2/1988 |
0 |
|
|
Sistemas Especialistas Aplicados ao Processamento de Alarmes em Centros de Controle
|
Dissertação de Mestrado |
|
10/2/1988 |
|
|
|
An 0(N) Algorithm for the Projecton of a Vector on the Simplex of IRn
|
Relatório Técnico |
|
1/1988 |
138 |
|
|
Sistema Amigável para Minimização do Custo da Ração
|
Dissertação de Mestrado |
|
4/1/1988 |
|
|
|
Metodologia de Expansão da Capacidade de Ponta em Sistemas Interligados de Geração Hidrotermoelétrica
|
Tese de Doutorado |
Otimização |
15/12/1987 |
0 |
|
|
Um Estudo de Ambientes de Programação Distribuída: Proposta e Extensões para Modula-2
|
Tese de Doutorado |
|
11/12/1987 |
|
|
|
Contribuição ao Problema de Equilíbrio em Redes
|
Tese de Doutorado |
|
30/10/1987 |
|
|
|
Gramática e Linguagens RISK
|
Tese de Doutorado |
|
8/9/1987 |
|
|
|
Um Processador RISC Bipartido
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/7/1987 |
0 |
|
|
Planejamento da Expansão a Longo Prazo de Redes de Transmissão de Energia Elétrica Usando Técnicas de Sistemas Baseados em Conhecimentos
|
Dissertação de Mestrado |
Otimização |
20/7/1987 |
0 |
|
|
Sistemas Especialistas: Um Estudo de Caso na Agricultura
|
Dissertação de Mestrado |
Inteligência Artificial |
8/7/1987 |
0 |
|
|
Especificação e Desenvolvimento de um Protótipo de um Gerenciador de Bases de Conhecimento
|
Dissertação de Mestrado |
Inteligência Artificial |
8/7/1987 |
0 |
|
|
Ambientes para Desenvolvimento de Software: Definição de Termos
|
Relatório Técnico |
|
6/1987 |
137 |
|
|
Problemas de Otimização Relacionados ao Corte de Bobinas de Papel
|
Relatório Técnico |
|
6/1987 |
136 |
|
|
Determinação de Fases de Crescimento de Larvas Através de Análise de Grupamento
|
Relatório Técnico |
|
6/1987 |
135 |
|
|
Um Sistema de Procedimentos Generalizado para Projetos
|
Dissertação de Mestrado |
Engenharia de Software |
12/6/1987 |
0 |
|
|
O Projeto de Engenharia de Dados
|
Relatório Técnico |
|
5/1987 |
134 |
|
|
Aplicação de Análise Multivariada a um Problema de Dosagem de Fósforo para Ovinos
|
Relatório Técnico |
|
5/1987 |
133 |
|
|
Paradigmas para Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
|
5/1987 |
132 |
|
|
A Influência da Natureza da Aplicação na Qualidade do Software
|
Relatório Técnico |
Engenharia de Software |
5/1987 |
131 |
|
|
Incorporação de Ferramentas de Apoio aos Usuários do SGBD COPPEREL
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
12/5/1987 |
0 |
|
|
Sistemas de Terminais para Transição de Dados em Veículos
|
Relatório Técnico |
Redes de Computadores |
4/1987 |
130 |
|
|
Considerações em Relação a uma Ferramenta Semi-Automática de Auxílio à Construção de Redes de Petri do Tipo Predicado-Transição
|
Relatório Técnico |
|
3/1987 |
129 |
|
|
Aplicações da Geoestatística na Cartografia Assistida por Computador
|
Relatório Técnico |
|
3/1987 |
128 |
|
|
Implementação de Compiladores PROLOG
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
31/3/1987 |
0 |
|
|
Um Ambiente de Apoio Automatizado para Desenvolvimento de Software Básico
|
Dissertação de Mestrado |
Engenharia de Software |
31/3/1987 |
0 |
|
|
Alocação de Recursos e Recuperação de Custos de um CPD Universitário
|
Dissertação de Mestrado |
Engenharia de Software |
31/3/1987 |
0 |
|
|
Metodologias para Previsão do Comportamento dos Mercados de Minério de Ferro no Contexto de uma Empresa Brasileira
|
Dissertação de Mestrado |
Otimização |
31/3/1987 |
0 |
|
|
Sistema para Geração Automática de Layout de Circuitos Integrados
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/1987 |
0 |
|
|
Avaliação de uma Arquitetura RISC para Modula-2
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/1987 |
0 |
|
|
Avaliação de Arquiteturas da Linha INTEL para Modula-2
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/1987 |
0 |
|
|
Projeto de uma Estação de Trabalho para Análise Estruturada de Sistemas
|
Dissertação de Mestrado |
Engenharia de Software |
20/3/1987 |
0 |
|
|
Projeto de Estrutura de Armazenamento em Circuito Integrado
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
16/3/1987 |
0 |
|
|
Orientações em Grafos Circulares e suas Aplicações
|
Tese de Doutorado |
|
10/3/1987 |
|
|
|
Manual para Controle da Qualidade de Especificações
|
Relatório Técnico |
Engenharia de Software |
2/1987 |
126 |
|
|
Verificação e Validação de Software na Fase de Especificação de Requisitos
|
Dissertação de Mestrado |
Engenharia de Software |
23/2/1987 |
0 |
|
|