3082 search results - page 481 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
HPCA
2005
IEEE
16 years 6 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...
173
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
When an ant colony needs to find a new nest, scouts are sent out to evaluate the suitability of potential sites, particularly their size. It has been suggested that ant scouts of L...
176
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract- The Pareto optimal solutions to a multiobjective optimization problem often distribute very regularly in both the decision space and the objective space. Most existing ev...
203
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
213
click to vote
ICPIA
1992
15 years 10 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...