Sciweavers

14056 search results - page 56 / 2812
» Consistency in Model Integration
Sort
View
BSL
2006
63views more  BSL 2006»
15 years 4 months ago
Internal Consistency and the Inner Model Hypothesis
Sy-David Friedman
105
Voted
JSYML
2008
60views more  JSYML 2008»
15 years 4 months ago
On the consistency strength of the inner model hypothesis
Sy-David Friedman, Philip Welch, W. Hugh Woodin
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 4 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill