1
2
3
Assuntos:
“...Resolução SMT...”
Novas técnicas de instanciação e produção de demonstrações para a resolução SMT
Tese
4
5
“... 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
6
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
7
8
9
10
11
12
“... 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
13
Assuntos:
“...SMT...”
Projeto de dispositivos optoeletrônicos automotivos utilizando abordagem de sistemas Fuzzy
Tese
14
Assuntos:
“...Sistema de Memória Transacional (SMT)...”
Aprendizagem em equipes de trabalho e a formação do Sistema de Memória Transacional
Tese
15
Assuntos:
“...SMT...”
TSNsched: automated schedule generation for time sensitive networking
Dissertação
16
Assuntos:
“...Arquiteturas SMT...”
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos
Tese
17
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
18
19
Assuntos:
“...Protocolo SMT...”
Fracionamento químico de fósforo em testemunho de sedimento do Reservatório Macela, Itabaiana-Sergipe
Dissertação
20
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