Programa de Pós-Graduação em Ciência da Computação - Teses e Dissertações - PUCRS

Programa de Pós-Graduação em Ciência da Computação

Relatórios técnicos

2011

TR 66 Fernandes, P.; O'Kelly, M.E.J.; Papadopoulos, C.T.; Sales, A., "Modeling Exponential Reliable Production Lines using Kronecker Descriptors". PDF

TR 65 Matheus Moreira, Bruno Oliveira,Julian Pontes, Ney Calazans. "Automated versus Manual Design of Asynchronous Circuits in DSM Technologies".PDF

TR 64 Griebler, Dalvan; Fernandes, Luiz Gustavo Leão. , "Padrões e Frameworks de Programação Paralela em Arquiteturas Multi-Core".PDF
 

2010

TR 63 Leandro Costa, Elder Rodrigues, Filipi Teixeira Vilmar Consul, Jean Schmidt, Avelino Zorzo, "Testes de Midleware para Sistema de Agência de Viagens".PDF

TR 62 Lucelene Lopes.; Renata Vieira,  "Building Domain Specific Corpora in Portuguese Language". PDF

TR 61 Czekster, Ricardo M.; Fernandes, Paulo; Sales, Afonso; Webber, Thais "Performance Analysis of Global Software Development Teams using a Structured Stochastic Modeling Formalism". PDF

TR 60 Taciano Perez, César A. F. De Rose, "Non-Volatile Memory: Emerging Technologies And Their Impacts on Memory Systems". PDF

TR 59  - Rafael A. Glanzner, Rafael Prikladnicki, Jorge L. N. Audy, "Classificando organizações de Desenvolvimento Distribuído de Software no modelo de capacidade WAVE". PDF

TR 58 - Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; "Applying tensor term permutations to improve the numerical solution of structured Markovian models". PDF

TR 57 - Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; "Efficient Vector-Descriptor Product Exploiting Time-Memory Trade-offs. PDF
 

2009

TR056 - Lopes, Lucelene; Vieira, Renata; "Aprendizagem de Ontologias a partir de Textos" PDF

TR 055 - Dotti, F. L., "An approach for the formal development of fault-tolerant systems using CSP" PDF  

TR 054 - Lopes, Lucelene; Vieira, Renata; "ExATOlp - Extrator Automático de Termos para Ontologias em Língua Portuguesa" PDF .

TR 053 - Lopes, Lucelene; Oliveira, M. H. L.; Vieira, Renata; "Análise Comparativa de Métodos de Extração de Termos: Abordagens Linguística Estatística" PDF.

 

2006

TR 052 - Czekster, R. M.; Fernandes, P.; Webber, T; "The Hybrid Algorithm to Vector-Descriptor Product" PDF.

2005

TR 051 - Carara, E. A.; Moraes, F.G. MPSoC-H - Implementação e Avaliação de Sistema MPSoC Utilizando a Rede Hermes PDF.

TR 050 - Bastos, E. N. F.; Socool, C.; Calazans, N. L. V, Projeto e Implementação da Arquitetura de Comunicação MERCURY: uma NoC intra-chip com topologia toro, filas centrais compartilhadas e modo de chaveamento virtual-cut-through. PDF

TR 049 - Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Multilevel Load Balancing in NUMA Computers. PDF

TR 048 - Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Performance Evaluation of a Multilevel Load Balancing Algorithm. PDF.

TR 047 - Fernandes, P.; Presotto, R.; Sales, A.; Webber, T, An Alternative Algorithm to Multiply a Vector by a Kronecker Represented Descriptor. PDF.

TR 046 - Chanin, R.; Corrêa M.; Fernandes P.; Sales, A.; Scheer, r.; Zorzo, A, Analytical Modeling for Operating System Schedules on NUMA Systms. PDF.

TR 045 - Lopes, E. C; Bins, J. C, Detectação de Faces e Características Faciais. PDF


2004

TR 044 - Lopes, E. C; Bins, J. C, Estudo de Técnicas Computacionais para o Reconhecimento de Faces. PDF

TR 043 - Duarte, L. M; Dotti, F. L., Development of An Active Network Architecture Using Mobile Agents - A Case Study. PDF

TR 042 - Carvalho, E; Möller, F; Moraes, F. G; Calazans N., Design Frameworks Configuration Controllers for Dynamic And Partial Reconfiguration. PDF.

TR 041 - Redolfi, G; Spagnoli, L. A; Bastos, R. M; Cristal, M; Espindola, A., P., Especificando Informações para Componentes Reutilizáveis. PDF

TR 040 - Mello, A. V; Ost, L. C; Calazans, N. L; Moraes, F. G., Evaluation of Routing Algorithms in Mesh Based NoCs. PDF.

TR 039 - Baldo, L.; Fernandes, L. G; Roisenberg, P; Velho, P.; Weber, T., Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks. PDF.


2003

TR 038 - Brenner, L.; Sales, A; Webber, T; Fernandes, P. , A Framework to Decompose GSPN models. PDF

TR 037 - Brenner, L.; Sales, A; Fernandes, P., Why you should care about Generalized Tensor Algebra. PDF

TR 036 - Calazans, N. L. V.; Ide, A. N.; Moreno, E. I.; Rodolfo, T. A.; Moraes, F. G., Tutorial e Diretivas para Captura de Projeto, Validação e Prototipação de Módulos de Harware Descritos em SystemC. PDF

