Detecção de Predicados Conjuntivos Generalizados e Propriedades sobre Fluxos de Controle de Programas Paralelos Distribuídos
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Algoritmos distribuídos
-
Algoritmos distribuídosparalelos
-
Depuração
-
Depuração distribuida
-
Estado global consistente
-
Estados de canais de comunicação
-
Predicados Globais
-
computação distribuída
Identidade
identificador BrCris
-
ede7134ebbb497555086e965745a28d0
identificador Capes
-
20014131003010034P6-Publication