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...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | article |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
2023
|
| Konular: | |
| Online Erişim: | http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|