6554 search results - page 1093 / 1311 » Constraint Logic Programming |
122
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
134
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We seek to maximize the data throughput of an energy and time constrained transmitter sending data over a fading channel. The transmitter has a fixed amount of energy and a li...
137
click to vote
VR
2003
IEEE
15 years 9 months ago
2003
IEEE
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...
142
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
130
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...