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:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
5
6
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
7
“... 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
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
“... 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
14
“.... 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