Buscas alternativas:
parallel operators » parallel operation (Expandir a busca), parallel vectors (Expandir a busca), parallel compensator (Expandir a busca)
time programming » games programming (Expandir a busca), cone programming (Expandir a busca), to programming (Expandir a busca)
operators time » operators in (Expandir a busca), operative time (Expandir a busca), operating time (Expandir a busca)
parallel operators » parallel operation (Expandir a busca), parallel vectors (Expandir a busca), parallel compensator (Expandir a busca)
time programming » games programming (Expandir a busca), cone programming (Expandir a busca), to programming (Expandir a busca)
operators time » operators in (Expandir a busca), operative time (Expandir a busca), operating time (Expandir a busca)
1
Assuntos:
“...Linear Time Logic - LTL...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
2
Assuntos:
“...Linear Time Logic - LTL...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
4
5
“... (Application Programming Interface) de programação paralela MPI (Message Passing Interface). Foi observado...”
Estudo do comportamento de descargas elétricas em misturas ar/metano
Dissertação