9626 search results - page 1645 / 1926 » Invariant Based Programming |
179
click to vote
DAC
2004
ACM
16 years 2 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...
167
click to vote
ECLIPSE
2004
ACM
16 years 2 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...
200
click to vote
MM
2004
ACM
16 years 2 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...
167
click to vote
SAC
2004
ACM
16 years 2 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...
188
click to vote
SBCCI
2004
ACM
16 years 2 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...