Anderson Faustino da Silva

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• QUEIROZ, NILTON LUIZ ; DA SILVA, ANDERSON FAUSTINO . A graph-based model for build optimization sequences: A study of optimization sequence length impacts on code size and speedup. JOURNAL OF COMPUTER LANGUAGES , v. 74, p. 101188, 2023.

• CUSTODIO MENDES MARQUES, LUIZ HENRIQUE ; FAUSTINO DA SILVA, ANDERSON . MELTWEB: A Transient Execution Attack to Capture Data in Fill Line Buffer.. IEEE Latin America Transactions , v. 20, p. 395-401, 2022.

• DA SILVA, ANDERSON FAUSTINO ; BORIN, EDSON ; PEREIRA, FERNANDO MAGNO QUINTÃO ; QUEIROZ, NILTON LUIZ ; NAPOLI, OTÁVIO OLIVEIRA . Program representations for predictive compilation: State of affairs in the early 20?s. JOURNAL OF COMPUTER LANGUAGES , v. 73, p. 101171, 2022.

• DO ROSARIO, VANDERSON MARTINS ; DA SILVA, ANDERSON FAUSTINO ; ZANELLA, ANDRÉ FELIPE ; NAPOLI, OTÁVIO O. ; BORIN, EDSON . Fast selection of compiler optimizations using performance prediction with graph neural networks. CONCURRENY AND COMPUTATION (ONLINE) , v. 35, p. 1-15, 2022.

• ROSARIO, V. M. ; FAUSTINO DA SILVA, ANDERSON ; CAMACHO, T. A. S. ; NAPOLI, OTÁVIO O. ; BRETERNITZ, M. ; BORIN, E. . Smart selection of optimizations in dynamic compilers. CONCURRENY AND COMPUTATION (ONLINE) , v. 33, p. e6089, 2021.

• FABRICIO FILHO, J. ; RODRIGUES, L. G. A. ; SILVA, A. F. . An evolutionary algorithm for finding optimisation sequences: proposal and experiments. INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING , v. 21, p. 258-270, 2020.

• CARDOSO, A. F. ; TONETTI, C. ; SILVA, A. F. . Enhancing the Jikes RVM Adaptive Optimization System. IEEE Latin America Transactions , v. 18, p. 1185-1192, 2020.

• SILVA, A. F. ; RODRIGUES, L. G. A. ; FABRICIO FILHO, J. . The Improved ColorAnt Algorithm: A Hybrid Algorithm for Solving the Graph Coloring Problem. International Journal of Bio-Inspired Computation , v. 16, p. 1-12, 2020.

• QUEIROZ JUNIOR, N. L. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Finding Effective Compiler Optimization Sequences: A Hybrid Approach. Computing and Informatics , v. 39, p. 1117-1147, 2020.

• FABRICIO FILHO, J. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Can the hybrid colouring algorithm take advantage of multi-core architectures. INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING , v. 20, p. 457-479, 2019.

• SIRAICHI, M. Y. ; TONETTI, C. ; SILVA, A. F. . Pinhão: An Auto-tunning System for Compiler Optimizations Guided by Hot Functions. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 25, p. 42, 2019.

• SOUZA, L. D. ; SILVA, A. F. . Understanding the Code Transformation Algorithms' Impact. JOURNAL OF COMPUTER SCIENCES , v. 15, p. 1678-1693, 2019.

• SOUZA, T. C. ; SILVA, A. F. . Exploration of Compiler Optimization Sequences Using a Hybrid Approach. COMPUTING AND INFORMATICS , v. 37, p. 165-185, 2018.

• FABRICIO FILHO, J. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Yet Another Intelligent Code-Generating System: A Flexible and Low-Cost Solution. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY , v. 33, p. 940-965, 2018.

• GONDOLFO, D. E. ; SILVA, A. F. . An Interest-centric Protocol at Kernel Level. Revista IEEE América Latina , v. 04, p. 998-1004, 2016.

• FABRICIO FILHO, J. ; SILVA, A. F. . Paralelismo em Prolog: Conceitos e Sistemas. Revista de Informática Teórica e Aplicada: RITA , v. 23, p. 102-122, 2016.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . The Hybrid ColorAnt-RT Algorithms and an Application to Register Allocation. Inteligencia Artificial , v. 18, p. 81-111, 2015.

• ROSARIO, V. M. ; SILVA, A. F. . O Potencial do Uso de Estimativas de Desempenho na Exploração de Conjuntos de Otimizações. Revista de Informática Teórica e Aplicada: RITA , v. 22, p. 87-108, 2015.

• AQUOTTE, FABIO ; FAUSTINO DA SILVA, ANDERSON . PSIM: A Modular Particle System on Graphics Processing Unit. Revista IEEE América Latina , v. 12, p. 321-329, 2014.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . PColorAnt3-RT: Um Algoritmo ACO Paralelo para Coloração de Grafos. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 65-86, 2013.

• OLIVEIRA, G. S. ; SILVA, A. F. . Compilação Just-In-Time: Histórico, Arquitetura, Princípios e Sistemas. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 174-213, 2013.

• OLIVEIRA, G. S. ; SILVA, A. F. . Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 214-246, 2013.

• LIMA, E. D. ; SOUZA, T. C. ; SILVA, A. F. . Seleção de Transformações Baseada em Estatística. Revista de Informática Teórica e Aplicada: RITA , v. 20, p. 77-94, 2013.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . O Impacto da Parametrização no Algoritmo Heurístico Baseado em Colônia de Formigas Artificiais Colorant3-Rt. Learning and Nonlinear Models , v. 11, p. 74-91, 2013.

• RANGEL, F. ; SILVA, A. F. . A Máquina Virtual Java e a Otimização Inline: Um Estudo de Caso. Revista Tecnológica (UEM) , v. 21, p. 103-118, 2012.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . ColorAnt-RT: Algoritmo de Coloração de Grafos que utiliza Colônia de Formigas aplicado a Alocação de Registradores. Revista Eletrônica de Iniciação Científica , v. 12, p. 1, 2012.

• MARTINS, A. L. ; SILVA, A. F. . Benchmarking Prolog Interpreter. Revista IEEE América Latina , v. 9, p. 1079-1086, 2011.

• SILVA, A. F. ; COSTA, V. S. . The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. Journal of Universal Computer Science (Online) , v. 12, p. 764-787, 2006.

• SILVA, A. F. ; COSTA, V. S. . Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. Journal of Universal Computer Science (Online) , v. 12, p. 788-810, 2006.

• SILVA, A. F. ; COSTA, V. S. . An Experimental Evaluation of JAVA JIT Technology. Journal of Universal Computer Science (Online) , v. 11, p. 1291-1309, 2005.

• LOBOSCO, M. ; SILVA, A. F. ; AMORIM, C. L. ; LOQUES, O. . A New Distributed JVM for Cluster Computing. Lecture Notes in Computer Science , v. 2790, p. 1207-1215, 2003.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Uma Solução para o Problema de Alocação de Registradores Baseada em Meta-heurísticas. In: Luis Carlos Abreu Rodrigues; Maria Teresinha Arns Steiner; Heitor Silvério Lopes. (Org.). Meta-heurísticas em Pesquisa Operacional. 1ed.Curitiba: Omnipax, 2013, v. 1, p. 449-462.

