1833 search results - page 90 / 367 » Mechanized Verification with Sharing |
103
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suita...
120
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
85
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Scheduling of delay-tolerant jobs has been proposed as a mechanism to alleviate pressure on congested network resources. However, when multiple competing users share these resource...
107
Voted
ADHOCNETS
2009
Springer
14 years 10 months ago
2009
Springer
This paper presents a header compression algorithm that unlike previous protocols is capable of compressing MAC headers in a multiple-access (shared) channel. Previous schemes coul...
101
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—With the advent of the new IEEE 802.11p DSRC/WAVE radios, Vehicle-to-Vehicle (V2V) communications is poised for a dramatic leap. A canonical application for these future vehicul...