Publicações

Pesquisar por título ou autor:

Pesquisar:	Limpar filtros

Título
Autor
Linha de pesquisa
Tipo de publicação
Ano

Título	Tipo de publicação	Linha de pesquisa	Data	N° REG
Página 44 de 61 Total: 3040 Início Ant 39 40 41 42 43 44 45 46 47 48 Próximo Fim
Sem registros
Avaliando os Parâmetros de uma Arquitetura Vliw	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	23/4/1993	0	Visualizar
Aspectos de Paralelismo na Gerência de Dados e Objetos no Geotaba	Tese de Doutorado	Engenharia de Dados e Conhecimento	20/4/1993	0	Visualizar
Um Estudo do Processo de Difusão de Engenharia de Software: O Caso da Petrobrás	Dissertação de Mestrado	Informática e Sociedade	20/4/1993	0	Visualizar
Grafos de Intervalo: Caracterizações, Problemas e Algoritmos	Dissertação de Mestrado	Inteligência Artificial	19/4/1993	0	Visualizar
Geocoppe: Um Sgbd Espacial para Aplicações Geográficas	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	6/4/1993	0	Visualizar
Mulplix: Um Sistema Operacional Tipo Unix para Programação Paralela	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	30/4/1993		Visualizar
Alocação de Tarefas em Sistemas Distribuídos	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	30/4/1993		Visualizar
Ambiente de Apoio ao Desenvolvimento e Manutenção de Software Científico	Dissertação de Mestrado	Engenharia de Software	29/4/1993		Visualizar
Uma Ferramenta de Apoio ao Planejamento Estratégico de Informática Baseada no Enfoque de Hipertexto	Dissertação de Mestrado	Engenharia de Software	28/4/1993		Visualizar
Análise de Custo-Benefício de Arquiteturas de CLPs Tolerantes a Falhas Utilizados em Sistemas de Proteção	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	26/4/1993		Visualizar
Um Sistema Interativo Gráfico para Resolver Problemas de Otimização Combinatória	Relatório Técnico	Otimização	3/1993	279	Visualizar
Um Método Proximal em Programação Convexa não-Diferenciável	Relatório Técnico		3/1993	278	Visualizar
Notes on Interpretations of Logical Specifications	Relatório Técnico		2/1993	277	Visualizar
Properties of Default Logic and its Applications to the Formal Specification os Programs	Relatório Técnico	Inteligência Artificial	2/1993	276	Visualizar
O Enfoque Neurocomputacional para o Problema de Classificação	Relatório Técnico		2/1993	275	Visualizar
Efeito do Escalonamento Dinâmico no Desempenho de Processadores Super Escalares	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	18/2/1993	0	Visualizar
Um Estudo sobre Lógica de Múltiplos Bancos de Dados	Relatório Técnico		1/1993	274	Visualizar
Estudo de Sistemas de Polling com Tempos de Serviço Limitados	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	15/1/1993	0	Visualizar
Modelos de Desempenhabilidade e Aplicações a Sistemas de Computação	Tese de Doutorado	Arquitetura e Sistemas Operacionais	13/1/1993	0	Visualizar
Heuristics for Designing Telecommunication Networks: The P-Centralized Teleprocessing Network Design Problem	Relatório Técnico		12/1992	273	Visualizar
Uma Aplicação do Tabu Search para um Problema de Roteamento com Time-Window dentro de um Hospital	Dissertação de Mestrado	Otimização	22/12/1992	0	Visualizar
Flecha: Um Editor Gráfico Cooperativo para o Modelo de Objetos do Geotaba	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	18/12/1992	0	Visualizar
O Problema de Recobrimento: Estudo e Aplicação ao Problema de Configuração de Explotação de Campos Submarinos de Petróleo	Dissertação de Mestrado	Otimização	10/12/1992	0	Visualizar
Um Método de Aprendizado para Redes Neuronais Analógicas de Hopfield com Aplicação à Compctação de Imagens	Dissertação de Mestrado	Inteligência Artificial	8/12/1992	0	Visualizar
Um Simulador Distribuído Baseado no Paradigma de Eventos Condicionais	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	4/12/1992	0	Visualizar
O Paradigma de Hipertexto e o Processo de Ensino/Aprendizagem: Uma Relação Promissora	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	2/12/1992	0	Visualizar
Taxonomia de Ambientes de Desenvolvimento de Software e a Estação TABA	Relatório Técnico	Engenharia de Software	11/1992	272	Visualizar
Ambientes de Desenvolvimento de Software	Relatório Técnico	Engenharia de Software	11/1992	271	Visualizar
Avaliação de Métodos para Desenvolvimento de Software	Relatório Técnico	Engenharia de Software	10/1992	270	Visualizar
Problemas Separadores para Grafos de Caminho	Dissertação de Mestrado	Algoritmos e Combinatória	22/10/1992	0	Visualizar
Mano: Linguagem de Manipulação de Objetos do Protogeo e seu Processador	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	22/10/1992	0	Visualizar
On the Choice of Step-Size and Theoretical Convergence Results for Subgradient Optimization	Relatório Técnico		9/1992	269	Visualizar
Column-Generation in Linear Programming with Bounding Variable Constraints and its Application in Integer Programming	Relatório Técnico		9/1992	268	Visualizar
Algoritmos Paralelos para Casamento de Cadeias	Dissertação de Mestrado	Inteligência Artificial	28/9/1992	0	Visualizar
Representação do Conhecimento em Sistemas Conexionistas: Tópicos em Análise	Dissertação de Mestrado	Inteligência Artificial	15/9/1992	0	Visualizar
Um Mecanismo de Reexecução Determinística de Programas Paralelos	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	9/9/1992	0	Visualizar
Sobre Grafos Cliques-Completos	Tese de Doutorado	Inteligência Artificial	11/9/1992		Visualizar
Idealização de Parâmetros e um Algoritmo Parametrizado de Barreira Logarítmica	Tese de Doutorado	Otimização	11/9/1992		Visualizar
Algoritmos Paralelos para Problemas em Grafos	Tese de Doutorado	Inteligência Artificial	8/9/1992		Visualizar
Simulação Distribuída em um Hipercubo de Transputers com o Mecanismo Time Warp	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	10/8/1992	0	Visualizar
Modelos Paralelos de Algoritmos Genéticos no Aprendizado de Redes Neuronais Artificiais	Tese de Doutorado	Inteligência Artificial	26/8/1992		Visualizar
Controle da Qualidade de Software Financeiro	Relatório Técnico	Engenharia de Software	7/1992	266	Visualizar
Características de Qualidade de Programas	Relatório Técnico	Engenharia de Software	7/1992	265	Visualizar
Controle da Qualidade de Software Financeiro	Dissertação de Mestrado	Engenharia de Software	8/7/1992	0	Visualizar
Uma Estratégia para Construção de Representações BRep de Sólidos CSG	Dissertação de Mestrado	Computação Gráfica	6/7/1992	0	Visualizar
Propriedades da Lógica de Defaults e suas Aplicações à Especificação Formal de Programas	Dissertação de Mestrado	Inteligência Artificial	3/7/1992	0	Visualizar
Introdução de Inovações Tecnológicas de Base Microeletrônica no Setor Metal-Mecânico da Indústria	Relatório Técnico		6/1992	264	Visualizar
Associative Dispatch of Multiple Instruccions: Study of is Effectiveness	Relatório Técnico	Arquitetura e Sistemas Operacionais	6/1992	263	Visualizar
Sistemas Alternativos de Informação: Um Estudo de Caso do IBASE	Relatório Técnico		6/1992	262	Visualizar
Aproximação Linear por Partes de Sólidos Csg Através de Subdivisão Simplicial Adaptativa	Dissertação de Mestrado	Computação Gráfica	16/6/1992	0	Visualizar

Topo

Publicações do PESC

Menu principal