1
2
Assuntos:
“...Resolução SMT...”
Novas técnicas de instanciação e produção de demonstrações para a resolução SMT
Tese
3
4
“... baseado em SMT (ESBMC), que tem como propósito verificar programas de Unidades de Processamento Gráfico...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação
5
Assuntos:
“...protocolo SMT...”
Determinação das frações de fósforo no sedimento superficial dos principais rios da cidade de São Roque, SP
Dissertação
6
7
8
9
10
11
“... de Satisfatibilidade (Satisfiability Modulo Theories - SMT). Durante o trabalho é detalhado a metodologia e exemplo...”
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Dissertação
12
Assuntos:
“...SMT...”
Projeto de dispositivos optoeletrônicos automotivos utilizando abordagem de sistemas Fuzzy
Tese
13
Assuntos:
“...Sistema de Memória Transacional (SMT)...”
Aprendizagem em equipes de trabalho e a formação do Sistema de Memória Transacional
Tese
14
Assuntos:
“...SMT...”
TSNsched: automated schedule generation for time sensitive networking
Dissertação
15
Assuntos:
“...Arquiteturas SMT...”
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos
Tese
16
Assuntos:
“...Eventos Kaizen. SMT...”
Eventos Kaizen aplicados no processo de linha de montagem SMT para redução de tempo de set-up: estudo de caso
Dissertação
17
18
Assuntos:
“...Protocolo SMT...”
Fracionamento químico de fósforo em testemunho de sedimento do Reservatório Macela, Itabaiana-Sergipe
Dissertação
19
Assuntos:
“...Protocolo SMT...”
Avaliação da contaminação e interferência antropogênica através da análise de fósforo em sedimentos superficiais da bacia hidrográfica do rio Japaratuba
Dissertação
20
“...) foi aplicado para caracterizar e otimizar o processo de soldagem por refusão na linha de montagem SMT...”
Aplicação do método seis sigma ao processo de refusão na tecnologia de montagem em superfície (SMT - \'surface mount technology\').
Dissertação