1305 search results - page 108 / 261 » Dynamic House Allocation |
123
Voted
TACAS
2004
Springer
15 years 8 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...
150
Voted
ESOP
2011
Springer
14 years 7 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 ...
154
Voted
INFOCOM
2012
IEEE
13 years 5 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 ...
116
click to vote
COMSWARE
2007
IEEE
15 years 9 months 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...
117
click to vote
APLAS
2004
ACM
15 years 8 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...