|
Sem registros
|
|
Classes de Grafos Clique-Inversos
|
Tese de Doutorado |
Algoritmos e Combinatória |
16/12/1998 |
0 |
|
|
|
Avaliação da Confiabilidade Composta de Sistemas de Potência em Ambientes Computacionais Paralelos e Distribuídos
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
15/12/1998 |
0 |
|
|
|
Integração de Bases de Dados Geográficos Heterogênea e Distribuídas
|
Tese de Doutorado |
Engenharia de Dados e Conhecimento |
14/12/1998 |
0 |
|
|
|
Integração de Conhecimento em um Ambiente de Desenvolvimento de Software
|
Tese de Doutorado |
Engenharia de Software |
7/12/1998 |
0 |
|
|
|
Em Direção a um Modelo de Custos de Desenvolvimento de Software Orientado a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
21/12/1998 |
|
|
|
|
Software de Comunicação para Sistemas de Memória Compartilhada Distribuída
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
18/12/1998 |
|
|
|
|
Aspectos de Gerência de Objetos Persistente: A Implementação do GOA++
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
15/12/1998 |
|
|
|
|
Stable Semantics for Logic Programming: A Belief Revision Approach
|
Relatório Técnico |
|
11/1998 |
485 |
|
|
|
e-Enlargements of Maximal Monotone Operators in Banch Spaces
|
Relatório Técnico |
|
11/1998 |
484 |
|
|
|
Ambiente de Desenvolvimento de Software Orientado ao Domínio
|
Relatório Técnico |
Engenharia de Software |
11/1998 |
483 |
|
|
|
Problemas de Sequenciamento em Máquinas Paralelas
|
Dissertação de Mestrado |
Otimização |
30/11/1998 |
|
|
|
|
Abordagem Integrada para Modelagem Computacional de Percepção Visual
|
Dissertação de Mestrado |
Inteligência Artificial |
27/11/1998 |
|
|
|
|
Um Algoritmo de Planos Secantes com Centros Analíticos para Problemas de Programação Convexa Suave: Aspectos Computacionais
|
Dissertação de Mestrado |
Otimização |
5/11/1998 |
|
|
|
|
Uma Proposta de Sistemática para Aquisição de Conhecimento no Contexto de Análise de Domínio
|
Dissertação de Mestrado |
Engenharia de Software |
4/11/1998 |
|
|
|
|
NWCache: Optimizing Disk Accesses via an Optical Network/Write Cache Hybrid
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
10/1998 |
482 |
|
|
|
Evaluating the Impact of the Programming Model on the Performance and Complexity of Software DSM Systems
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
10/1998 |
481 |
|
|
|
A Note on a Modified Simplex Approach for Solving Bilevel Linear Programming Problems
|
Relatório Técnico |
|
10/1998 |
480 |
|
|
|
An Analysis of the Bilevel Linear Problem by a Penalty Approach
|
Relatório Técnico |
|
10/1998 |
479 |
|
|
|
Sala de Aula Virtual Cooperativa
|
Dissertação de Mestrado |
Informática e Sociedade |
26/10/1998 |
|
|
|
|
Performance Comparison between Conventional and Logic Programming Systems
|
Relatório Técnico |
|
9/1998 |
478 |
|
|
|
The Influence of Parallel Computer Architectural Parameters on Parallel Logic Programming Systems
|
Relatório Técnico |
|
9/1998 |
477 |
|
|
|
Welldefinedness and Limiting Behavior of the Central Path
|
Relatório Técnico |
|
9/1998 |
476 |
|
|
|
Algoritmos de Centros para a Programação Convexa não Suave
|
Tese de Doutorado |
Otimização |
29/9/1998 |
0 |
|
|
|
Prova de Teoremas Utilizando Simplificação por Eliminação de Literais
|
Tese de Doutorado |
Inteligência Artificial |
29/9/1998 |
0 |
|
|
|
A Técnica Lock Acquirer Prediction e sua Aplicação em Sistemas de Memória Compartilhada Distribuída
|
Tese de Doutorado |
Arquitetura e Sistemas Operacionais |
25/9/1998 |
0 |
|
|
|
Femina Computationalis ou A Construção do Gênero na Informática
|
Tese de Doutorado |
Informática e Sociedade |
25/9/1998 |
0 |
|
|
|
Relaxação Lagrangeana com Geração de Desigualdades Válidas Aplicada ao Problema de Roteamento de Veículos
|
Tese de Doutorado |
Otimização |
14/9/1998 |
0 |
|
|
|
Otimizando o Controle de Concorrência em Sistemas Orientados a Objetos
|
Relatório Técnico |
Engenharia de Software |
8/1998 |
475 |
|
|
|
Base and Program Revision
|
Relatório Técnico |
|
8/1998 |
474 |
|
|
|
On the Central Path for Semidefinite Programming
|
Relatório Técnico |
|
8/1998 |
473 |
|
|
|
Um Algoritmo de Ponto Interior-Inviável com Complexidade O[sqrt(n)L] Iterações para Programação Linear
|
Tese de Doutorado |
Otimização |
7/8/1998 |
0 |
|
|
|
Um Algoritmo de Planos de Corte Baseado em Centros para um Problema de Estimativa de Máxima Verossimilhança
|
Tese de Doutorado |
Otimização |
7/8/1998 |
0 |
|
|
|
Alguns Resultados em Invariantes de não Planaridade em Grafos: Uma Abordagem Estrutural e de Complexidade
|
Tese de Doutorado |
Algoritmos e Combinatória |
4/8/1998 |
0 |
|
|
|
Mineração de Dados: Uma Implementação Fortemente Acoplada a um Sistema Gerenciador de Banco de Dados Paralelos
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
12/8/1998 |
|
|
|
|
Aplicação Simultânea de Princípios, Diretrizes e Métricas para Redução da Complexidade de Projeto Orientado a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
10/8/1998 |
|
|
|
|
O Meta-Gerador de Ferramentas da Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
7/8/1998 |
|
|
|
|
Detecção de Deadlock em Especificações Algébricas para Sistemas Concorrentes
|
Dissertação de Mestrado |
Inteligência Artificial |
3/8/1998 |
|
|
|
|
A Graph-Theoretic Characterization of AND-OR Deadlocks
|
Relatório Técnico |
|
7/1998 |
472 |
|
|
|
Sistemas de Consulta Visual: Uma Abordagem Visando a Descrição, Avaliação e Classificação de Sistemas Existentes
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
7/1998 |
471 |
|
|
|
Programas Normais e o Aprendizado de Múltiplos Predicados em Programação em Lógica Indutiva
|
Dissertação de Mestrado |
Inteligência Artificial |
20/7/1998 |
|
|
|
|
Automatização do Processo de Desenvolvimento de Software nos Ambientes Instanciados pela Estação TABA
|
Dissertação de Mestrado |
Engenharia de Software |
14/7/1998 |
|
|
|
|
COPSE - Um Ambiente de Suporte ao Projeto Cooperativo de Software
|
Dissertação de Mestrado |
Engenharia de Software |
13/7/1998 |
|
|
|
|
A Proximal Point Method for the Variational Inequality Problem in Banach Spaces
|
Relatório Técnico |
|
6/1998 |
470 |
|
|
|
Revisão de Crenças Aplicada a Programas em Lógica
|
Dissertação de Mestrado |
Inteligência Artificial |
5/6/1998 |
|
|
|
|
Representing Belief Revision Through Default Theories
|
Relatório Técnico |
|
5/1998 |
469 |
|
|
|
Ferramentas de Manipulação Nebulosa de Dados com Aplicação em Sistemas de Informação Geográfica
|
Dissertação de Mestrado |
Engenharia de Dados e Conhecimento |
29/5/1998 |
0 |
|
|
|
Uma Contribuição na Determinação de Rotas para Empresas de Entrega Expressa
|
Dissertação de Mestrado |
Otimização |
27/5/1998 |
|
|
|
|
Abordagem para Apoio ao Teste Baseado no Comportamento de Sistemas Orientados a Objetos
|
Dissertação de Mestrado |
Engenharia de Software |
27/5/1998 |
|
|
|
|
Contribuições para a Solução do Problema do Caixeiro Viajante Assimétrico
|
Dissertação de Mestrado |
Otimização |
22/5/1998 |
|
|
|
|
Modal Logics for Finite Graphs
|
Relatório Técnico |
|
4/1998 |
468 |
|
|
