Mostrando 1 - 8 resultados de 8 para a busca 'parallel computation automatic program*', tempo de busca: 0,21s

3

... development cycle. Model Checking is an automatic formal technique that allows verification of finite-state...

Abordagens paralelas para Model Checking de redes de autômatos estocásticos

Publicado em 2013
Dissertação

4

... mathematics calculation. With the power increase of the programmable GPUs (Graphics Processing Unit) this...

Uma arquitetura de motor de física para games 3D com processamento híbrido entre CPU e GPU e distribuição dinâmica de carga

Publicado em 2007
Dissertação