Buscas alternativas:
line programming » linear programming (Expandir a busca), lineal programming (Expandir a busca), plane programming (Expandir a busca)
parallel target » parallel career (Expandir a busca), parallel three (Expandir a busca), parallel nearest (Expandir a busca)
target line » target one (Expandir a busca), target site (Expandir a busca), target genes (Expandir a busca)
line programming » linear programming (Expandir a busca), lineal programming (Expandir a busca), plane programming (Expandir a busca)
parallel target » parallel career (Expandir a busca), parallel three (Expandir a busca), parallel nearest (Expandir a busca)
target line » target one (Expandir a busca), target site (Expandir a busca), target genes (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:
“...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:
“...mathematical programming...”
Técnicas de programação matemática para a análise e projeto de sistemas biotecnológicos.
Tese
4
“...? Parallel programs target this work should be developed with the standard OpenACC, using compiler directives...”
Decisão automatizada de mapeamento de tarefas com OpenACC em arquiteturas paralelas híbridas
Dissertação
5
“... projects is a strategy that allows the inclusion of the Programming Language and the pillars...”
Robot solution: um kit para o estímulo de competências do pensamento computacional
Dissertação