1888 search results - page 301 / 378 » Proof theory and computational analysis |
125
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
MOBIHOC
2010
ACM
14 years 9 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...
102
click to vote
HCI
2009
14 years 9 months ago
2009
Social network analysis (SNA) has been used to study the relationships between actors in social networks, revealing their features and patterns. In most cases, nodes and edges in g...
TCSV
2010
14 years 6 months ago
2010
During the past ten years, Wyner-Ziv video coding (WZVC) has gained a lot of research interests because of its unique characteristics of "simple encoding, complex decoding&quo...
CHI
2011
ACM
14 years 3 months ago
2011
ACM
Exertion games require investing physical effort. The fact that such games can support physical health is tempered by our limited understanding of how to design for engaging exert...