Buscas alternativas:
parallel are » parallel and (Expandir a busca), parallel career (Expandir a busca), parallel plate (Expandir a busca)
are logic » hoare logic (Expandir a busca), and logic (Expandir a busca), the logic (Expandir a busca)
parallel are » parallel and (Expandir a busca), parallel career (Expandir a busca), parallel plate (Expandir a busca)
are logic » hoare logic (Expandir a busca), and logic (Expandir a busca), the 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:
“...Parallel and distributed processing (Computing)...”
Depuração de erros lógicos em programas paralelos.
Tese
3
Assuntos:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
4
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
5
Assuntos:
“...Arranjos de lógica programável em campo...”
Proposição do paradigma orientado a notificações no desenvolvimento de circuitos lógico-digitais reconfiguráveis
Tese
6
Assuntos:
“...Parallel programming...”
Algoritmo distribuído para alocação de múltiplos recursos em ambientes distribuídos.
Tese
7
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
8
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
9
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
10
11
“... 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
12
Assuntos:
“...Parallel programming...”
Adding native support for task scheduling to a Linux-capable RISC-V multicore system
Dissertação
13
14
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
15
Assuntos:
“...Parallel programming (Computer science)...”
Modelagem e simulação de filme radiográfico através de programação paralela e distribuída orientada a objetos
Tese
16
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
17
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
18
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
19
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
20
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