Publicações

Título	Tipo de publicação	Linha de pesquisa	Data	N° REG
Página 44 de 62 Total: 3059 Início Ant 39 40 41 42 43 44 45 46 47 48 Próximo Fim
Sem registros
Investigação de Paralelismo na Migração W-X	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	27/10/1993		Visualizar
Estudo de Algoritmos Combinados Paralelos Assíncronos	Tese de Doutorado	Arquitetura e Sistemas Operacionais	22/10/1993		Visualizar
Desenvolvimento de Programas por Composição de Implementações Utilizando Lógica Clássica e Lógica Default	Dissertação de Mestrado	Inteligência Artificial	18/10/1993		Visualizar
Prolog Modal de Ação e Revisão de Crenças em Conjuntos Definidos	Dissertação de Mestrado	Inteligência Artificial	1/10/1993		Visualizar
Uma Aplicação em Redes Semânticas Utilizando Redes Bayesianas	Dissertação de Mestrado	Inteligência Artificial	29/9/1993		Visualizar
Hiper-Autor: Um Ambiente para Desenvolvimento de Aplicações Hipermídia	Dissertação de Mestrado	Engenharia de Software	21/9/1993		Visualizar
Testes de Redução e Heurísticas Add/Drop para o Problema de Localização Capacitado	Dissertação de Mestrado	Otimização	30/8/1993		Visualizar
Efeito da Predição de Desvios e da Interrupção Precisa no Desempenho de Processadores Super Escalares	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	4/8/1993		Visualizar
On Some Logical Properties Related to Modularisation and Interpolation	Relatório Técnico		7/1993	285	Visualizar
The Modularization Theorem for Unsorted and Many-sorted Specifications	Relatório Técnico		7/1993	284	Visualizar
A Necessary Optimality Condition for Bilevel Programming Problem	Relatório Técnico		7/1993	283	Visualizar
A Family of Perturbed Parallel Decomposition Methods for Variational Inequalities	Relatório Técnico		7/1993	282	Visualizar
Dueto: Um Editor Cooperativo de Textos Técnicos	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	19/7/1993		Visualizar
Revisão de Crenças em Conjuntos de Cláusulas Definidas	Relatório Técnico		6/1993	281	Visualizar
Estudo Comparativo de Métodos de Minimax	Dissertação de Mestrado	Otimização	15/6/1993		Visualizar
Um Modelo de Objetos para o Sistema de Objetos Geotaba	Tese de Doutorado	Engenharia de Dados e Conhecimento	20/5/1993	0	Visualizar
Avaliando a Qualidade de Sistemas de Hipertexto	Relatório Técnico		4/1993	280	Visualizar
Modeladores Digitais de Terreno em Sistemas de Informação Geográfica	Dissertação de Mestrado	Computação Gráfica	26/4/1993	0	Visualizar
Avaliando os Parâmetros de uma Arquitetura Vliw	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	23/4/1993	0	Visualizar
Um Estudo da Viabilidade de Redes Neurais na Solução do Problema de Decodificação Binária	Dissertação de Mestrado	Inteligência Artificial	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

Avenida Horácio Macedo 2030, Centro de Tecnologia, Bloco H, sala 319
Cidade Universitária - CEP: 21941-914

Correspondências: Caixa postal: 68511 - CEP: 21941-972

Rio de Janeiro - RJ - Brasil

Telefones: +55 21 3938-8672 / +55 21 3938-8673 - Fax: +55 21 3938-8676

Horário de atendimento da Secretaria: 2ª a 6ª de 7:00 às 16:00 horas (exceto feriados escolares)

Pesquisar:	Limpar filtros

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

Publicações do PESC

Menu principal