10633 search results - page 1878 / 2127 » Relating Distributed Objects |
104
Voted
HPCA
2009
IEEE
16 years 2 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
139
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
With the proliferation of WiFi technology, many WiFi networks are accessible from vehicles on the road making vehicular WiFi access realistic. However, several challenges exist: l...
133
Voted
KDD
2008
ACM
16 years 2 months ago
2008
ACM
A hypergraph is a generalization of the traditional graph in which the edges are arbitrary non-empty subsets of the vertex set. It has been applied successfully to capture highord...
108
click to vote
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
189
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...