O Modelo de Máquina Geométrica Intervalar
Resumo
Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.
Texto completo:
PDFDOI: https://doi.org/10.5540/tema.2003.04.01.0109
Métricas do artigo
Carregando Métricas ...
Metrics powered by PLOS ALM
Apontamentos
- Não há apontamentos.
Trends in Computational and Applied Mathematics
A publication of the Brazilian Society of Applied and Computational Mathematics (SBMAC)
Indexed in: