Mestrado em Ciência da Computação.: Recent submissions

  • Análise de desempenho de soluções para armazenamento estável de dados. 
    http://lattes.cnpq.br/2645697837669039; PASSOS, Erick Baptista. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-07-29)
    Fault tolerant applications often need to stabilize data in order to provide dependable computation. Ideas for services for data stabilizing abound, for example: synchronous operations on magnetic disks, data replication ...
  • Guardando históricos de dimensões em data warehouses. 
    ROCHA, André Barbosa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-29)
    One of the most important patrimony of an organization is its information. This patrimony is nearly always kept in the form of operational systems, or production systems. Broadly speaking, a production system works on ...
  • Escalonamento tolerante a sabotagem em grades computacionais entre-pares. 
    OLIVEIRA, A. C. A.; http://lattes.cnpq.br/1492085481698131; OLIVEIRA, Ana Cristina Alves de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-08-31)
    The computational grids are infrastructures to agregate computing power. They evolved in the sense of forming free-to-join communities over the Internet and won the title of peer-to-peer (P2P) grids. It is important to ...
  • Serviço CORBA de diagnóstico de falhas (SDF). 
    BATALHA, M. S. G.; http://lattes.cnpq.br/2274155965398680; BATALHA, Marcela Santana Guimarães. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-10-25)
    In distributed systems, process or communication channel failures, if not properly treated, may result in the complete interruption of applications and, therefore, the related services. In general, the failure treatment, ...
  • Avaliação de desempenho em redes locais brasileiras. 
    CELESTINO JÚNIOR, J.; http://lattes.cnpq.br/2855716620920623; CELESTINO JÚNIOR, Joaquim. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-02-16)
    This dissertation presents a methodology for performance evaluation in local networks. The importance of the local network performance measurement technique is made explicit. An overview of the difficulty in defining a ...
  • Descrição formal da estrutura do modelo orientado a objetos temporal - TOM (Temporal Object Model). 
    DAVID, M. B.; http://lattes.cnpq.br/8853088318435387; DAVID, Marcos Bastos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-02-19)
    Increasing complexity in new database applications (CAD / CAM, multimedia office information systems, knowledge-based systems, CASE, etc.) requires greater care to maintain the integrity of the complex data structures to ...
  • LIDIA - uma linguagem para desenvolvimento de sistemas especialistas com tratamento de incertezas: projeto e implementação parcial. 
    FERREIRA JÚNIOR, J. U.; http://lattes.cnpq.br/8049316925738931; FERREIRA JÚNIOR, José Ulisses. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-06-08)
  • Projeto e implementação de um sistema transformador de programas FORTRAN. 
    MEDEIROS, C. L. G.; http://lattes.cnpq.br/2279951230889199; MEDEIROS, Camilo de Lelis Gondim. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1986-01-17)
    This paper discusses several aspects concerning the portability of FORTRAN programs (with emphasis on Numerical Analysis subprograms) and the applicability of Transformational Systems as a support tool for software ...
  • CASTOR: uma técnica de verificação de conformidade para arquiteturas de software baseada em componentes. 
    SILVA JUNIOR, R. D.; http://lattes.cnpq.br/2466562214289092; SILVA JÚNIOR, Rogério Dourado. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-02-10)
    Software plays a critical role in almost every facet of our daily life. While complexity and size are increased by new features and advanced software requirements, the pressure is higher than ever to reduce the time ...
  • O uso de semântica na melhoria dos métodos indutivos de aquisição automática de conhecimento. 
    CIRNE FILHO, W. C.; http://lattes.cnpq.br/5908699791494075; CIRNE FILHO, Walfredo da Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-12-02)
    In this paper, we investigate how using expert-acquired semantics can improve the quality of responses provided by induction-based automatic learning algorithms. Initially we show how to introduce the use of semantics in ...
  • Reconstrução e visualização de objetos 3-D. 
    PINHEIRO, Z. B.; PINHEIRO, Zairton Bastos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-07-14)
    This is a modeling system capable of producing a tridimentional model (based on octree), using image sequences of sections of are object. Originally, the system was developed for tomograph images. Its main contribuition ...
  • Mapeamento do modelo semântico de dados THM para o modelo relacional. 
    CUNHA, J. F.; http://lattes.cnpq.br/0258276234729443; CUNHA, Joseluce de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-03-14)
    All semantic modeling effort is wasted if it stays at the conceptual level without being passed to the operational level. The purpose of this paper is to explore the Temporal-Hierarchical Semantic Data Model (THM) and ...
  • Sistema de auxílio à decisão para liberação de manobras em linhas de transmissão utilizando técnicas de inteligência artificial. 
    FIGUEIREDO, J. C. A.; http://lattes.cnpq.br/1424808046858622; FIGUEIREDO, Jorge Cesar Abrantes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1989-12-22)
    This work proposes the structure of an expert system applied to process operation. The use of Artificial Intelligence techniques in process operation is discussed, as well as methods of knowledge representation and treatment ...
  • SIM/SAVAD: um simulador de modelos de redes de filas. 
    CONCEIÇÃO FILHO, H. C.; CONCEIÇÃO FILHO, Haroldo Castro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-12-21)
    This dissertation introduces SIM / SAVAD, a queue network model simulator that can represent a wide variety of systems that feature resource contention. Examples are: computer systems, computer networks, manufacturing, and ...
  • Compressão/descompressão de dados: uma variação do algoritmo LZW. 
    BRASILEIRO, F. V.; http://lattes.cnpq.br/5957855817378897; BRASILEIRO, Francisco Vilar. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1989-04-24)
    A one-step compression algorithm that exploits reference locality is described, such as occurs when patterns are often used in a particular portion of messages or files and then fall into disuse. The algorithm is a ...
  • Técnicas de transformação de programas fontes: estudo e aplicação na transformação de programas FORTRAN-66 para FORTRAN-77. 
    SILVA, F. A. C.; http://lattes.cnpq.br/8066864989062969; SILVA, Francisco de Assis da Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-04-15)
    In this paper a review is initially made and then the feasibility of applying various techniques of transforming source programs in the conversion of programs written in FORTRAN-BB to equivalent programs in FORTRAN-77 is ...
  • Aprend: um sistema de aquisição automática de conhecimento a partir de exemplos. 
    GOMES, F. A. C.; http://lattes.cnpq.br/1939983618921649; GOMES, Fernando Antonio de Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1989-04-24)
    The major barrier to building expert systems is the knowledge acquisition problem. This work presents the development of the APREND system. The system is a tool for automatic knowledge acquisition. It uses examples as input ...
  • Resolução de sistemas de equações lineares de grande porte utilizando processamento paralelo. 
    OLIVEIRA, J. G. S.; http://lattes.cnpq.br/5655731740243271; OLIVEIRA, Jean Gonzaga Souza de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-01-29)
    The problem of solving a set of linear algebraic equations is one of the central problems in computational mathematics and computer science. Excellent algorithms for this class of problems on single processor systems ...
  • Uma abordagem heurística para a otimização semântica de consultas a bancos de dados dedutivos. 
    BICALHO, J. A. N.; BICALHO, José Alexandre Novaes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-03)
    This paper presents the design and implementation of a semantic query optimizer developed in Prolog for deductive databases. It uses semantic information expressed in the form of integrity constraints, which, analyzed ...
  • UNIFIC: uma API para a unificação da programação entre diferentes GUIs. 
    SILVA, L. G.; SILVA, Lílian Gibson. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-12)
    Nowadays, a problem that must be solved by designers of Grafical User Inferface (GUI) applications is their portability to different graphical environments. This work presents the specification, implementation and tutorial ...

Buscar DSpace


Busca avançada

Navegar

Minha conta