804 search results - page 11 / 161 » On the Termination of the Chase Algorithm |
STOC
2007
ACM
15 years 10 months ago
2007
ACM
ITIIS
2008
14 years 10 months ago
2008
In this paper, a multiple-input-multiple-output (MIMO) hybrid-automatic repeat request (HARQ) algorithm with antenna scheduling is proposed. It retransmits the packet using schedu...
DEXA
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
CATS
2007
14 years 11 months ago
2007
We consider the problem of constructing a shortest Euclidean 2-connected Steiner network (SMN) for a set of terminals. This problem has natural applications in the design of survi...
76
Voted
ICPADS
2002
IEEE
15 years 3 months ago
2002
IEEE
Efficient determination of processing termination at barrier synchronization points can occupy an important role in the overall throughput of parallel and distributed computing sy...