4117 search results - page 330 / 824 » On the Satisfiability of Complex Constraints |
217
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper explores runtime reconfiguration of custom instructions in the context of multi-tasking real-time embedded systems. We propose a pseudo-polynomial time algorithm that mi...
170
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
185
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes the optimisation of the word length in a 16-point radix-4 reconfigurable pipelined Fast Fourier Transform (FFT) based receiver device. Two forms of optimisati...
207
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
166
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and cou...