Buscas alternativas:
context programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallelization of » paralelization of (Expandir a busca), parallelization and (Expandir a busca), parameterization of (Expandir a busca)
of context » of content (Expandir a busca), in context (Expandir a busca), _ context (Expandir a busca)
context programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallelization of » paralelization of (Expandir a busca), parallelization and (Expandir a busca), parameterization of (Expandir a busca)
of context » of content (Expandir a busca), in context (Expandir a busca), _ context (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
“... 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
5
“... 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