Buscas alternativas:
many programming » math programming (Expandir a busca), and programming (Expandir a busca), dance programming (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
logic many » logic and (Expandir a busca)
many programming » math programming (Expandir a busca), and programming (Expandir a busca), dance programming (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
logic many » logic and (Expandir a busca)
1
Assuntos:
“...Parallel and distributed processing (Computing)...”
Depuração de erros lógicos em programas paralelos.
Tese
2
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
3
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
4
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
5
“... process. Despite the many studies that have attempted to develop friendly methods for industrial...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
6
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
7
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
8
Assuntos:
“...Lógica fuzzy...”
Sistema de inferencia nebulosa ao planejamento da operação hidrotermica de medio prazo
Dissertação
9
Assuntos:
“...Linear programming...”
Uma contribuição ao problema de desligamento ótimo de linhas de transmissão para otimização da operação de um sistema de energia elétrica
Tese
10
“... implementation of the parallel model is written in the C programming language, using the MPI library from...”
Modelos de paralelização de aplicações científicas estruturadas em árvores: geração de estimativas iniciais utilizando algoritmo de subdivisão
Dissertação
11
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
12
“.... Para isso existem sistemas CLP (controlador lógico programável) que empregam microcontroladores responsáveis...”
Automação do sistema de direção de uma colhedora de café
Dissertação