73 search results - page 14 / 15 » VCC: A Practical System for Verifying Concurrent C |
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...
MOBIWAC
2009
ACM
14 years 2 months ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
MM
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we present an unstructured peer-to-peer network called GridMedia for live media streaming employing a push-pull approach. Each node in GridMedia randomly selects it...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
VRML
2006
ACM
14 years 1 months ago
2006
ACM
One of the most serious issues holding back the widespread of 3D contents on Internet has been their inaccessibility due to large data volume. Many compression and progressive tra...