Buscas alternativas:
non programming » cone programming (Expandir a busca), of programming (Expandir a busca), to programming (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
logic non » logic node (Expandir a busca), logic of (Expandir a busca), logic in (Expandir a busca)
non programming » cone programming (Expandir a busca), of programming (Expandir a busca), to programming (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
logic non » logic node (Expandir a busca), logic of (Expandir a busca), logic in (Expandir a busca)
1
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
2
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
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:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
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 lógica difusa fornecem um paradigma computacional característico e tem demonstrado resultado...”
Estratégias de controle não-convencional para uma plataforma de Stewart acionada hidraulicamente
Tese