433 search results - page 76 / 87 » Contracts: From Analysis to C Implementation |
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
99
Voted
MM
2005
ACM
15 years 3 months ago
2005
ACM
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
125
click to vote
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...