• MULATI, M. H. ; CONSTANTINO, A. A. ; SILVA, A. F. . Otimização por Colônia de Formigas. In: Luis Carlos Abreu Rodrigues; Maria Teresinha Arns Steiner; Heitor Silvério Lopes. (Org.). Meta-heurísticas em Pesquisa Operacional. 1ed.Curitiba: Omnipax, 2013, v. 1, p. 53-67.

• FAUSTINO DA SILVA, ANDERSON ; CASTRILLON, JERONIMO ; PEREIRA, FERNANDO MAGNO QUINTÃO . A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers. In: CC '25: 34th ACM SIGPLAN International Conference on Compiler Construction, 2025, Las Vegas NV USA. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction, 2025. p. 13.

• BRAUCKMANN, ALEXANDER ; FAUSTINO DA SILVA, ANDERSON ; SYNNAEVE, GABRIEL ; O?BOYLE, MICHAEL F. P. ; CASTRILLON, JERONIMO ; LEATHER, HUGH . DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses. In: CC '25: 34th ACM SIGPLAN International Conference on Compiler Construction, 2025, Las Vegas NV USA. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction. New York: ACM. p. 92.

• DAMÁSIO, THAÍS ; CANESCHE, MICHAEL ; PACHECO, VINÍCIUS ; BOTACIN, MARCUS ; FAUSTINO DA SILVA, ANDERSON ; QUINTÃO PEREIRA, FERNANDO M. . A Game-Based Framework to Compare Program Classifiers and Evaders. In: CGO '23: 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023, Montréal QC Canada. Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023. p. 108-121.

• DAMASIO, THAIS ; CANESCHE, MICHAEL ; PACHECO, VINÍCIUS ; FAUSTINO, ANDERSON ; QUINTAO PEREIRA, FERNANDO MAGNO . Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, 2022, Virtual Event Brazil. XXVI Brazilian Symposium on Programming Languages. p. 68-75.

• SILVA, ANDERSON FAUSTINO DA ; DE LIMA, BERNARDO N. B. ; PEREIRA, FERNANDO MAGNO QUINTÃO . Exploring the space of optimization sequences for code-size reduction: insights and tools. In: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021, Virtual Republic of Korea. Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021. p. 47-58.

• DA SILVA, ANDERSON FAUSTINO ; KIND, BRUNO CONDE ; DE SOUZA MAGALHAES, JOSE WESLEY ; ROCHA, JERONIMO NUNES ; FERREIRA GUIMARAES, BRENO CAMPOS ; QUINAO PEREIRA, FERNANDO MAGNO . ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction. In: 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2021, Seoul. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2021. p. 378-390.

• FAUSTINO, ANDERSON . Graphs based on IR as Representation of Code. In: SBLP'21: 25th Brazilian Symposium on Programming Languages, 2021, Joinville Brazil. 25th Brazilian Symposium on Programming Languages. New York: ACM, 2021. p. 75-82.

• QUEIROZ JUNIOR, NILTON LUIZ ; FAUSTINO DA SILVA, ANDERSON . A Graph-based Model for Building Optimization Sequences. In: SBLP'21: 25th Brazilian Symposium on Programming Languages, 2021, Joinville Brazil. 25th Brazilian Symposium on Programming Languages. New York: ACM, 2021. p. 92-99.

• FAUSTINO, ANDERSON ; BORIN, EDSON ; PEREIRA, FERNANDO ; NÁPOLI, OTÁVIO ; ROSÁRIO, VANDERSON . New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. In: SBLP'21: 25th Brazilian Symposium on Programming Languages, 2021, Joinville Brazil. 25th Brazilian Symposium on Programming Languages, 2021. p. 33-40.

• ZANELLA, A. F. ; FAUSTINO DA SILVA, ANDERSON . Predição de Tamanho de Código utilizando Benchmarks Sintetizados: Um Estudo de Caso. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2021, Belo Horizonte. Simpósio em Sistemas Computacionais de Alto Desempenho, 2021. p. 1-12.

• ZANELLA, A. F. ; SILVA, A. F. ; PEREIRA, F. Q. . YaCoS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. In: Simpósio Brasileiro de Linguagem de Programação, 2020. Anais do Simpósio Brasileiro de Linguagens de Programação. New York, NY, USA: Association for Computing Machinery, 2020. p. 56-63.

• ROSARIO, V. M. ; BORIN, E. ; ZANELLA, A. F. ; SILVA, A. F. . Predição de Desempenho com Graph Neural Networks. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2020. Anais do XXI Simpósio em Sistemas Computacionais de Alto Desempenho. Porto Alegre: SBC, 2020.

• GUIMARAES, B. C. F. ; MAGALHAES, J. W. ; PEREIRA, F. Q. ; SILVA, A. F. . Síntese de Benchmarks em C via Mineração de Repositórios. In: Brazilian Symposium on Programming Languages, 2019, Salvador - Brasil. Brazilian Symposium on Programming Languages, 2019.

• CAMACHO, T. A. S. ; SILVA, A. F. ; ROSARIO, V. M. ; BORIN, E. . Compilação Dinâmica com Seleção Inteligente de Otimizações. In: Simpósio de Sistemas Computacionais de Alto Desempenho, 2019, Campo Grande - MS - Brasil. Simpósio de Sistemas Computacionais de Alto Desempenho, 2019.

• MEDEIROS, M. A. ; CONSTANTINO, A. A. ; SILVA, A. F. . O Algoritmo VNSP: Uma Solução Paralela para o Problema de Escalonamento de Motorista de Transporte Público. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2018.

• WEBER, N. P. L. ; RAMME, F. L. P. ; SILVA, A. F. . Análise Espaço-temporal da Produção de Mel de Abelhas na Mesorregião Geográfica Norte Central Paranaense. In: Simpósio de Geotecnologias no Pantanal, 2018, Jardim, MS. Anais do 7 Simpósio de Geotecnologias no Pantanal, 2018.

• FABRICIO FILHO, J. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Evaluating Knowledge Representations for Program Characterization. In: International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the International Conference on Enterprise Information Systems, 2017.

• RODRIGUES, L. G. A. ; ROSARIO, V. M. ; JESUS, J. A. ; PERES, L. P. ; MORAES, H. F. ; AMORIM, C. L. ; SILVA, A. F. . myBee: An Information System for Precision Beekeeping. In: International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the International Conference on Enterprise Information Systems, 2017.

• QUEIROZ JUNIOR, N. L. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Combining Machine Learning with a Genetic Algorithm to Find Good Complier Optimizations Sequences. In: International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the International Conference on Enterprise Information Systems, 2017.

• FABRICIO FILHO, J. ; SILVA, A. F. . Um Algoritmo Evolucionário para Encontrar Sequências de Transformações com Ordenação por Classe. In: Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2017.

