Mostrando 1 - 8 resultados de 8 para a busca 'parallel computation automatic program~', tempo de busca: 2,64s

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

... is highly optimized for a higher number of calculation because of the parallel structure of the GPU...

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