Mostrando 1 - 7 resultados de 7 para a busca 'parallel finite distributed computation', tempo de busca: 0,20s

3

... que permite a verificação de sistemas concorrentes de estados finitos sob propriedades descritas em lógicas...

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

Publicado em 2013
Dissertação

4

... com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados...

Verificação distribuída de modelos: investigando o uso de grades computacionais.

Publicado em 2007
Dissertação

5

... com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados...

Verificação distribuída de modelos: investigando o uso de grades computacionais.

Publicado em 2007
Dissertação

6

... finitas, das equações do escoamento e do transporte 3D, são de grande porte, lineares, esparsos...

Modelo computacional paralelo para a hidrodinâmica e para o transporte de substâncias bidimensional e tridimensional

Publicado em 2002
Tese

7

... of parallelization: distributed memory, shared memory, and a combination of the two mentioned. This work is based...

Simulação de reservatórios de petróleo em paralelo utilizando malhas não-estruturadas 2D e 3D

Publicado em 2017
Dissertação