6456 search results - page 899 / 1292 » Constraint Solving on Terms |
180
click to vote
IPSN
2004
Springer
16 years 5 days ago
2004
Springer
The performance of a sensor network may be best judged by the quality of application specific information return. The actual sensing performance of a deployed sensor network depe...
198
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
152
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
The overhead in terms of code size, power consumption and execution time caused by the use of precompiled libraries and separate compilation is often unacceptable in the embedded ...
191
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
200
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...