Buscas alternativas:
computation program » computational program (Expandir a busca), compensation program (Expandir a busca), companion program (Expandir a busca)
state computation » states competition (Expandir a busca), the computation (Expandir a busca), and computation (Expandir a busca)
parallel state » parallel plate (Expandir a busca), parallel plates (Expandir a busca), parallel systems (Expandir a busca)
computation program » computational program (Expandir a busca), compensation program (Expandir a busca), companion program (Expandir a busca)
state computation » states competition (Expandir a busca), the computation (Expandir a busca), and computation (Expandir a busca)
parallel state » parallel plate (Expandir a busca), parallel plates (Expandir a busca), parallel systems (Expandir a busca)
1
Assuntos:
“...Evolutionary computation...”
Contributions to the study of the protein folding problem using bioinspired computation and molecular dynamics
Tese
2
3
Assuntos:
“...Liquid state machines...”
Controle de posição com múltiplos sensores em um robô colaborativo utilizando liquid state machines
Dissertação
4
Assuntos:
“...Bulk synchronous parallel...”
MigBSP : a new approach for processes rescheduling management on bulk synchronous parallel applications
Tese
5
Assuntos:
“...Parallel processing...”
Utilização de técnicas de GPGPU em sistema de vídeo-avatar.
Dissertação
6
Assuntos:
“...Parallel metaheuristics...”
Models and algorithms for high school timetabling problems
Tese
7
Assuntos:
“...Parallel processing...”
ReDId: simulação de computação quântica baseada em redução e decomposição via Operador Identidade
Dissertação
8
Assuntos:
“...C++ (Computer program language)...”
Desarrollo de código bidimensional transitorio para estudio de transferencia de calor en flujo laminar e incompresible aplicado a convección natural con alta variación de relacione...
Dissertação
9
“... de programas paralelos mais direta....”
Um ambiente paralelo para implementação de modelos adaptativos.
Dissertação
10
“...Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós...”
Conversores reversos RNS-binário eficientes para aplicações com ampla faixa dinâmica
Tese
11
12
“... mencionada acima pode ser implementada em um programa de gerenciamento de confiabilidade estrutural...”
[pt] ACOPLAMENTO DE ESTADOS LIMITES NA AVALIAÇÃO DA CONFIABILIDADE ESTRUTURAL DE DUTOS E ESTRUTURAS
Tese
13
14
15
“... development cycle. Model Checking is an automatic formal technique that allows verification of finite-state...”
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Dissertação
16
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa...”
Uso de descritores de terreno para o mapeamento de áreas suscetíveis à inundação
Dissertação
17
“...Todo programador ou engenheiro de software lida com um problema crônico na concepção...”
Verificação distribuída de modelos: investigando o uso de grades computacionais.
Dissertação
18
“...Todo programador ou engenheiro de software lida com um problema crônico na concepção...”
Verificação distribuída de modelos: investigando o uso de grades computacionais.
Dissertação
19
“... de Ciência da Computação, Programa de Pós-Graducação em Informática, 2016....”
Fickett-CUDAlign : comparação paralela de sequências biológicas com estratégia multi-bloco de faixas ajustáveis
Dissertação
20
“...Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa...”
Infraestrutura automática para aritmética computacional baseada em RNS
Dissertação