6274 search results - page 583 / 1255 » Proofs, Programs, Processes |
191
click to vote
KBSE
2005
IEEE
16 years 27 days 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...
196
click to vote
CPHYSICS
2006
15 years 7 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
221
click to vote
SIGARCH
2008
15 years 7 months ago
2008
As multicore architectures gain widespread use, it becomes increasingly important to be able to harness their additional processing power to achieve higher performance. However, e...
244
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
203
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
Video inpainting is the process of repairing missing regions (holes) in videos. Most automatic techniques are computationally intensive and unable to repair large holes. To tackle...