On the specification and verification of the PCR parallel programming pattern in TLA+
Physical limitations in processor design have made the computer industry shift from improving the speed of a single processor to increasing the number of processing core units. But the design of software to exploit parallel processing power in a correct and cost-effective way is a challenging task r...
Saved in:
| Main Author: | |
|---|---|
| Format: | article |
| Language: | Spanish |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: On the specification and verification of the PCR parallel programming pattern in TLA+
- On the specification and verification of the PCR parallel programming pattern in TLA+
- On the specification and verification of the PCR parallel programming pattern in TLA+
- El procesamiento paralelo :enfoque cualitativo y simulación
- MOE :un entorno de trabajo para optimización multiobjetivo con algoritmos evolutivos
- Algoritmos genéticos paralelos y su aplicación al diseño de redes de comunicaciones confiables
- Diseño topológico de redes : casos de estudio :"The generalized Steiner problem"and "The Steiner 2-edge-connected subgraph problem"