1833 search results - page 71 / 367 » Mechanized Verification with Sharing |
106
Voted
PPOPP
1997
ACM
15 years 4 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
101
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— The nature of digital content is undergoing a radical transformation due to the growing infusion of user-generated content. Users that generate content have a strong motivation...
103
Voted
AMMA
2009
Springer
15 years 7 months ago
2009
Springer
I study school assignment problems, focusing on two popular mechanisms: the Boston Mechanism (BM) and Deferred Acceptance (DA). The former has been criticized regarding both e¢ c...
119
Voted
DSD
2010
IEEE
15 years 27 days ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
117
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This paper studies the problem of designing survivable optical wavelength division multiplexed (WDM) networks. A wavelength-routed wide area backbone network supporting...