3333 search results - page 443 / 667 » Optimal Power-Down Strategies |
148
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
197
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...
202
click to vote
IWOMP
2009
Springer
16 years 1 months ago
2009
Springer
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
188
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the overall system of a learning, selforganizing, and adaptive controller used to optimize the combustion process in a hard-coal fired power plant. T...
187
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Image matching is a fundamental task for many applications of computer vision. Today it is very popular to represent two matched images as two bags of local descriptors, and the c...