1305 search results - page 108 / 261 » Dynamic House Allocation |
148
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
195
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
191
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
– Maximizing consolidation ratio, the number of virtual machines (VMs) in a physical machine, without violating customers’ SLAs is an important goal in the cloud. We show that ...
150
click to vote
COMSWARE
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Minimizing the energy cost and improving thermal performance of power-limited datacenters, deploying large computing clusters, are the key issues towards optimizing the...
160
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...