Pages that link to "Item:Q832186"

The following pages link to Tiago Cogumbreiro (Q832186):

Displaying 4 items.

• Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
• Design and verification of distributed phasers (Q1693222) (← links)
• Formalization of Habanero phasers using Coq (Q2360652) (← links)
• Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)