Sem registros
|
CooMan - A Global Collaborative Project Management System
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
3/1994 |
296 |
|
|
An Algorithm for FIFO Message Delivery Among Migrating Tasks
|
Relatório Técnico |
|
3/1994 |
295 |
|
|
Métodos de Feixe Proximais para Programação Convexa
|
Relatório Técnico |
|
3/1994 |
294 |
|
|
Banco de Dados Estatísticos Orientado a Objetos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
30/3/1994 |
|
|
|
O Modelo de Integração de Ferramentas da Estação Taba
|
Tese de Doutorado |
Engenharia de Software |
25/3/1994 |
|
|
|
Um Sistema de Reutilização de Âmbito Global
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
24/3/1994 |
|
|
|
Relaxação Lagrangeana e Subgradientes com Dilatação de Espaço Aplicados a um Problema de Grande Porte
|
Dissertação de Mestrado |
Otimização |
17/3/1994 |
|
|
|
Siamplex (Sistema Interativo para Aprendizagem do Método Simplex)
|
Dissertação de Mestrado |
Otimização |
24/2/1994 |
|
|
|
Um Simulador Distribuído Baseado no Paradigma Espaço-Temporal
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
10/2/1994 |
|
|
|
LCG MORPH: Um Sistema para Morphing de Imagens
|
Relatório Técnico |
|
1/1994 |
293 |
|
|
Sobre a Coloração das Arestas de um Grafo
|
Tese de Doutorado |
Otimização |
28/1/1994 |
|
|
|
Um Novo Algoritmo Lagrangeano Hiperbólico
|
Relatório Técnico |
|
12/1993 |
292 |
|
|
CAOS - Sistemas de Composição de Aplicações Orientado a Objetos
|
Relatório Técnico |
|
12/1993 |
291 |
|
|
Solução de Problemas de Programação não Diferenciáveis via Suavização
|
Relatório Técnico |
|
12/1993 |
290 |
|
|
Uma Relaxação do Método de Nível
|
Relatório Técnico |
Otimização |
12/1993 |
289 |
|
|
Modelagem do Processo de Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
21/12/1993 |
|
|
|
Interface Homem/Máquina: A Personalização ao Atendimento do Usuário
|
Tese de Doutorado |
Informática e Sociedade |
17/12/1993 |
|
|
|
Uma Variante do Método de Decomposição de Benders
|
Dissertação de Mestrado |
Otimização |
14/12/1993 |
|
|
|
Adoção de Tecnologias de Processo no Desenvolvimento de Software: Estudo de Casos
|
Dissertação de Mestrado |
Informática e Sociedade |
26/11/1993 |
|
|
|
Hipertextos para Edição Cooperativa de Documentos
|
Relatório Técnico |
|
10/1993 |
288 |
|
|
O Problema de Coletas
|
Relatório Técnico |
Otimização |
10/1993 |
287 |
|
|
Sistemas Baseados em Conhecimento
|
Relatório Técnico |
|
10/1993 |
286 |
|
|
Investigação de Paralelismo na Migração W-X
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
27/10/1993 |
|
|
|
Estudo de Algoritmos Combinados Paralelos Assíncronos
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
22/10/1993 |
|
|
|
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 |
|
|
|
Prolog Modal de Ação e Revisão de Crenças em Conjuntos Definidos
|
Dissertação de Mestrado |
Inteligência Artificial |
1/10/1993 |
|
|
|
Uma Aplicação em Redes Semânticas Utilizando Redes Bayesianas
|
Dissertação de Mestrado |
Inteligência Artificial |
29/9/1993 |
|
|
|
Hiper-Autor: Um Ambiente para Desenvolvimento de Aplicações Hipermídia
|
Dissertação de Mestrado |
Engenharia de Software |
21/9/1993 |
|
|
|
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 |
|
|
|
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 |
|
|
|
On Some Logical Properties Related to Modularisation and Interpolation
|
Relatório Técnico |
|
7/1993 |
285 |
|
|
The Modularization Theorem for Unsorted and Many-sorted Specifications
|
Relatório Técnico |
|
7/1993 |
284 |
|
|
A Necessary Optimality Condition for Bilevel Programming Problem
|
Relatório Técnico |
|
7/1993 |
283 |
|
|
A Family of Perturbed Parallel Decomposition Methods for Variational Inequalities
|
Relatório Técnico |
|
7/1993 |
282 |
|
|
Dueto: Um Editor Cooperativo de Textos Técnicos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
19/7/1993 |
|
|
|
Revisão de Crenças em Conjuntos de Cláusulas Definidas
|
Relatório Técnico |
|
6/1993 |
281 |
|
|
Estudo Comparativo de Métodos de Minimax
|
Dissertação de Mestrado |
Otimização |
15/6/1993 |
|
|
|
Um Modelo de Objetos para o Sistema de Objetos Geotaba
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
20/5/1993 |
0 |
|
|
Avaliando a Qualidade de Sistemas de Hipertexto
|
Relatório Técnico |
|
4/1993 |
280 |
|
|
Modeladores Digitais de Terreno em Sistemas de Informação Geográfica
|
Dissertação de Mestrado |
Computação Gráfica |
26/4/1993 |
0 |
|
|
Avaliando os Parâmetros de uma Arquitetura Vliw
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
23/4/1993 |
0 |
|
|
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 |
|
|
Aspectos de Paralelismo na Gerência de Dados e Objetos no Geotaba
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
20/4/1993 |
0 |
|
|
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 |
|
|
Grafos de Intervalo: Caracterizações, Problemas e Algoritmos
|
Dissertação de Mestrado |
Inteligência Artificial |
19/4/1993 |
0 |
|
|
Geocoppe: Um Sgbd Espacial para Aplicações Geográficas
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
6/4/1993 |
0 |
|
|
Mulplix: Um Sistema Operacional Tipo Unix para Programação Paralela
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/4/1993 |
|
|
|
Alocação de Tarefas em Sistemas Distribuídos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/4/1993 |
|
|
|
Ambiente de Apoio ao Desenvolvimento e Manutenção de Software Científico
|
Dissertação de Mestrado |
Engenharia de Software |
29/4/1993 |
|
|
|
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 |
|
|
|