Buscas alternativas:
parallel ce » parallel code (Expandir a busca), parallel cpd (Expandir a busca), parallel cut (Expandir a busca)
ce logic » the logic (Expandir a busca), of logic (Expandir a busca), _ logic (Expandir a busca)
parallel ce » parallel code (Expandir a busca), parallel cpd (Expandir a busca), parallel cut (Expandir a busca)
ce logic » the logic (Expandir a busca), of logic (Expandir a busca), _ logic (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
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese