Buscas alternativas:
parallel inter » parallel filter (Expandir a busca), parallel inverter (Expandir a busca), parallel finite (Expandir a busca)
inter logic » inter loc (Expandir a busca), internal logic (Expandir a busca), interval logic (Expandir a busca)
parallel inter » parallel filter (Expandir a busca), parallel inverter (Expandir a busca), parallel finite (Expandir a busca)
inter logic » inter loc (Expandir a busca), internal logic (Expandir a busca), interval logic (Expandir a busca)
1
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
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:
“...Storytelling Interativo...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação
5
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
6
“... e mais o objeto a ser manipulado. A plataforma de Stewart tem recebido recentemente considerável interesse...”
Estratégias de controle não-convencional para uma plataforma de Stewart acionada hidraulicamente
Tese