4166 search results - page 389 / 834 » Automating the constraining process |
165
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
131
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
180
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
139
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
179
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The bounded diameter minimum spanning tree problem is an NP-hard combinatorial optimization problem arising, for example, in network design when quality of service is of concern. ...