Mostrando 1 - 10 resultados de 10 para a busca 'parallel methods logic programming~', tempo de busca: 4,96s

2

... 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

Publicado em 2009
Tese

4

6

... exact methods were not found. In this context, six mixed integer programing (MIP) scheduling...

Sequenciamento de máquinas paralelas não relacionadas com tempo de preparação dependentes da sequência e da máquina

Publicado em 2015
Dissertação

7

..., 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

Publicado em 2010
Tese

8

... 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

Publicado em 1995
Tese