Buscas alternativas:
informatica logic » informatica jogos (Expandir a busca), informatica biologia (Expandir a busca), informatica medica (Expandir a busca)
informatica logic » informatica jogos (Expandir a busca), informatica biologia (Expandir a busca), informatica medica (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:
“...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:
“...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
7
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
8
9
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
10
“... 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
11
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
12
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
13
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
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:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
16
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação
17
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
18
“... 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
19
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