241 search results - page 37 / 49 » Tool-support for the analysis of hybrid systems and models |
ISPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
SCIA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
TON
2010
13 years 6 months ago
2010
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
RECOMB
2000
Springer
13 years 11 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
HYBRID
2010
Springer
14 years 22 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...