• BENAGLIA, B. ; PERES, L. P. ; NASCIMENTO, S. ; SILVA, A. F. ; ITO, M. . Viabilidade de Caixa de Isopor como Alternativa para Criação Racional de Colônias de Apis Mellifera Africanizada nas Condições Ambientas de Maringá. In: Agroecologia 2017, 2017, Brasília. Anais do Agroecologia 2017, 2017.

• FABRICIO FILHO, J. ; RODRIGUES, L. G. A. ; SILVA, A. F. . Modern Hybrid Coloring Algorithm. In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2016.

• FABRICIO FILHO, J. ; SILVA, A. F. . Aprendizagem Contínua aplicada ao Problema de Seleção de Otimizações com Estimativa Estática. In: VI Workshop de Teses e Dissertações do CBSoft, 2016, Maringá. Anais do VI Workshop de Teses e Dissertações do CBSoft, 2016.

• SIRAICHI, M. Y. ; TONETTI, C. ; SILVA, A. F. . A Design Space Exploration of Compiler Optimizations Guided by Hot Functions. In: International Conference of the Chilean Computer Science Society, 2016, Valparaiso. Proceedings of the International Conference of the Chilean Computer Science Society, 2016.

• QUEIROZ JUNIOR, N. L. ; SILVA, A. F. . Finding Good Compiler Optimization Sets: A Case-based Reasoning Approach. In: International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the International Conference on Enterprise Information Systems, 2015.

• LIMA, E. D. ; SILVA, A. F. . Improved Batch Elimination: A Fast Algorithm to Identify and Remove Harmful Compiler Optimizations. In: XLI Latin American Computing Conference, 2015, Areuipa/Peru. XLI Latin American Computing Conference, 2015.

• QUEIROZ JUNIOR, N. L. ; SILVA, A. F. . O Uso de Diferentes Estratégias de Redução do Espaço de Busca Utilizado na Mitigação do Problema de Seleção de Otimizações. In: XLI Latin American Computing Conference, 2015, Areuipa/Peru. XLI Latin American Computing Conference, 2015.

• LIMA, E. D. ; FABRICIO FILHO, J. ; SILVA, A. F. . Uma Estratégia Baseada na Metaheurística VNS para Encontrar Efetivas Sequências de Otimizações. In: XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas. XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015.

• ROSARIO, V. M. ; YUKIO, M. ; SILVA, A. F. . Exploração de Sequências de Otimizações Por Meio de Estimativas de Desempenho. In: Workshop de Iniciação Científica em Arquitetura de Computadores e Computação de Alto Desempenho (WSCAD-WIC), 2015, Florianópolis. Arquitetura de Computadores e Computação de Alto Desempenho (WSCAD-WIC), 2015.

• QUEIROZ JUNIOR, N. L. ; GONÇALVES, R. A. L. ; SILVA, A. F. . Modelos de Alocação em Memória da GPU para o Algoritmo de Alinhamento Global de Needleman-Wunsch. In: Workshop de Iniciação Científica em Arquitetura de Computadores e Computação de Alto Desempenho (WSCAD-WIC), 2015, Florianópolis. Workshop de Iniciação Científica em Arquitetura de Computadores e Computação de Alto Desempenho (WSCAD-WIC), 2015.

• SOUZA, T. C. ; SILVA, A. F. . Ordenação de Otimizações: Uma Solução Baseada no Problema do Caixeiro Viajante Assimétrico. In: Brazilian Symposium on Programming Languages, 2014, Maceio. Proceedings of Brazilian Symposium on Programming Languages, 2014.

• FOLEISS, J. H. ; SILVA, A. F. ; HÜBNER, R. ; GONCALVES, R. A. . Development and Evaluation of PLH-Env: a Implicit Parallel Execution Environment. In: International Conference of the Chilean Computer Science Society, 2014, Talca - Chile. Proceedings of the International Conference of the Chilean Computer Science Society, 2014.

• FOLEISS, J. H. ; SILVA, A. F. ; HUBNER, R. ; GONCALVES, R. A. . Efficient Instrumentation Profiling Strategy for Translation Unit Incremental Discovery in Dynamic Binary Translation. In: International Conference of the Chilean Computer Science Society, 2014, Talca - Chile. Proceedings of the International Conference of the Chilean Computer Science Society, 2014.

• MARTINS, R. M. ; MURATA, D. ; ROSARIO, V. M. ; SILVA, A. F. . Análise de Desempenho de Estratégias de Parcionamento de Grafos. In: Simpósio em Sistemas Computacionais (WSCAD-WIC), 2014, São José dos Campos. Anais do Simpósio em Sistemas Computacionais, 2014.

• OLIVEIRA, G. S. ; SILVA, A. F. . Towards an Efficient Prolog System by Code Introspection. In: International Conference on Logic Programming, 2014, Wien. Proceedings of the International Conference on Logic Programming, 2014.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Os Novos Algoritmos da Classe ColorAnt-RT: Uma Classe de Algoritmos Para a Resolução do PCG. In: Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2013.

• LIMA, E. D. ; SOUZA, T. C. ; RUIZ, L. B. ; SILVA, A. F. . Compiling for Performance and Power Efficiency. In: International Workshop on Power And Timing Modeling, Optimization and Simulation, 2013, Karlsruhe, Germany. Proceedings of International Workshop on Power And Timing Modeling, Optimization and Simulation, 2013.

• SHISHIDO, H. Y. ; GONÇALVES, R. A. L. ; SILVA, A. F. . Parallel Selective Model for Digital Image Processing Algorithm. In: XXXII International Conference of the Chilean Society of Computer Science, 2013, Temuco, Chile. Proceeding of the XXXII International Conference of the Chilean Society of Computer Science, 2013.

• LIMA, E. D. ; SILVA, A. F. ; HERRERA, C. . A Case-based Reasoning Approach to Find Good Compiler Optimization Sequences. In: XXXII International Conference of the Chilean Society of Computer Science, 2013, Temuco, Chile. Proceeding of the XXXII International Conference of the Chilean Society of Computer Science, 2013.

• SANTIAGO JR, R. M. ; GONÇALVES, R. A. L. ; SILVA, A. F. . Modelos Paralelos para o Algoritmo de Subdivisões Sucessivas. In: Simpósio em Sistemas Computacionais (WSCAD-SSC), 2013, Porto de Galinhas. Anais do Simpósio em Sistemas Computacionais (WSCAD-SSC), 2013.

• HÜBNER, Rodrigo ; FOLEISS, J. H. ; D'AMATO, A. ; SILVA, A. F. . Maximizando os Recursos Computacionais com um Ambiente de Execução Baseado Estritamente em Tarefas. In: XI Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2012, Curitiba. Anais do XI Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2012.

• SANTIAGO JR, R. M. ; CABRAL, V. F. ; CARDOZO FILHO, L. ; SILVA, A. F. ; GONÇALVES, R. A. L. . Otimização em algoritmo de geração de estimativas iniciais para sistemas iterativos não lineares. In: XIII Mostra de Trabalhos de Informática do X Fórum de Informática e Tecnologia de Maringá, 2012, Maringá. Anais do X Fórum de Informática e Tecnologia de Maringá, 2012.

