CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Projeto de verificação de regras Aritmética computacional Arquitetura de computador Arquitetura orientada a serviços Arquiteturas DES CAD tools CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO Circuitos de multiplicação Circuitos eletrônicos (testes) Ciência da computação Compactação de algoritmos Compaction algorithms Computer Networks Criptografia de dados (Ciência da computação) Data Encryption Standard EDA tools Internet technology Layout simbólico Multithreading Network managers Orientação a objetos Orientação para objetos Padrões de projetos de software Processador RISC Programação orientada a objetos RISC processor Redes de computadores