Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+
Limitaciones físicas en el diseño de microprocesadores han hecho que la industria de computadoras pase de mejorar la velocidad de un solo procesador a aumentar el número de unidades centrales de procesamiento. Pero el diseño de software para explotar la potencia de procesamiento paralelo de manera...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Universidad de Montevideo
2023-06-01
|
| Serier: | Memoria Investigaciones en Ingeniería |
| Fag: | |
| Online adgang: | https://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|