Buscas alternativas:
parallel not » parallel to (Expandir a busca), parallel cut (Expandir a busca), parallel sat (Expandir a busca)
logic » logica (Expandir a busca)
parallel not » parallel to (Expandir a busca), parallel cut (Expandir a busca), parallel sat (Expandir a busca)
logic » logica (Expandir a busca)
1
Assuntos:
“...Parallelism in logic programming...”
Um ambiente para exploração de paralelismo na programação em lógica
Dissertação
2
Assuntos:
“...Parallel and distributed processing (Computing)...”
Depuração de erros lógicos em programas paralelos.
Tese
3
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
4
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
5
6
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
7
Assuntos:
“...Not available...”
Uma abordagem orientada a objetos de uma ferramenta de auxilio a programação paralela
Tese
8
9
Assuntos:
“...Arranjos de lógica programável em campo...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese
10
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
11
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
12
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
13
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
14
“... reality techniques, and an programming environment for developing the control logic. The programming...”
Ambiente de programação e integração para manufatura virtual “APIMV”
Dissertação
15
“.... 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
16
“... e lógica difusa fornecem um paradigma computacional característico e tem demonstrado resultado...”
Estratégias de controle não-convencional para uma plataforma de Stewart acionada hidraulicamente
Tese
17
18
19
“... são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
20
“... que esta opera com múltiplas unidades lógicas aritméticas, até milhares de unidades, bem diferente...”
Otimização de busca por SNPs baseada em máscaras por meio de unidade de processamento gráfico (GPU)
Dissertação