• SOUZA, T. C. ; LIMA, E. D. ; OLIVEIRA, G. S. ; SILVA, A. F. . A Detailed Analysis of the LLVM's Register Allocators. In: XXXI International Conference of the Chilean Computer Science Society, 2012, Valparaíso. Proceedings of the XXXI International Conference of the Chilean Computer Science Society, 2012.

• D'AMATO, A. ; FOLEISS, J. H. ; RUIZ, L. B. ; SILVA, A. F. ; COSTA, J. C. ; HUBNER, R. . The UNB-RISC16 Object File Format. In: XXXI International Conference of the Chilean Computer Science Society, 2012, Valparaíso. Proceedings of the XXXI International Conference of the Chilean Computer Science Society, 2012.

• FOLEISS, J. H. ; D'AMATO, A. ; SILVA, A. F. . Dynamic Binary Translation: a Model-Driven Approach. In: XXXI International Conference of the Chilean Computer Science Society, 2012, Valparaíso. Proceedings of the XXXI International Conference of the Chilean Computer Science Society, 2012.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Register Allocation by Evolutionary Algorithm. In: XXXI International Conference of the Chilean Computer Science Society, 2012, Valparaíso. Proceedings of the XXXI International Conference of the Chilean Computer Science Society, 2012.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . RT-ColorAnt: Um Algoritmo Heurístico Baseado em Colônia de Formigas Artificiais com Busca Local para Colorir Grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba - São Paulo. Anais do Simpósio Brasileiro de Pesquisa Operacional, 2011.

• FOLEISS, J. H. ; SILVA, A. F. ; RUIZ, L. B. . An Experimental Evaluation of Compiler Optimizations on Code Size. In: Simpósio Brasileiro de Linguagens de Programação, 2011, São Paulo - SP. Anais do Simpósio Brasileiro de Linguagens de Programação, 2011.

• FOLEISS, J. H. ; SILVA, A. F. ; RUIZ, L. B. . Understanding the Energy Consumption of the Wireless Sensor Network Data-processing. In: IADIS International Conference Applied Computing, 2011, Rio de Janeiro - Brazil. Proceedings of IADIS International Conference Applied Computing, 2011.

• D'AMATO, A. ; SILVA, A. F. ; RUIZ, L. B. ; COSTA, J. C. . MRISC16T: The UNB-RISC16 Toolchain. In: IADIS International Conference Applied Computing, 2011, Rio de Janeiro - Brazil. Proceedings of IADIS International Conference Applied Computing, 2011.

• HÜBNER, Rodrigo ; FOLEISS, J. H. ; SILVA, A. F. . The Description of PLH: A General Propose Parallel Language for Humans. In: IADIS International Conference Applied Computing, 2011, Rio de Janeiro - Brazil. Proceedings of IADIS International Conference Applied Computing, 2011.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Algortimo Heurístico Baseado Em Colônia de Formigas Artificiais ColorAnt2 com Busca Local Aplicado ao Problema de Coloração de Grafo. In: X Congresso Brasileiro de Inteligência Computacional, 2011, Fortaleza - Brasil. Anais do X Congresso Brasileiro de Inteligência Computacional, 2011.

• André D'amato ; SILVA, A. F. ; RUIZ, L. B. ; COSTA, J. C. . EProf: An Accurate Energy Consumption Estimation Tool. In: XXX International Conference of the Chilean Computer Science Society, 2011, Curico. Proceedings of the XXX International Conference of the Chilean Computer Science Society, 2011.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Toward Better Performance of ColorAnt ACO Algorithm. In: XXX International Conference of the Chilean Computer Science Society, 2011, Curico. Proceedings of the XXX International Conference of the Chilean Computer Science Society, 2011.

• FOLEISS, J. H. ; SILVA, A. F. ; RUIZ, L. B. . The Effect of Combining Compiler Optimizations on Code Size. In: XXX International Conference of the Chilean Computer Science Society, 2011, Curico. Proceedings of the XXX International Conference of the Chilean Computer Science Society, 2011.

• LINTZMAYER, C. N. ; MULATI, M. H. ; SILVA, A. F. . Register Allocation with Graph Coloring by Ant Colony Optimization. In: XXX International Conference of the Chilean Computer Science Society, 2011, Curico. Proceedings of the XXX International Conference of the Chilean Computer Science Society, 2011.

• SHISHIDO, H. Y. ; SILVA, A. F. ; GONÇALVES, R. A. L. ; BATISTA, L. F. A. . Nossa Experiência com a Paralelização de um Algoritmo de Processamento de Imagens Geográficas. In: XVI Congreso Argentino de Ciencias De La Computación, 2010, Buenos Aires. Anais do Workshop Procesamiento Distribuido y Paralelo, 2010.

• RANGEL, F. ; SILVA, A. F. . O Impacto da Otimização Inline na Execução de Programas Java. In: IX Fórum de Informática e Tecnologia de Maringá, 2010, Maringá. Anais da XII Mostra de Trabalhos de Informática, 2010.

• FOLEISS, J. H. ; SILVA, A. F. . Reavaliando a Lacuna do Desempenho entre as Linguagens Java, C e C++. In: XXXVI Conferência Latino-Americana de Informática, 2010, Assunção. Anais da XXXVI Conferência Latino-Americana de Informática, 2010.

• HÜBNER, R. ; SILVA, A. F. . TIRT: Implementação e Avaliação. In: XXXVI Conferência Latino-Americana de Informática, 2010, Assunção. Anais da XXXVI Conferência Latino-Americana de Informática, 2010.

• HÜBNER, R. ; SILVA, A. F. . Nossa Experiência utilizando Passagem de Mensagem e Memória Compartilhada Distribuída na Construção Paralela de Árvores KD. In: International Information and Telecommunication Technologies Symposium, 2010, Rio de Janeiro. Proceedings of the International Information and Telecommunication Technologies Symposium, 2010.

• FOLEISS, J. H. ; SILVA, A. F. . Coloração de Grafo: Um Algoritmo Paralelo Escalável. In: International Information and Telecommunication Technologies Symposium, 2010, Rio de Janeiro. Proceedings of the International Information and Telecommunication Technologies Symposium, 2010.

• SILVA, A. F. ; SAMBINELLI, M. . Estratégias para a Implementação de Máquinas Virtuais de Alto Desempenho. In: I Simpósio de Computação Aplicada, 2009, Passo Fundo. Anais do I Simpósio de Computação Aplicada, 2009.

• SOUZA, M. M. S. ; GOTO, G. S. ; SILVA, A. F. . Memória Transacional com Suporte a Operações de Entrada e Saída. In: IV Congresso da Academia Trinacional de Ciências, 2009, Foz do Iguaçu. Anais do IV Congresso da Academia Trinacional de Ciências, 2009.

• SAMBINELLI, M. ; SILVA, A. F. . Uma Técnica de Reutilização de Segmentos de Códigos Compilados. In: IV Congresso da Academia Trinacional de Ciências, 2009, Foz do Iguaçu. Anais do IV Congresso da Academia Trinacional de Ciências, 2009.

• SILVA, A. F. ; SAMBINELLI, M. ; Hübner, R. . Reduzindo o Overhead Imposto pela Compilação Dinâmica. In: VIII Forúm de Informática de Maringá, 2008, Maringá. XI Mostra de Trabalhos de Informática, 2008.

• SILVA, A. F. ; COSTA, V. S. . Design, Implementation, and Evaluation of an Dynamic Compilation Framework for the YAP System. In: International Conference on Logic Programming, 2007, Porto. Proceedings of ICPL 2007, 2007.

• SILVA, A. F. ; COSTA, V. S. . The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (paper selected to appear in JUCS). In: Brazilian Symposium on Programming Languages, 2006, Recife/PE. Brazilian Symposium on Programming Languages, 2006. p. 133-146.

• SILVA, A. F. ; COSTA, V. S. . Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers (paper selected to appear in JUCS). In: Brazilian Symposium on Programming Languages, 2006, Recife/PE. Brazilian Symposium on Programming Languages, 2006. p. 147-160.

• SILVA, A. F. ; COSTA, V. S. . An Experimental Evaluation of JAVA JIT Technology (paper selected to appear in JUCS). In: Brazilian Symposium on Programming Languages, 2005, Itatiaia/RJ. Brazilian Symposium on Programming Languages, 2005.

• SILVA, A. F. ; LOBOSCO, M. ; AMORIM, C. L. . An Evaluation of cJava Architecture. In: 15th Symposium on Computer Architecture an High Performance Computing, 2003, São Paulo/SP. Proceedings of 15th Symposium on Computer Architecture an High Performance Computing, 2003. p. 91-99.

• SILVA, A. F. ; DIAS, S. ; TREVISAN, T. ; AMORIM, C. L. ; MEIRA JR., W. . e-cache: Uma Cache Cooperativa para Servidores de Comércio Eletrônico Baseados em Cluster (relatório técnico estendido). In: IV Workshop em Sistemas Computacionais de Alto Desempenho, 2003, São Paulo/SP. Anais do IV Workshop em Sistemas Computacionais de Alto Desempenho, 2003. p. 9-16.

• SILVA, A. F. ; AMORIM, C. L. ; et. all. . Servidores Paralelos e Distribuídos de Comércio Eletônico. In: II Workshop em Sistemas Computacionais de Alto Desempenho, 2001, Pirenópolis. Anais do II Workshop em Sistemas Computacionais de Alto Desempenho, 2001.

• SILVA, A. F. ; LOBOSCO, M. ; AMORIM, C. L. . TCP/IP versus VIA on Network of Workstations. In: 13th Symposium on Computer Architecture and High Performance Computing, 2001, Pirenópolis. Proceedings of 13th Symposium on Computer Architecture and High Performance Computing, 2001.

• SILVA, A. F. ; PEREIRA, E. N. ; SILVA, F. . Ambiente Computacional Virtual. In: Encontro de Iniciação Científica e Pós-graduação do ITA, 1999, São José dos Campos/SP. Anais do V Encontro de Iniciação Científica e Pós-graduação do ITA, 1999. p. 85-92.

• RIBEIRO, E. F. ; FAUSTINO DA SILVA, ANDERSON . Multifloor: uma topologia para redes em chip. In: 28.o Encontro Anual de Iniciação Científica, 2019, Maringá. Anais do 28.o Encontro Anual de Iniciação Científica, 2019.

• MAEDA, G. O. ; FAUSTINO DA SILVA, ANDERSON . Um Sistema Móvel Aplicado a Apicultura - A Fase Final. In: 9º Encontro Anual de Iniciação Tecnológica, 2019. Anais do 9º Encontro Anual de Iniciação Tecnológica, 2019.

• ROSA, B. C. P. D. ; SILVA, A. F. . Análise de desempenho das topologias para sistemas SoC. In: Encontro Anual de Iniciação Científica, 2018, Maringá. Anais do 27 Encontro Anual de Iniciação Científica, 2018.

• ANDRADE, C. O. ; SILVA, A. F. . A Fase 5 do Projeto myBee. In: Encontro Anual de Iniciação Tecnológica e Inovação, 2018, Maringá. Anais do 8 Encontro Anual de Iniciação Tecnológica e Inovação, 2018.

• SOUZA, L. D. ; SILVA, A. F. . O Impacto das Otimizações Aplicadas Por um Compilador Otimizante no Contexto de um Processador Embarcado. In: Encontro Anual de Iniciação Científica, 2018, Maringá. Anais do 27 Encontro Anual de Iniciação Científica, 2018.

• SANTOS, R. R. ; SILVA, A. F. . O Impacto das Otimizações Aplicadas por um Compilador Otimizante. In: Encontro Anual de Iniciação Científica, 2017, Maringá. Anais do Encontro Anual de Iniciação Científica, 2017.

• SAKATA, W. K. T. ; SILVA, A. F. . MyBee: Um Sistema de Monitoramento de Temperatura e Umidade de Colmeias. In: Encontro Anual de Iniciação Tecnológica e Inovação, 2017, Ponta Grossa. Anais do Encontro Anual de Iniciação Tecnológica e Inovação, 2017.

• ROSA, B. C. P. D. ; SILVA, A. F. . O Algoritmo iGPU-ColorAnt3-RT. In: Encontro Anual de Iniciação Científica, 2017, Maringá. Anais do Encontro Anual de Iniciação Científica, 2017.

• ROSA, B. C. P. D. ; SILVA, A. F. . O Algoritmo GPU-ColorAnt3-RT. In: Encontro Anual de Iniciação Cientŕfica, 2016, Maringá. Anais do Encontro Anual de Iniciação Científica, 2016.

• SIRAICHI, M. Y. ; SILVA, A. F. . Redução Do Tempo de Resposta Dos Sistemas de Mitigação Do Problema de Seleção de Otimizações. In: Encontro Anual de Iniciação Científica, 2016, Maringá. Anais do Encontro Anual de Iniciação Científica, 2016.

• FARIA, J. M. V. ; SILVA, A. F. . Um Sistema Móvel Aplicado a Apicultura ? Fase 3. In: Encontro Anual de Iniciação Tecnológica e Inovação, 2016, Londrina. Anais do Encontro Anual de Iniciação Tecnológica e Inovação, 2016.

• MURATA, D. ; SILVA, A. F. . Estimativa de Desempenho de Programas. In: Encontro Anual de Iniciação Científica, 2015, Maringá. 24 Encontro Anual de Iniciação Científica, 2015.

• ROSARIO, V. M. ; SILVA, A. F. . Um Sistema Móvel Aplicado a Apicultura: Fase 2. In: Encontro Anual de Iniciação Tecnológica e Inovação, 2015, Bandeirantes/PR. Anais do Encontro Anual de Iniciação Tecnológica e Inovação, 2015.

