1833 search results - page 71 / 367 » Mechanized Verification with Sharing |
135
Voted
PPOPP
1997
ACM
15 years 8 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...
136
Voted
INFOCOM
2006
IEEE
15 years 10 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...
139
click to vote
AMMA
2009
Springer
15 years 10 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...
139
Voted
DSD
2010
IEEE
15 years 4 months 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...
153
click to vote
INFOCOM
2003
IEEE
15 years 9 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...