Buscas alternativas:
computing contracts » formatting contracts (Expandir a busca), companies contracts (Expandir a busca), crosscutting contracts (Expandir a busca)
contracts process » contract process (Expandir a busca), contact process (Expandir a busca), control process (Expandir a busca)
computing contracts » formatting contracts (Expandir a busca), companies contracts (Expandir a busca), crosscutting contracts (Expandir a busca)
contracts process » contract process (Expandir a busca), contact process (Expandir a busca), control process (Expandir a busca)
1
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
“...High performance computing has been employing techniques and tools to build solutions...”
A abstração de contratos contextuais para alocação de recursos de sistemas de computação paralela orientados a componentes em nuvens
Tese