• BERTAZI, G. K. ; BORIN, E. ; SILVA, A. F. . A Hybrid Framework to Accelerate Adaptive Compilation Systems. In: Brazilian Symposium on Programming Languages, 2014, Maceio. Proceedings of Brazilian Symposium on Programming Languages, 2014.

• MURATA, D. ; SILVA, A. F. . Implementação de Mecanismos contra Falhas de Memória no Sistema Operacional FREEBSD. In: XXIII Encontro Anual de Iniciação Científica, 2014, Londrina. Anais do XXIII Encontro Anual de Iniciação Científica, 2014.

• ROSARIO, V. M. ; SILVA, A. F. ; PERES, L. P. . Um Sistema Móvel Aplicado a Apicultura. In: Encontro Nacional de Iniciação Tecnológica e Inovação, 2014, Guarapuava. Anais do Encontro Nacional de Iniciação Tecnológica e Inovação, 2014.

• GONDOLFO, D. E. ; SILVA, A. F. . O Impacto do PAX em Sistemas Linux. In: Encontro Anual de Iniciação Científica, 2013, Foz do Iguaçu. Anais do XXII Encontro Anual de Iniciação Científica, 2013.

• GAZOLA, V. G. ; SILVA, A. F. . Uma Arquitetura Flexível para a Implementação de Redes de Sensores Sem Fio. In: Encontro Anual de Iniciação Científica, 2013, Foz do Iguaçu. Anais do XXII Encontro Anual de Iniciação Científica, 2013.

• BARCALA, T. R. ; SILVA, A. F. . Estratégia para a Implementação de Memória Transacional em Software. In: XXI Encontro Anual de Iniciação Científica, 2012, Maringá. Anais do XXI Encontro Anual de Iniciação Científica, 2012.

• BARCALA, T. R. ; SILVA, A. F. . Memória Transacional baseada em Páginas. In: XX Encontro Anual de Iniciação Científica, 2011, Ponta Grossa. Anais do XX Encontro Anual de Iniciação Científica, 2011.

• RUIZ, L. B. ; SILVA, F. A. ; SILVA, T. R. M. B. ; SILVA, A. F. . MannaSim: Um ambiente para simulação de Rede de Sensores Sem Fio. In: V Workshop Instituto Nacional de Ciência e Tecnologia de Sistemas Nano e Microeletrônicos, 2011, Campinas. Anais do V Workshop Instituto Nacional de Ciência e Tecnologia de Sistemas Nano e Microeletrônicos, 2011.

• SILVA, A. F. ; RUIZ, L. B. ; COSTA, J. C. . MRISC16t: Um Conjunto de Ferramentas para a Arquitetura UNB RISC 16. In: V Workshop Instituto Nacional de Ciência e Tecnologia de Sistemas Nano e Microeletrônicos, 2011, Campinas. Anais do V Workshop Instituto Nacional de Ciência e Tecnologia de Sistemas Nano e Microeletrônicos, 2011.

• GOTO, G. S. ; SILVA, A. F. . Utilizando Operações de Entrada e Saída em Transações. In: XIX Encontro Anual de Iniciação Científica, 2010, Guarapuava. Anais do XIX Encontro Anual de Iniciação Científica, 2010.

• TAKANO, J. Y. ; SILVA, A. F. . Uma Infraestrutura para a Implementação de Serviços em um Sistema Distribuído. In: XIX Encontro Anual de Iniciação Científica, 2010, Guarapuava. Anais do XIX Encontro Anual de Iniciação Científica, 2010.

• SAMBINELLI, M. ; SILVA, A. F. . Memória Transacional com Suporte de Kernel. In: XIX Encontro Anual de Iniciação Científica, 2010, Guarapuava. Anais do XIX Encontro Anual de Iniciação Científica, 2010.

• FOLEISS, J. H. ; HÜBNER, R. ; SILVA, A. F. . Uma Infraestrutura de Alto Desempenho para a Execução de Aplicações Paralela. In: International Information and Telecommunication Technologies Symposium, 2010, Rio de Janeiro. Proceedings of the International Information and Telecommunication Technologies Symposium, 2010.

• ASSUNCAO, G. P. ; SILVA, A. F. ; CONSTANTINO, A. A. . Algoritmo Heurístico Paralelo Baseado em Colônia de Formigas. In: XVIII Encontro Anual de Iniciação Científica, 2009, Londrina. Anais do XVIII Encontro Anual de Iniciação Científica, 2009.

• SAMBINELLI, M. ; SILVA, A. F. . Máquina Virtual de Alto Desempenho. In: XVIII Encontro Anual de Iniciação Científica, 2009, Londrina. Anais do XVIII Encontro de Iniciação Científica, 2009.

• Hübner, R. ; SILVA, A. F. . M2TI - Modelo de Programação com Transações Implícitas e Trabalhadores Implícitos. In: XVIII Encontro Anual de Iniciação Científica, 2009, Londrina. Anais do XVIII Encontro Anual de Iniciação Científica, 2009.

• SILVA, A. F. ; SILVA, F. . LIPAD - Linguagem de Programação para Algoritmos Distribuídos. In: Seminário Anual de Iniciação Científica, 1999, Cascavel/PR. Anais do VIII Encontro Anual de Iniciação Científica, 1999. v. 1. p. 141-142.

• SILVA, A. F. ; PEREIRA, E. N. ; SILVA, F. . Ambiente Computacional Virtual. In: Seminário Anual de Iniciação Científica, 1999, Cascavel/PR. Anais do VIII Encontro Anual de Iniciação Científica, 1999. v. 1.

• SILVA, A. F. ; PEREIRA, E. N. ; SILVA, F. . Construção de um Simulador Didático Computacional. In: Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente/SP. Anais do III Encontro de Iniciação Científica, 1998.

• SILVA, A. F. . Challenges on Wireless Sensor Network. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• SILVA, A. F. . Servidores de Comércio Eletrônico Escaláveis. 2003. (Apresentação de Trabalho/Seminário).

Outras produções

Projetos de pesquisa

• 2021 - Atual

  Grafos Como Representação de Programas, Descrição: A geração de código é um processo realizado por compiladores. É considerado um problema complexo por causa da dificuldade em escolher: (1) quais transformações de código devem ser utilizadas, (2) a ordem desses transformações e (3) suas parametrizações. Neste contexto, sistemas inteligentes podem ser usados para selecionar transformações e, consequentemente, aplicá-las ao programa sendo compilado. Os sistemas inteligentes baseados em aprendizagem de máquina utilizam diferentes mecanismos para representar programas. Neste contexto, este projeto visa propor uma representação baseada em grafo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Doutorado: (1) . , Integrantes: Anderson Faustino da Silva - Coordenador / Nilton Luiz Queiroz Junior - Integrante / Maria Fernanda Almeida Oliveira - Integrante., Número de produções C, T & A: 2 / Número de orientações: 1

• 2019 - 2021

  Extração e Validação de Características de Programas, Descrição: O conjunto de transformações, aplicado pelo compilador durante o processo de geração de código final, irá impactar o desempenho do código final. Devido às otimizações alterarem a estrutura do código original; embora sem alterar a sua semântica. De fato, é esperado que o código final tenha uma melhor qualidade, quando comparado com o código original. Contudo, tal premissa nem sempre é verdadeira; pois uma determinada otimização pode melhorar a qualidade de um determinado programa mas não necessariamente de outro. Isto indica, que o problema de seleção de transformações é um problema dependente de programa. Neste contexto, um sistema que emprega estratégia de aprendizagem de máquina é uma ótima opção. Isto por apresentar bons resultados para o problema em questão, além de possuir um baixo tempo de resposta. Neste contexto, o objetivo deste projeto é validar uma representação de programas, que seja eficiente para ser empregada por sistemas inteligentes de geração de código; e consequentemente possa se tornar uma representação padrão para tais sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Anderson Faustino da Silva - Coordenador / Nilton Luiz Queiroz Junior - Integrante., Número de produções C, T & A: 2

• 2016 - 2019

  Sistemas para apicultura de precisão, Descrição: A Apicultura de Precisão tem por objetivo monitorar em tempo real as características da colmeia, e assim identificar possíveis problemas. Com o avanço da tecnologia é possível identificar precisamente o que está ocorrendo nas colmeias, como também no ecossistema no qual elas estão inseridas. Desta forma, é possível em um curto espaço de tempo tomar medidas que possibilitem a preservação do ecossistema e de suas espécies. Este projeto propõe desenvolver sistemas de apoio a Apicultura de Precisão. Desta forma será possível monitorar em tempo real das condições das colméias existentes na Fazenda Experimental de Iguatemi, município de Iguatemi/PR, do Departamento de Zootecnia da Universidade Estadual de Maringá.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Anderson Faustino da Silva - Coordenador / Lucimar Pontara Peres - Integrante / Luis Gustavo Araujo Rodrigues - Integrante / William Kenji Takahara Sakata - Integrante.

• 2015 - 2018

  Mitigação do Problema de Seleção de Otimizações, Descrição: Códigos gerados por compiladores podem não ter a melhor qualidade possível, devido à dificuldade de obter a sequência de instruções ótima em meio a inúmeras possibilidades. Desenvolvedores de compiladores procuraram melhorar a qualidade do código gerado mediante a implementação de inúmeras otimizações. A aplicação de otimizações, porém, pode prejudicar a qualidade do código, se mal utilizada. Dentre dezenas de otimizações geralmente providas por um compilador é um desafio, até mesmo para o mais experiente programador, saber qual conjunto gera o melhor código alvo para determinado código fonte. Nesse contexto, o desenvolvimento de seletores de otimizações é um desafio nos dias atuais. Abordagens para a implementação desses seletores são encontradas na literatura e envolvem o uso de buscas aleatórias, exaustivas e heurísticas, algoritmos genéticos e aprendizagem de máquina. Tais trabalhos têm demonstrado que é possível melhorar o desempenho dos programas selecionando-se o conjunto de otimizações a serem aplicadas a partir de um processo guiado. Contudo, tais trabalhos incorrem no problema do uso de estratégias ineficientes. Neste contexto, este projeto tem por objetivo propor e validar estratégias que melhorem a eficiência de seletores de otimização.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Anderson Faustino da Silva - Coordenador., Número de produções C, T & A: 1

• 2013 - 2014

  Aplicações de Sistemas Móveis em Controle Ambiental, Descrição: O crescente uso de sistemas móveis e ubíquos se deve aos constantes avanços tecnológicos que viabilizam a miniaturização de dispositivos computacionais e a comunicação sem fio, tais como os smartphones e sensores sem fio, e aos benefícios que trazem para a sociedade. A pesquisa e desenvolvimento nas área de sistemas móveis e ubíquos, doravante denominados sistemas móveis, visa explorar a conectividade oferecida pela comunicação sem fio desses dispositivos combinada com sua utilização de forma imperceptível em benefício da sociedade, como por exemplo, em aplicações de monitoramento e controle ambiental. Neste contexto, uma questão importante é a qualidade dos serviços (QdS) disponibilizados por um sistema móvel, considerando as limitações de capacidade de processamento, armazenamento, comunicação e energia dos dispositivos. Neste projeto, propomos desenvolver um sistema móvel e avaliar sua QdS utilizando uma aplicação-alvo na área de Zootecnia.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Anderson Faustino da Silva - Coordenador / Claudio Luiz de Amorim - Integrante / Lucimar Pontara - Integrante / Priscilla Ayleen Bustos Mac Lean - Integrante., Número de produções C, T & A: 4

• 2012 - 2014

  Desafios em Sistemas de Computação, Descrição: O Grupo de Pesquisa em Arquitetura de Sistemas de Computação tem como objetivo neste projeto fomentar a área de arquitetura de sistemas de computação com novas estratégias que maximizem o desempenho de tais arquiteturas. Para alcançar este objetivo forma estabelecidas cinco linhas de pesquisa, a saber: arquitetura de computadores, sistemas operacionais, linguagens de programação, compiladores e redes de sensores sem fio. E por sua vez, em cada uma destas linhas foram estabelecidas algumas metas visando assim dar continuidade as pesquisas existentes nestas linhas e fomentar não apenas o desenvolvimento de novas tecnologias mas também a formação de novos pesquisadores.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) . , Integrantes: Anderson Faustino da Silva - Coordenador / Juliano - Integrante.

