9110 search results - page 1558 / 1822 » Formally-Based Design Evaluation |
144
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Motivated by increased concern over energy consumption in modern data centers, we propose a new, distributed computing platform called Nano Data Centers (NaDa). NaDa uses ISP-cont...
156
click to vote
HPDC
2010
IEEE
2010
IEEE
XCo: explicit coordination to prevent network fabric congestion in cloud computing cluster platforms
15 years 5 months ago
Large cluster-based cloud computing platforms increasingly use commodity Ethernet technologies, such as Gigabit Ethernet, 10GigE, and Fibre Channel over Ethernet (FCoE), for intra...
163
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
Street art and political activism have a rich history of shaping urban landscapes. Our work explores the processes by which public artists and political activists contribute to pu...
153
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
156
click to vote
ADHOC
2008
15 years 4 months ago
2008
As wireless devices become more pervasive, mobile ad hoc networks are gaining importance, motivating the development of highly scalable ad hoc networking techniques. In this paper...