155
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
In a grid application, some requirements may change while the execution is in progress. This paper presents invivo enhancement
173
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and Grid applications. Current ...
172
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents an eco-friendly daemon that reduces power and energy consumption while better maintaining high performance via an accurate workload characterization that infer...
205
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
193
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
From personal software to advanced systems, caching mechanisms have steadfastly been a ubiquitous means for reducing workloads. It is no surprise, then, that under the grid and clu...