10666 search results - page 1560 / 2134 » Quantum programming languages |
183
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
159
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
161
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
A user’s informational need and preferences can be modeled by criteria, which in turn can be used to prioritize candidate results and produce a ranked list. We examine the use of...
214
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Given string T = T[1, . . . , n], the suffix sorting problem is to lexicographically sort the suffixes T[i, . . . , n] for all i. This problem is central to the construction of suf...
191
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We provide a framework for online conflict-free coloring (CF-coloring) of any hypergraph. We use this framework to obtain an efficient randomized online algorithm for CF-coloring ...