UScholar Works
 
Filters: Format: "application/pdf" Subject: "Shared memory multiprocessors"
1 - 25 of 4
Number of results to display per page
TitleDateType
1 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Text
2 A scheduling strategy for shared memory multiprocessors1990Text
3 Design alternatives for shared memory multiprocessors1998Text
4 Formally specifying memory consistency models and automatically generating executable specifications2001Text
1 - 25 of 4