Repositório Institucional da FURG (RI FURG) 1 Repositório Institucional da Universidade Federal Fluminense (RIUFF) 1

Azevedo, Guilherme Henrique Ismael de 1 Porto, Gabriel Soares 1

Tese 1 Dissertação 1

Português 2

Automatic test pattern generation 1 Automação de projeto eletrônico 1 Boolean satisfiability method 1 Circuitos integrados 1 Computer engineering 1 Electronic design automation 1 Mais ... Engenharia de computação 1 Escalonamento de projeto 1 Escalonamento de projetos 1 Geração automática de padrões de teste 1 Integrated circuits (Testing) 1 Microelectronic 1 Microeletrônica 1 Métodos estruturais 1 Optimization 1 Otimização 1 Otimização combinatória 1 Problema de satisfabilidade 1 Problema de satisfabilidade booleana 1 Project scheduling 1 Resource constraint 1 Restrição de carga de trabalho 1 Restrição de recurso 1 Restrição de recursos 1 Satisfiability problem 1 Structural methods 1 Workload constraint 1 Ver todos ... menos ...