1589 search results - page 236 / 318 » Constraints with Variables' Annotations |
SAT
2004
Springer
14 years 3 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Scalable streams provide a layered representation for transmitting media contents over a channel with packet losses and variable delay. In general, real-time streaming scalable me...
ISQED
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a fast algorithm to optimize both the widths and lengths of power/ground networks under reliability and power dip/ground bounce constraints. The spacesizing wh...
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
RTSS
2002
IEEE
14 years 2 months ago
2002
IEEE
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...