\documentclass[a4paper]{letter}

\usepackage[utf8]{inputenc}
\usepackage[brazil]{babel}
\usepackage{hyperref}
\usepackage{url}
\usepackage{fullpage}

\signature{João Paulo Pizani Flor}

\address{João Paulo Pizani Flor \\
    Avenida Santa Catarina, 174 \\
    São José - SC \\
    88110-300, Brasil}

\begin{document}
 
\begin{letter}{Instituto de Computação \\
    Universidade Estadual de Campinas \\
    Avenida Albert Einstein, 1251 - Cidade Universitária \\
    13083-852, Campinas/SP, Brasil}

    \opening{\textbf{Plano de trabalho sucinto para o programa de mestrado em Computação}}
    \vspace{7pt}

    Vislumbro desenvolver a pesquisa que levará a meu mestrado dentro da grande área de \emph{Arquitetura
    de Computadores, Compiladores e Projeto de Hardware}. Mais especificamente, creio que meu
    trabalho se encaixaria na linha de pesquisa de \emph{Projeto Integrado de Hardware e Software}.
    Meu Trabalho de Conclusão de Curso de graduação tratou da descrição unificada (em C++) de um
    componente de sistema operacional, que pôde então ser implementado automaticamente tanto em software
    quanto hardware.

    Cada vez mais, sistemas embarcados são ``híbridos'', no sentido em que possuem componentes executando
    em software e componentes executando em hardware, com grande necessidade de comunicação entre si.
    Um exemplo de área de aplicação onde tal ``integração'' tem bastante relevância é
    \emph{Software-Defined Radio}. Uma metodologia que permita a descrição \emph{unificada} de sistemas
    computacionais -- e fluxos de implementação automáticos desses sistemas tanto em software quanto em
    hardware -- teria ao menos as seguintes grandes vantagens:
    \begin{itemize}
        \item Eliminaria duplicação na programação do algoritmo-alvo e também nos testes, reduzindo a
            possibilidade de erros decorrentes dessa duplicação.
        \item Facilitaria a exploração do espaço de projeto, tornando automática a 
            derivação de várias implementações alternativas do algoritmo-alvo, tanto em software quanto
            em hardware (várias microarquiteturas).
    \end{itemize}

    Visualizo o desenvolvimento de um mestrado em tal linha de pesquisa subdividido, pelo menos,
    nas seguintes etapas:
    \begin{itemize}
        \item Investigação do estado da arte na área de síntese de alto nível (ferramentas e técnicas).
        \item Desenvolvimento de pequenos protótipos de algoritmos com a metodologia ``unificada''
            proposta. Algoritmos de cálculo numérico, computação gráfica e inteligência artificial
            seriam interessantes.
        \item Desenvolvimento de ferramenta para geração automática de interfaces de comunicação
            (barramentos, NoCs, etc.) entre hardware e software.
        \item Investigação/aplicação das metodologias propostas em um sistema complexo, onde o
            particionamento dos componentes entre hardware e software venha da otimização sobre o espaço de
            projeto, e busca da proximidade em performance com sistemas desenvolvidos ``manualmente''.
    \end{itemize}

    As atividades de pesquisa e desenvolvimento seriam realizadas no período de 2 anos, com minha dedicação
    integral (financiado por bolsa CNPq/CAPES ou FAPESP), iniciando-se em fevereiro de 2012.

    \closing{Atenciosamente,}

    \end{letter}
 
\end{document}
