Buscas alternativas:
parallel at » parallel sat (Expandir a busca), parallel data (Expandir a busca), parallel flat (Expandir a busca)
at logic » and logic (Expandir a busca), of logic (Expandir a busca), _ logic (Expandir a busca)
parallel at » parallel sat (Expandir a busca), parallel data (Expandir a busca), parallel flat (Expandir a busca)
at logic » and logic (Expandir a busca), of logic (Expandir a busca), _ 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:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
3
4
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
5
Assuntos:
“...Parallel programming...”
Adding native support for task scheduling to a Linux-capable RISC-V multicore system
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
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
8
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
9
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
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:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação
12
Assuntos:
“...Arranjos de lógica programável em campo...”
Estudo e implementação de operações em ponto fixo em FPGA com VHDL 2008: aplicação em controle de sistemas em tempo discreto
Dissertação
13
“... 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
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
15
16
“... 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
17
“... suas lógicas e ao ensinar ao seu leitor como lidar com esse novo cenário midiático; o relacionamento construído...”
"Intervalo para Conversa": a carta do leitor de revista e a formação do público da tv brasileira nos anos 1960 e 1970
Tese