Buscas alternativas:
parallel setor » parallel vector (Expandir a busca), parallel network (Expandir a busca), parallel vectors (Expandir a busca)
setor logic » sets logic (Expandir a busca), setor logista (Expandir a busca), setor eolico (Expandir a busca)
parallel setor » parallel vector (Expandir a busca), parallel network (Expandir a busca), parallel vectors (Expandir a busca)
setor logic » sets logic (Expandir a busca), setor logista (Expandir a busca), setor eolico (Expandir a busca)
1
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
2
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