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:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad de Montevideo
2023-06-01
|
| coleção: | Memoria Investigaciones en Ingeniería |
| Assuntos: | |
| Acesso em linha: | https://revistas.um.edu.uy/index.php/ingenieria/article/view/1146 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|