20 search results - page 4 / 4 » Usher: An Extensible Framework for Managing Clusters of Virt... |
ECBS
2003
IEEE
14 years 27 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ENTCS
2006
13 years 7 months ago
2006
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
CCGRID
2009
IEEE
14 years 2 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...