Pages that link to "Item:Q931433"
From MaRDI portal
The following pages link to A functional formalization of on chip communications (Q931433):
Displaying 4 items.
- Proof pearl: a formal proof of Dally and Seitz' necessary and sufficient condition for deadlock-free routing in interconnection networks (Q437040) (← links)
- Formalizing on chip communications in a functional style (Q2917406) (← links)
- Formal Methods in Computer-Aided Design (Q5492966) (← links)
- A formalisation of \textsc{xMAS} (Q6587257) (← links)