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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолч:	José E. Solsona
Формат:	Artigo
Хэл сонгох:	Inglês
Хэвлэсэн:	Universidad de Montevideo 2023-06-01
Цуврал:	Memoria Investigaciones en Ingeniería
Нөхцлүүд:	Algoritmos paralelos Patrones de diseño Métodos formales TLA
Онлайн хандалт:	https://revistas.um.edu.uy/index.php/ingenieria/article/view/1146
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!