Deadlock-freeness of hexagonal systolic arrays

DOI10.1016/j.ipl.2010.04.021zbMath1234.68024OpenAlexW2006670027MaRDI QIDQ765473

D. Kharzeev

Publication date: 19 March 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.04.021

zbMATH Keywords

parallelismparallel processingsystolic arraydeadlockRoscoe-Dathi method

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Parallel algorithms in computer science (68W10)

Uses Software

• CSP-prover

Cites Work

• The pursuit of deadlock freedom
• Deadlock avoidance for systolic communication
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deadlock-freeness of hexagonal systolic arrays