Buscas alternativas:
parallel other » parallel solver (Expandir a busca), parallel layer (Expandir a busca), parallel power (Expandir a busca)
other logic » order logic (Expandir a busca), the logic (Expandir a busca), order logics (Expandir a busca)
parallel other » parallel solver (Expandir a busca), parallel layer (Expandir a busca), parallel power (Expandir a busca)
other logic » order logic (Expandir a busca), the logic (Expandir a busca), order logics (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:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
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
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
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:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação
10
“... e o mapeamento lógico desses processos nos processadores. A ferramenta FAPP gera automaticamente o esqueleto...”
Uma abordagem orientada a objetos de uma ferramenta de auxilio a programação paralela
Tese
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