TR 089 Kin Max Piamolini Gusmão, Felipe Rech Meneguzzi “PLANNING AND GOAL RECOGNITION WITH SAT-BASED APPROACHES: A SURVEY”. PDF
TR 088 Vanessa de Moura Bartoski, César Augusto Missio Marcon “ANÁLISE COMPARATIVA DE ALGORITMOS DE MACHINE LEARNING NA DETECÇÃO DE QUEDAS”. PDF
TR 087 Leandro Ripoll Saldanha, Avelino Francisco Zorzo “SECURITY REQUIREMENTS IN AGILE SOFTWARE DEVELOPMENT: A SYSTEMATIC MAPPING STUDY”. PDF
TR 086 Aline Zanin, Avelino Francisco Zorzo, Henry Cabral Nunes “AN EXAMPLE OF AQUILA USAGE: A DSL FOR MODEL BASED TESTING IN AGILE ENVIRONMENTS”. PDF
TR 085 Alessandra C. S. Dutra,Azriel Majdenbaum, Cássio A. W. Trindade, Daniel A. Callegari, Marcelo Yamaguti “Percepção da Contribuição da AGES para o Aprendizado em Engenharia de Software”. PDF
TR 084 Daniel Dalalana Bertoglio, Avelino Francisco Zorzo, “Um Mapeamento Sistemático sobre Testes de Penetração”. PDF
TR 083 Matheus T. Moreira, Leandro S. Heck, Guilherme Heck, Matheus Gibiluka, Ney L. V. Calazans, Fernando G. Moraes, “The YeAH NoC Router”. PDF
TR 082 Isaque Vacari, Rafael Prikladnicki, “Desenvolvimento de Software na Administração Pública: Uma Revisão Sistemática da Literatura.”. PDF
TR 081 Filipe Denaur de Moraes, Daniel Antonio Callegari, “Automated Detection of Interictal Spikes in EEG: A literature review”. PDF
TR 080 Thais Webber, Adelcio Biazi, Thomas Volpato de Oliveira,Matheus Senna de Oliveira, Plauto de Abreu Neto, Letícia B. Poehls, César Marcon, “Localization Heuristic in Mobile Wireless Networks”. PDF
TR 079 Fauzi de Moraes Shubeita, Thais Webber, Ramon Fernandes, César Marcon, Letícia Bolzani Poehls, “Um Estudo sobre Monitoramento e Controle de Biodigestores de Pequena Escala”. PDF
TR 078 Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone “Recovery in Parallel State-Machine Replication“. PDF
TR 077 Matheus Trevisan Moreira, Ney Laert Vilar Calazans, “Proposal of an Exploration of Asynchronous Circuits Templates and their Applications“. PDF
TR 076 Rasha Ghassan Hasan, Odorico Machado Mendizabal, Fernando Luís Dotti, “Hybrid Synchrony Virtual Networks: Definition and Embedding“. PDF
TR 075 Matheus Moreira, Felipe Magalhães, Matheus Gibiluka, Fabiano P. Hessel and Ney Laert V. Calazans, “Power-Efficient Clockless Intrachip Communication Design with an Integrated High to Low Level Flow based on the Balsa Framework“. PDF
TR 074 Lucelene Lopes and Rebata Vieira, ” Construção automática de hierarquias de conceitos a partir de corpus: Abordagens existentes e suas limitações”. PDF
TR 073 Luis Carlos Jersak, Adriana Cassia da Costa, and Daniel Antonio Callegari, “A Systematic Review on Mobile Health Care”. PDF
TR 072 Alberto C. S. Wondracek, Fernando L. Dotti, “Tradução de Modelos Redes de Autômatos Estocásticos
para a Linguagem do NuSMV”. PDF
TR 071 Thais Webber, César Marcon, Leonardo A. Amaral, Rubem D. R. Fagundes, Letícia B. Poehls, “Pervasive Computing Integration on Healthcare Environments”. PDF
TR 070 Vinicius Bohrer, Ramon Fernandes, Thais Webber, César Marcon, “WiNeS – A Flexible Framework for Wireless Network Description and Simulation”. PDF
TR 069 Elder M. Rodrigues, Avelino F. Zorzo, Itana M. Gimenez Elisa Y. Nakagawa, Flávio M. Oliveira, José C. Maldonado, “A Software Product Line for Model-Based Testing Tools”. PDF
TR 068 Lucas Hilgert, Fabio Calefato, Fillipo Lanubile, Rafael Prikladnicki, Renata Vieira, Maria José Finatto, Susana Termignoni, “Real-Time Machine Translation for Software Development Teams”. PDF
TR 067 Andre Takeshi Endo , Maicon Bernardino da Silveira, Elder Macedo Rodrigues, Adenilso Simao , Flavio Moreira de Oliveira, Avelino Francisco Zorzo, “Using models to test web service-oriented applications: an experience report”. PDF
TR 066 Fernandes, P.; O’Kelly, M.E.J.; Papadopoulos, C.T.; Sales, A., “Modeling Exponential Reliable Production Lines using Kronecker Descriptors”. PDF
TR 065 Matheus Moreira, Bruno Oliveira,Julian Pontes, Ney Calazans. “Automated versus Manual Design of Asynchronous Circuits in DSM Technologies”.PDF
TR 064 Griebler, Dalvan; Fernandes, Luiz Gustavo Leão. , “Padrões e Frameworks de Programação Paralela em Arquiteturas Multi-Core”.PDF
TR 063 Leandro Costa, Elder Rodrigues, Filipi Teixeira Vilmar Consul, Jean Schmidt, Avelino Zorzo, “Testes de Midleware para Sistema de Agência de Viagens”.PDF
TR 062 Lucelene Lopes.; Renata Vieira, “Building Domain Specific Corpora in Portuguese Language”. PDF
TR 061 Czekster, Ricardo M.; Fernandes, Paulo; Sales, Afonso; Webber, Thais “Performance Analysis of Global Software Development Teams using a Structured Stochastic Modeling Formalism”. PDF
TR 060 Taciano Perez, César A. F. De Rose, “Non-Volatile Memory: Emerging Technologies And Their Impacts on Memory Systems”. PDF
TR 059 – 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 058 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Applying tensor term permutations to improve the numerical solution of structured Markovian models”. PDF
TR 057 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Efficient Vector-Descriptor Product Exploiting Time-Memory Trade-offs. PDF
TR 056 – 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.
TR 052 – Czekster, R. M.; Fernandes, P.; Webber, T; “The Hybrid Algorithm to Vector-Descriptor Product” PDF.
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
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.
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.
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
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
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
