1833 search results - page 90 / 367 » Mechanized Verification with Sharing |
133
click to vote
PPOPP
2003
ACM
15 years 9 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...
155
click to vote
SC
1995
ACM
15 years 8 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...
112
click to vote
GLOBECOM
2010
IEEE
15 years 2 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...
143
click to vote
ADHOCNETS
2009
Springer
15 years 2 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...
135
click to vote
INFOCOM
2012
IEEE
13 years 6 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...