Buscas alternativas:
parallel has » parallel task (Expandir a busca), parallel bus (Expandir a busca), parallel h (Expandir a busca)
logic » logica (Expandir a busca)
parallel has » parallel task (Expandir a busca), parallel bus (Expandir a busca), parallel h (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:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
4
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
5
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
6
7
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
8
“... 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
9
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
10
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
11
Assuntos:
“...Controlador Lógico Programável (CLP)...”
Projeto de um kit ARM para simulação de um CLP residencial de baixo custo com placa de expansão de relês sem fio
Dissertação
12
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
13
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
14
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
15
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação
16
“... 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
17
“...Parallel computing has been widely used in various fields of knowledge to solve highly complex...”
Modelos de paralelização de aplicações científicas estruturadas em árvores: geração de estimativas iniciais utilizando algoritmo de subdivisão
Dissertação
18
“..., uma evolução do controle reativo. A lógica desta técnica torna mais simples a programação e organização...”
[en] BEHAVIOR BASED CONTROL OF AUTONOMOUS ROBOTS WITH OPTICAL AND ULTRASONIC SENSORS
Tese
19
“... 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
20
“... 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