Buscas alternativas:
sat programming » set programming (Expandir a busca), math programming (Expandir a busca), plant programming (Expandir a busca)
and sat » and seat (Expandir a busca), and salt (Expandir a busca), and sao (Expandir a busca)
Mostrando 1 - 5 resultados de 5 para a busca 'parallel and sat programming', tempo de busca: 0,15s

1

Assuntos: “...Parallel SAT solver...”

Parallel SAT solvers and their application in automatic parallelization

Publicado em 2014
Acessar documento
Dissertação

2

Assuntos: “...Parallel programming...”

Métodos em GPU para explorar a estabilidade topológica de nanomagnetos

Publicado em 2020
Acessar documento
Tese

3

Assuntos: “...Parallel Simulations...”

Simulação da dinâmica do micromagnetismo de vórticesiImplementados em plataformas de programação em paralelo

Publicado em 2016
Acessar documento
Dissertação

4

Um estudo comparativo da analise de curto-circuito probabilistico em ambientes paralelo e distribuido

Publicado em 1995
Acessar documento
Tese

5

Modelagem de curto prazo de séries temporais climáticas utilizando redes neurais artificiais, modelos aditivos generalizados e sazonais autoregressivos integrados de médias móveis...

Publicado em 2019
Acessar documento
Tese