• Arquiteturas em hardware para o alinhamento local de sequências biológicas 

      Mallmann, Rafael Mendes (2010) [Dissertação]
      Bancos de dados biológicos utilizados para comparação e alinhamento local de sequências tem crescido de forma exponencial. Isso popularizou programas que realizam buscas nesses bancos. As implementações dos algoritmos de ...
    • Síntese automática do leiaute de redes de transistores 

      Ziesemer Junior, Adriel Mota (2014) [Tese]
      Fluxo de síntese física baseado em standard cells tem sido utilizado na indústria e academia já há um longo período de tempo. Esta técnica é conhecida por ser bastante confiável e previsível uma vez que a mesma biblioteca ...