715 search results - page 52 / 143 » Automatic Programming for Sequence Control |
116
Voted
CMMR
2003
Springer
15 years 7 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
124
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
126
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
139
Voted
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...