794 search results - page 133 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
106
click to vote
FGR
2008
IEEE
15 years 2 months ago
2008
IEEE
We propose several tracking adaptation approaches to recover from early tracking errors in sign language recognition by optimizing the obtained tracking paths w.r.t. to the hypoth...
122
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
103
click to vote
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
91
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
115
click to vote
LCPC
2001
Springer
15 years 5 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...