• 2012 - 2014

  PAC-GPU: Paralelização de Aplicações Científicas em GPU, Descrição: A idéia principal do presente projeto é usar as facilidades de programação e execução paralela disponível para GPUs (Unidades de Processamento Gráfico) para resolver problemas comumente conhecidos nas diferentes áreas de conhecimento, que envolvam complexidade algorítmica ou grande quantidade de dados. Normalmente, estes problemas têm dificultado o avanço das pesquisas nas respectivas áreas devido ao elevado tempo requisitado de solução. Neste sentido, técnicas de modelagem e programação serão utilizadas em conjunto com ferramentas de apoio aos desenvolvedores para dividir a resolução de determinado problema demorado entre diversas unidades de processamento simultaneamente, utilizando a memória compartilhada como meio de comunicação, reduzindo significativamente o tempo de obtenção dos resultados. Isto permitirá, conseqüentemente, a realização de um número maior de experimentos e a melhoria da qualidade das pesquisas. A grande vantagem está no baixo preço de aquisição de equipamentos GPU quando comparados a clusters de alto desempenho.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Anderson Faustino da Silva - Integrante / Ronaldo Augusto de Lara Gonçalves - Coordenador / Henrique - Integrante / Mauro Henrique Mulati - Integrante / Robertino Mendes Santiago Jr - Integrante., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2011 - 2014

  Projeto Sistemático de Veículos Autônomos para Monitoramento de Culturas com Comunicação Segura (ProjUAV), Descrição: Este projeto tem como objetivo geral o desenvolvimento de técnicas de construção de UAVs como meio de dominar esta tecnologia e buscar contribuições científicas e tecnológicas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anderson Faustino da Silva - Integrante / Luciana Andreia Fondazzi Martimiano - Integrante / Itana Maria de Souza Gimenes - Coordenador / João Angelo Martini - Integrante / Márcio Oyamada - Integrante., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2011 - 2014

  INCT NAMITEC, Descrição: O Instituto Nacional de Ciência e Tecnologia (INCT) NAMITEC tem como objetivo principal realizar pesquisa e desenvolvimento em sistemas micro e nanoeletrônicos integrados inteligentes, que propiciem a realização de sistemas eletrônicos autônomos tais como redes de sensores inteligentes, sistemas embarcados e sistemas auto-ajustáveis, com aplicações em particular em agricultura de precisão, no controle ambiental, em energia, na instrumentação biomédica, na indústria automotiva e aeroespacial e nas telecomunicações. Dentro desse contexto os principais objetivos do projeto são: * Pesquisar e desenvolver sistemas em chip e sistemas de redes de sensores; * Pesquisar e desenvolver metodologias e ferramentas de projeto e teste de circuitos integrados com baixo consumo de energia, tolerantes a falhas, incluindo circuitos analógicos, RF e digitais; * Pesquisar e desenvolver dispositivos micro e nanoeletrônicos, fotônicos e optoeletrônicos, MEMS e NEMS e seus processos de integração e encapsulamento; * Pesquisar materiais e técnicas de micro e nanofabricação necessários para a fabricação dos dispositivos e circuitos integrados. O projeto conta com uma equipe multidisciplinar de várias instituições de ensino e pesquisa nos domínios da física, química, ciência da computação e engenharia elétrica/eletrônica e agropecuária (Embrapa). Participam 132 pesquisadores de 27 unidades em 22 instituições no país, localizadas em 13 estados nas diversas regiões do país. O grupo proponente mantém colaboração intensa com vários grupos de pesquisa no exterior e com várias empresas no país, realizando trabalhos conjuntos. Coordenação Geral: Prof. Jacobus W. Swart. No. Processo CNPq. 573.738/2008-4.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anderson Faustino da Silva - Integrante / Thais Regina de Moura Braga Silva - Integrante / Linnyer Beatryz Ruiz - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 5

• 2011 - 2012

  SDCC UNB-RISC16: Uma Versão do Small Device C Compiler para o Microprocessador UNB-RISC16, Descrição: Compiladores desenvolvidos para gerar código para microprocessadores leva deve considerar as restrições impostas por tais componentes, por exemplo tamanho de memória. O presente projeto tem por objetivo desenvolver uma versão do compilador SDCC que gere código para o microprocessador UNB-RISC16, um microprocessador que possui frequência de operação de 16 MHz, uma ULA de ponto fixo, um banco de registradores com 16 registradores, memória ROM de 2Kbytes e memória SRAM de 8 Kbytes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Anderson Faustino da Silva - Coordenador / Leandro Santiago da Silva - Integrante.

• 2009 - 2012

  PAC-Clusters - Paralelização de Aplicações Científicas em Clusters de Computadores, Descrição: A idéia principal do presente projeto é usar a programação paralela e distribuída em clusters de computadores para resolver problemas comumente conhecidos nas diferentes áreas de conhecimento, que envolvam complexidade algorítmica ou grande quantidade de dados. Normalmente, estes problemas têm dificultado o avanço das pesquisas nas respectivas áreas devido ao elevado tempo requisitado de solução. Neste sentido, técnicas de modelagem e programação serão utilizadas em conjunto com ferramentas de apoio aos desenvolvedores para dividir a resolução de determinado problema entre diversos computadores simultaneamente, reduzindo significativamente o tempo de obtenção dos resultados. Isto permitirá, conseqüentemente, a realização de um número maior de experimentos e a melhoria da qualidade das pesquisas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Anderson Faustino da Silva - Integrante / Ronaldo Augusto de Lara Gonçalves - Coordenador., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2008 - 2012

  Compilação Dinâmica Assistida: Uma Alternativa à Execução Eficiente de Linguagens Lógicas e ao Problema da Agressividade Pura, Descrição: O objetivo deste projeto é desenvolver técnicas de compilação para o sistema Prolog YAP, unindo os benefícios da compilação dinâmica com os da análise global, e posteriormente aplicar esta técnicas em sistemas que utilizam linguagens declarativas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Anderson Faustino da Silva - Coordenador.

• 2008 - 2011

  Suporte à Percepção e ao Contexto em Ambientes de Desenvolvimento Distribuído de Software, Descrição: O desenvolvimento distribuído de software tem sido adotado, cada vez mais, para minimizar as dificuldades encontradas com o crescimento do mercado global e tem se tornado uma atividade multi-site, multi-cultural e globalmente distribuída. A distribuição física das equipes agrava os problemas já inerentes à gerência do processo de desenvolvimento. Diferenças culturais, de linguagem, de fuso horário, entre outros aspectos, aumentam a complexidade na comunicação, coordenação e controle durante o desenvolvimento de software. Desta forma, uma série de desafios se apresenta em todos os níveis e setores, sejam técnicos, sociais ou culturais. Na tentativa de garantir a comunicação clara e não ambígua, entre os indivíduos envolvidos no trabalho cooperativo, pesquisadores investiram na utilização de técnicas de percepção que, combinadas ao gerenciamento de contexto, favoreceram os estudos acerca de sistemas conhecidos como context-awareness. Assim, definir modelos e mecanismos que ofereçam suporte ao contexto no trabalho cooperativo em um ambiente de desenvolvimento distribuído de software torna-se uma necessidade antes mesmo do que ter o privilégio de usufruir das facilidades proporcionadas pelas tecnologias. O desenvolvimento deste projeto explorará tecnologias relacionadas à reutilização, contexto, percepção e segurança considerando o desenvolvimento distribuído de software. Para viabilizar a construção de um ambiente deste porte, este projeto explorará características específicas de uma infra-estrutura distribuída. Este trabalho tem por objetivo contribuir com novas pesquisas no ambiente DiSEN (Distributed Software Engineering Environment). Para tanto, serão desenvolvidos mecanismos de apoio à comunicação, percepção, contexto e segurança e, assim, oferecer suporte aos problemas provocados pela distância temporal, geográfica e sócio-cultural presentes no desenvolvimento distribuído de software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Anderson Faustino da Silva - Integrante / Elisa Hatsue Moriya Huzita - Coordenador / Tania Fatima Calvi Tait - Integrante / Luciana Andreia Fondazzi Martimiano - Integrante / Ana Paula Chaves - Integrante / Gislaine Camila Lapasini Leal - Integrante.

• 2004 - 2007

  Java/WSPAD, Descrição: Distribuição de Serviços Web em Java.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anderson Faustino da Silva - Integrante / Marcelo Lobosco - Integrante / Claudio Luiz de Amorim - Coordenador.

• 2001 - 2003

  NCP3, Descrição: Servidores Escaláveis para Aplicações Científicas, Multimídia e de Comércio Eletrônico. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Anderson Faustino da Silva - Integrante / Claudio Luiz de Amorim - Coordenador / Silvano Dias - Integrante / Thobias Trevisan - Integrante., Número de produções C, T & A: 2

Prêmios