2354 search results - page 439 / 471 » Radio number for trees |
143
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a number of optimization techniques to compute prefix sums on linked lists and implement them on multithreaded GPUs using CUDA. Prefix computations on linked structures ...
175
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
208
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We consider the problem of identifying a team of skilled individuals for collaboration, in the presence of a social network. Each node in the input social network may be an expert...
162
click to vote
NAR
2011
14 years 9 months ago
2011
A vast number of sweet tasting molecules are known, encompassing small compounds, carbohydrates, D-amino acids and large proteins. Carbohydrates play a particularly big role in hu...
202
click to vote
SIAMCOMP
2002
15 years 5 months ago
2002
We characterize all limit laws of the quicksort type random variables defined recursively by Xn d = XIn + X n-1-In + Tn when the "toll function" Tn varies and satisfies ...