189 search results - page 35 / 38 » A generalization of the integer linear infeasibility problem |
103
Voted
COR
2007
15 years 20 days ago
2007
Scheduling under controllable machining conditions has been studied for some time. Scheduling with tool changes, particularly due to tool wear, has just begun to receive attention...
86
Voted
JAIR
2010
14 years 11 months ago
2010
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
129
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—Network power consumption can be reduced considerably by adapting link data rates to their offered traffic loads. In this paper, we exploit how to leverage rate adaptat...
123
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
117
click to vote
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...