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...

Full description

Bibliographic Details

Main Author:	Solsona, José E. (author)
Format:	article
Language:	Spanish
Published:	2023
Subjects:	Algoritmos paralelos Patrones de diseño Métodos formales TLA Parallel algorithms Design patterns Formal Methods Padrões de design Métodos Formais
Online Access:	http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146
Tags:	Add Tag No Tags, Be the first to tag this record!