9626 search results - page 1645 / 1926 » Invariant Based Programming |
204
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
182
click to vote
ECLIPSE
2004
ACM
16 years 20 days ago
2004
ACM
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
229
click to vote
MM
2004
ACM
16 years 20 days ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
195
click to vote
SAC
2004
ACM
16 years 20 days ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
221
click to vote
SBCCI
2004
ACM
16 years 20 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...