Buscas alternativas:
context programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallelization in » parallelization and (Expandir a busca), parallelization of (Expandir a busca), paralelization of (Expandir a busca)
in context » in contact (Expandir a busca)
context programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallelization in » parallelization and (Expandir a busca), parallelization of (Expandir a busca), paralelization of (Expandir a busca)
in context » in contact (Expandir a busca)
1
Assuntos:
“...Automatic parallelization...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
2
Assuntos:
“...Efficient parallelization...”
Leveraging the entity matching performance through adaptive indexing and efficient parallelization
Tese
3
Assuntos:
“...Efficient parallelization...”
Leveraging the entity matching performance through adaptive indexing and efficient parallelization
Tese
4
“... na rede também aumenta significativamente nesse novo contexto. Para prevenir bugs de violarem propriedades...”
Uncovering bugs in P4 programs with assertion based verification
Dissertação
5
“... modern computing systems. In this context, the Notification Oriented Paradigm (NOP) has been recently...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese