3330 search results - page 400 / 666 » software 2010 |
167
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
135
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
138
click to vote
TCIAIG
2010
14 years 11 months ago
2010
This paper presents the recent technical advances in Monte-Carlo Tree Search for the Game of Go, shows the many similarities and the rare differences between the current best progr...
189
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
125
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
—Sequence alignment is a fundamental instrument in Bioinformatics. In recent years, numerous proposals have been addressing the problem of accelerating this class of applications...