Buscas alternativas:
parallel one » parallel code (Expandir a busca), parallel mode (Expandir a busca), parallel and (Expandir a busca)
one logic » mode logic (Expandir a busca), and logic (Expandir a busca), in logic (Expandir a busca)
parallel one » parallel code (Expandir a busca), parallel mode (Expandir a busca), parallel and (Expandir a busca)
one logic » mode logic (Expandir a busca), and logic (Expandir a busca), in logic (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:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
3
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
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:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
6
“... controller programming, they are still programmed by conventional trial-and-error methods and, in practice...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
7
8
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
9
Assuntos:
“...Lógica fuzzy...”
Sistema de inferencia nebulosa ao planejamento da operação hidrotermica de medio prazo
Dissertação
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA::ALGEBRA::LOGICA MATEMATICA...”
Simulação numérica tridimensional para escoamentos em reservatórios de petróleo heterogêneos
Dissertação
11
“... 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
12
13
“.... 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
14
“... 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