Buscas alternativas:
parallel valid » parallel and (Expandir a busca)
valid logic » valued logic (Expandir a busca), value logic (Expandir a busca), valued logics (Expandir a busca)
parallel valid » parallel and (Expandir a busca)
valid logic » valued logic (Expandir a busca), value logic (Expandir a busca), valued logics (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 programming (Computer science)...”
Modelagem e simulação de filme radiográfico através de programação paralela e distribuída orientada a objetos
Tese
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
4
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
5
Assuntos:
“...Linear programming...”
Uma contribuição ao problema de desligamento ótimo de linhas de transmissão para otimização da operação de um sistema de energia elétrica
Tese
6
“.... A ferramenta desenvolvida, implementada e validada neste trabalho (FAPP - Ferramenta de Auxílio à Programação...”
Uma abordagem orientada a objetos de uma ferramenta de auxilio a programação paralela
Tese
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
Tese
8
“... dos fornos. A escolha do modelo validado foi feita a partir do resultado obtido da função objetivo, gap...”
Modelagem matemática para otimização do planejamento e programação da produção em uma fundição de pequeno porte
Dissertação
9
“... e, também, auxiliar a validar os resultados estatísticos junto à comunidade científica. O aplicativo Sis...”
RFlow: uma arquitetura para execução e coleta de proveniência de workflows estatísticos
Dissertação