TR 035 - Möller, L. H., Moraes, F. G., Calazans, N. L. V.,Ferramentas de Configuração Parcial, Remota e Dinâmica de FPGAs Virtex. PDF

TR 034 - Moraes, F. G.; Calazans, N. L. V.; Mello, A. V.; Möller, L. H.; Ost, L. C., HERMES: an Insfrastructure for Low Area Overhead Packet-switching Networks on Chip. PDF.

TR 033 - Brião, E. W.; Calazans, N. L. V., Tutoriais Sobre Reconfiguração Parcial e Dinâmica usando o Fluxo do Projeto Modular sobre a Plataforma Insight V2MB1000. PDF

TR 032 - Nunes, M. P.; Giraffa, L. M. M., A Educação na Ecologia Digital. PDF.

TR 031 - Bittencourt, J. R.; Giraffa, L. M. M., A Utilização dos Role-Playing Games Digitais no Processo de Ensino-Aprendizagem. PDF

TR 030 - Brenner, L.; Sales, A.; Fernandes, P., MQNA - Markovian Queueing Networks Analyser. PDF

TR 029 - Marczak, S.S.; Giraffa, L. M. M., A Gerência de Informação em Ambientes de Ensino a Distância: Um Estudo Comparativo. PDF.

TR 028 - Marczak, S.S.; Giraffa, L. M. M., Ambientes Inteligentes para Suporte ao Ensino de Programação. PDF.

TR 027 - Cunha, L.S.; Giraffa, L. M. M., Unreal Script Language Syntax. PDF

TR 026 - Spagnoli, L.; Becker, K., Um Estudo Sobre o Desenvolvimento Baseado em Componentes. PDF.


2002

TR 025 - Brenner, L.; Fernandes, P.; Alegretti, C. G. P. Redes de Autômatos Estocásticos: Um Formalismo para Avaliação de Desempenho e Confiabilidade de Sistemas. PDF

TR 024 - Giraffa, L. M. M.; Bolzan, W., Estudo Comparativo Sobre Sistemas Tutores Inteligentes Multiagentes WEB. PDF

TR 023 - Farina, A. G.; Oliveira, F. M. de. A Comparison between Usage Modeling Formalisms for Statistical Software Testing. PDF.

TR 022 - Zorzo, A. F.; Cassol, L. A.; Nodari, A. L.; Oliveira, L. A.; Morais, L. R., Long Term Scheduler for Real Time Industrial Installations. PDF

 

2001

TR 021 - Gasperin, C. V.; Lima, V. L. S. Fundamentos do Processamento Estatístico da Linguagem Natural. PDF

TR 019 - Giraffa, L. M. M. Modelling and implementing educational environments using an interdisciplinary approach. PDF.

TR 018 - Zamberlam, A. O.; Goulart, R. R. V.; Móra, M. C.; Giraffa, L. M. M. Manual do X-BDI. PDF

TR 017 - Cunha, L. S.; Giraffa, L. M. M. Um estudo sobre o uso de agentes em Jogos Computadorizados Interativos. PDF.

TR 016 - Duarte, L. M.; Dotti, F. L. Estudo de Linguagens de Programação com Suporte à Mobilidade de Código.PDF

TR 015 - Duarte, L. M.; Dotti, F. L. Uma Análise de Lingugens de Especificação para Sistemas Distribuídos. PDF

TR 014 - Juchem, M.; Bastos, R. M. Engenharia de Sistemas Multiagentes: Uma investigação sobre o estado da arte. PDF

TR 013 - Juchem, M.; Bastos, R. M. Arquiteturas de Agentes. PDF.

TR 011 - Goulart, R. R. V.; Giraffa, L. M. M. Arquiteturas de Sistemas Tutores Inteligentes. PDF

TR 010 - Bezerra, E. A.; Vargas, F.; Gough, M. P. Improving Reconfigurable Systems Reliability by Combining Periodical Testing Redundancy Techniques: A Case Study. PDF.

TR 009 - Zamberlan, A. O.; Giraffa, L. M. M.; Mora, M. C. X-BDI: uma ferramenta para programação de agentes BDI. PDF

TR 008 - Zamberlan, A. O.; Giraffa, L. M. M. Modelagem de agentes utilizando a arquitetura BDI. PDF


2000

TR 007 - Oliveira, J.B.; Santa Maria, I. Effective reduction of arithmetical expressions. PDF

TR 006 - Moraes, I.; Zorzo, A. F. Uma arquitetura genérica para aplicações colaborativas. PDF

TR 005 - Boff, E.; Giraffa, L.M.M. Uma proposta metodológica para construção de um ambiente de ensino-aprendizagem cooperativo. PDF

TR 004 - Fernandes, P.; Plateau, B. Modeling Finite Capacity Queueing Networks with Stochastic Automata Networks. PDF

TR 003 - Bezerra, E.; Gough, M. P. A Guide to Migrating from Microprocessor to FPGA Coping with the Support Tool Limitations. PDF

TR 002 - Moraes, F.G.; Ferreira, E.H.; Calazans, N.L.V. Implementação de uma arquitetura load/store em um ambiente de prototipação. PDF

TR 001 - Zorzo, A.F.; Randell, B. Towards a formal specification of dependable multiparty interactions.PDF