Buscas alternativas:
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
verification of » modification of (Expandir a busca), identification of (Expandir a busca), qualification of (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
verification of » modification of (Expandir a busca), identification of (Expandir a busca), qualification of (Expandir a busca)
1
2
Assuntos:
“...Parallel computation...”
Análise numérica na Engenharia do Vento Computacional empregando computação de alto desempenho e simulação de grandes escalas
Dissertação
3
4
“...). The data obtained through data collection were entered into the Excel program and statistical analyzes...”
Validação de um instrumento de avaliação do autocuidado dos pacientes com diabetes mellitus tipo 2
Dissertação
5
“..., aspects such as speedup and efficiency are obtained for the parallel program with the aim of evaluating...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
6
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa...”
Verificação de consistência e coerência de memória compartilhada para multiprocessamento em chip
Dissertação
7
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa...”
Verificação de consistência de memória para sistemas integrados multiprocessados
Dissertação
8
“... de um Memorial crítico-reflexivo desenvolvido no Programa de Pós-graduação em Artes Cênicas da Universidade...”
O acrobata da imaginação : o estado psicofísico imanente às técnicas teatrais no trabalho do ator
Dissertação
9
“...Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós...”
Design thinking e a criação de ativos do conhecimento na atividade docente
Tese
10
11
“...Um sistema de referência para determinação do equivalente de dose pessoal, HP (10), e um programa...”
Desenvolvimento de um sistema de referência para determinação do equivalente de dose pessoal e da constância de feixes de radiação X
Tese
12
“... ser verificadas automaticamente por meio de programas de computador. O programa adotado foi o software Solibri...”
Regras de verificação e validação de modelos BIM para sistemas prediais hidráulicos e sanitários.
Dissertação
13
“...Dissertação (mestrado) — Universidade de Brasília, Instituto de Relações Internacionais, Programa...”
Crime, conflict, and peace : violent non-state groups and crop substitution in the Colombia-Ecuador borderland (2017-2021)
Dissertação
14
“... their Interfaces from the Graduation Program in Education of Universidade Federal de Santa Maria – and...”
As políticas de governo no Rio Grande do Sul de 2015 a 2018 e as condições de trabalho pedagógico na rede pública estadual: movimentos de continuidade do discurso sob a lógica do c...
Tese
15
“... estavam em conformidade, constatando-se maior adesão ao programa de BPF e a agroindústria manteve-se classificada...”
Diagnóstico das condições higiênico-sanitárias e implantação das boas práticas de fabricação em uma agroindústria familiar de embutidos cárneos em Pelotas/RS
Dissertação
16
“...) were computed. Considering Bartlett's sphericity test, and Kaiser and Cattell s criteria and Parallel...”
Direitos humanos e tomada de perspectiva social: verificação de um modelo teórico
Tese
17
“... de Cochran-Mantel-Haenszel X2 e modelos de regressão logística (α=0,05) foram realizadas no programa...”
Suicídios no Rio Grande do Sul, Brasil : desenvolvimento e validação de método analítico para detecção de novas substâncias psicoativas em amostras forenses de sangue, aplicação na...
Tese
18
19
20
“... na Relação Estadual de Medicamentos para o Programa Farmácia de Minas: atenção primária à saúde e 18,5...”
Perfil das demandas judiciais de medicamentos no âmbito da Superintendência Regional de Saúde de Juiz de Fora - MG: aplicação de indicadores de avaliação e monitoramento
Dissertação