Buscas alternativas:
implementations logic » implementation policy (Expandir a busca), implementations of (Expandir a busca), implementation of (Expandir a busca)
in implementations » an implementation (Expandir a busca), on implementation (Expandir a busca), dsm implementations (Expandir a busca)
implementations logic » implementation policy (Expandir a busca), implementations of (Expandir a busca), implementation of (Expandir a busca)
in implementations » an implementation (Expandir a busca), on implementation (Expandir a busca), dsm implementations (Expandir a busca)
1
Assuntos:
“...Agent programming...”
Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
Tese
2
Assuntos:
“...Inductive logic programming...”
Ampliando os limites do aprendizado indutivo de máquina através das abordagens construtiva e relacional.
Tese
3
4
Assuntos:
“...Arranjo de lógica programável em campo...”
Geração automática de aceleradores de domínio específico em FPGA
Tese
5
Assuntos:
“...Programming teaching...”
Provendo feedback estrutural sobre projetos de algoritmo no ensino da programação utilizando testes de design.
Dissertação
6
Assuntos:
“...Programming teaching...”
Provendo feedback estrutural sobre projetos de algoritmo no ensino da programação utilizando testes de design.
Dissertação
7
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
8
Assuntos:
“...Generic programming (Computer science)...”
Framework PON C++ 4.0: contribuição para a concepção de aplicações no paradigma orientado a notificações por meio de programação genérica
Dissertação
9
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
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
13
“... industriais. Estes, além de realizarem o controle de processo por lógica de intertravamento, também possuem...”
Metodologia para aferição da ação de controle proporcional integral derivativa implementada em controladores industriais.
Dissertação
15
“... 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
16
“... de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE...”
Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.
Tese
17
“... Capable Application Processor). A lógica de controle e as especificações dos transdutores (TEDS...”
Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451
Tese
18
“... para atingir a lógica e comportamento definidos pelo modelo alvo; e iii) camada de rede composta pelas sub...”
Modelos em tempo de execução para redes definidas por software auto-adaptáveis
Tese