Buscas alternativas:
temporal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), temporal processing (Expandir a busca)
parallel simple » paralela simples (Expandir a busca), parallel file (Expandir a busca)
simple temporal » limite temporal (Expandir a busca)
temporal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), temporal processing (Expandir a busca)
parallel simple » paralela simples (Expandir a busca), parallel file (Expandir a busca)
simple temporal » limite temporal (Expandir a busca)
1
Assuntos:
“...Parallel Simulations...”
Simulação da dinâmica do micromagnetismo de vórticesiImplementados em plataformas de programação em paralelo
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