440 search results - page 12 / 88 » Local reasoning for abstraction and sharing |
96
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
97
Voted
KIVS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: Although file and printer sharing services have been deployed almost ubiquitously for a long time as part of Microsoft Windows, only recent peer-to-peer applications pop...
103
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
127
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
121
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...