Buscas alternativas:
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
prova automatic » prova automatica (Expandir a busca), improve automatic (Expandir a busca), troca automatica (Expandir a busca)
parallel prova » parallel prolog (Expandir a busca), parallel programs (Expandir a busca), parallel corpora (Expandir a busca)
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
prova automatic » prova automatica (Expandir a busca), improve automatic (Expandir a busca), troca automatica (Expandir a busca)
parallel prova » parallel prolog (Expandir a busca), parallel programs (Expandir a busca), parallel corpora (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
2
Assuntos:
“...Parallel Programming...”
High-level programming abstractions for distributed stream processing
Dissertação
3
Assuntos:
“...Parallel Programming...”
High-level programming abstractions for stream parallelism on gpus
Dissertação
4
Assuntos:
“...Application Programming Interface - API...”
Uma abordagem para adaptação de clientes do Java Collections Framework baseada em técnicas de migração de APÌs.
Dissertação
5
Assuntos:
“...Application Programming Interface - API...”
Uma abordagem para adaptação de clientes do Java Collections Framework baseada em técnicas de migração de APÌs.
Dissertação
6
“.... Para validar este trabalho, desenvolvemos como prova de conceitos um protótipo que implementa a técnica...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
7
“.... Para validar este trabalho, desenvolvemos como prova de conceitos um protótipo que implementa a técnica...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação