CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Rafael Auler em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O principal objetivo deste projeto é estudar e criar técnicas para emulação eficiente de Open-ISA utilizando métodos de tradução e otimização dinâmica de binários para a implementação da máquina virtual Open-ISA VM. O conjunto de instruções será desenvolvido concomitantemente à máquina virtual, com o foco na facilidade de sua emulação. O projeto Open-ISA visa construir uma arquitetura liv…
O processo de automatização da criação de backends de compiladores, isto é, docomponente responsável principalmente pela tradução final para código de máquina, é perseguido desde o início da formação da teoria decompiladores. Esta pressão por isolar o código, da descrição formal da máquina, decorre das características do desenvolvimento destescomponentes: um processo longo, envolvendo aná…
A difusão da tecnologia conhecida como SoC (System on a Chip) requer novos paradigmas para a especificação, implementação e verificação do projeto. A alta complexidade de tais sistemas e a grande variedade de configurações disponíveis podem tornar a escolha do sistema ideal demorada, prolongando o tempo de projeto. Em especial, no processo de escolha de um certo processador, o projetista …
| 3 | Bolsas no país concluídas |
| Processos vinculados | |