Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
TO
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
Type
Text
4
Format
application/pdf
4
Collection
UScholar Works
4
Filters:
Subject:
"Shared memory multiprocessors"
1
-
25
of
4
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
1
The 'test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
2
A scheduling strategy for shared memory multiprocessors
1990
Text
3
Design alternatives for shared memory multiprocessors
1998
Text
4
Formally specifying memory consistency models and automatically generating executable specifications
2001
Text
1
-
25
of
4
