2715 search results - page 391 / 543 » An Implementation of Narrowing Strategies |
182
click to vote
SECON
2007
IEEE
16 years 6 days ago
2007
IEEE
— Multiuser diversity is a phenomenon caused by channel variations among different users in a wireless network. Cooperative relaying provides another form of diversity due to the...
140
click to vote
CAV
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
134
click to vote
CP
2007
Springer
16 years 3 days ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
151
click to vote
EUC
2007
Springer
16 years 2 days ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
154
click to vote
FROCOS
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...