804 search results - page 40 / 161 » On the Termination of the Chase Algorithm |
102
Voted
ESA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we study the complexity and approximability of the orthogonal frequency-division multiple access (OFDMA) scheduling problem with uniformly related communication chan...
BIBM
2008
IEEE
15 years 7 months ago
2008
IEEE
Many characteristics of functional synthetic siRNAs have been identified. Our three-phase algorithm was developed to design siRNA on a wholegenome scale based on these characteris...
102
Voted
SIGMETRICS
2004
ACM
15 years 5 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
104
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
94
Voted
SODA
2010
ACM
15 years 9 months ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...