Sciweavers

3104 search results - page 498 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
VISSYM
2004
15 years 5 months ago
Visualization For Public-Resource Climate Modeling
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
J. P. R. B. Walton, D. Frame, D. A. Stainforth
SWAP
2007
15 years 5 months ago
An Approach to Decision Support in Heart Failure
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
Sara Colantonio, Massimo Martinelli, Davide Moroni...
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 4 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
FGCS
2008
99views more  FGCS 2008»
15 years 4 months ago
An innovative workflow mapping mechanism for Grids in the frame of Quality of Service
The advent of Grid environments made feasible the solution of computational intensive problems in a reliable and cost-effective way. As workflow systems carry out more complex and...
Dimosthenis Kyriazis, Konstantinos Tserpes, Andrea...
ENGL
2007
81views more  ENGL 2007»
15 years 4 months ago
Computational Comparisons of GPC and NGPC Schemes
—In this paper the GPC and NGPC model predictive control techniques are applied to a typical plant and compared in terms of computational efficiency. The system identification an...
D. N. Rao, M. R. K. Murthy, D. N. Harshal, S. R. M...