Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Register Allocation via Coloring of Chordal Graphs
This project consists in the design and implementation of a non-iterative algorithm for register allocation based on graph coloring. We present a simple, linear-time algorithm which is competitive with the iterated register coalescing strategy of George and Appel. We base the new algorithm on the observation that more than 95%
Projeto Tamanduá
O Projeto Tamanduá tem por objetivo projetar e implementar uma plataforma escalável e eficiente de serviços de mineração de dados. Essas propriedades são atingidas pela utilização de novos algoritmos paralelos construídos sobre a plataforma Formigueiro (Anthill), onde é possível explorar três dimensões de paralelismo: dados, tarefas e assincronia. A plataforma
Robustez, desempenho e segurança em redes ubíquas de coisas
O projeto visa o desenvolvimento da tecnologia de redes de computadores no âmbito da Internet de coisas. Ele é composto por sete sub-projetos relacionados à robustez e segurança das comunicações em um ambiente de redes heterogêneo, típico do encontrado pelos sistemas vislumbrados para a Internet de coisas. O Sub-projeto 1
Instituto Nacional de Ciência e Tecnologia de Nanodispositivos Semicondutores
O tema do Instituto engloba o estudo e o desenvolvimento de nanoestruturas semicondutoras para a confecção de dispositivos optoeletrônicos com ênfase em fotodetectores de infravermelho médio e dispositivos inéditos baseados em efeitos puramente quânticos ainda não explorados. Neste Instituto tanto o desenvolvimento de tecnologias inovadoras como a ciência básica deverão
Infra-estruturas de dados espaciais e sistemas de informação geográficos de acoplamento fraco
O compartilhamento de grandes volumes de informação espacial vem se tornando cada vez mais importante. Sistemas de informação geográficos (SIG) deixaram de ser apenas ferramentas ligadas a projetos para se tornarem gerenciadores de recursos informacionais corporativos. Aspectos sociais da informação geográfica também emergiram como recursos fundamentais para a ação governamental.
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
Ferramenta para diagnóstico de falhas em veículos automotores
Desenvolvimento de uma nova plataforma de hardware para o scanner automotivo Scanycar, sem o uso de cartuchos. Essa plataforma deveria ser capaz de se comunicar com as diferentes redes de comunicação de dados existentes nos veículos atuais e com a interface serial RS-232 de um computador pessoal (PC). Alunos envolvidos:
Medindo e Modelando Humor Expresso em Opiniões Públicas em Microblogs
Redes sociais online têm atraído milhões de usuários e é atualmente a atividade online mais popular na Internet. Em particular, o Twitter vem constantemente crescendo como um importante sistema onde usuários discutem sobre tudo, expressando opiniões, visão política, orientação sexual e até mesmo conceitos vagos como humor e felicidade. Devido
Otimização de Código para Placas Gráficas
O objetivo deste grupo de pesquisa é permitir, via o desenvolvimento de técnicas de geração e otimização de código, que desenvolvedores de programas melhor usufruam do alto poder de processamento de arquiteturas computacionais paralelas. Tais técnicas possibilitam, portanto, que estes desenvolvedores possam se concentrar em problemas algorítmicos, trabalhando com linguagens
