16128 search results - page 2602 / 3226 » Distributed network scheduling |
201
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we initiate the study of the AND-OR directed feedback vertex set problem from the viewpoint of approximation algorithms. This AND-OR feedback vertex set problem is m...
215
click to vote
CIKM
2004
Springer
16 years 25 days ago
2004
Springer
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...
194
click to vote
CSCLP
2004
Springer
16 years 25 days ago
2004
Springer
We propose an improved restart strategy for randomized backtrack search, and evaluate its performance by comparing to other heuristic and stochastic search techniques for solving r...
176
click to vote
MICRO
2003
IEEE
16 years 21 days ago
2003
IEEE
Wire delays are a major concern for current and forthcoming processors. One approach to attack this problem is to divide the processor into semi-independent units referred to as c...
203
click to vote
PLDI
2003
ACM
16 years 21 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...