Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Aligning component upgrades   Modern software systems, like GNU/Linux distributions or Eclipse-based
development environment, are often deployed by selecting components out of
large component repositories. Maintaining such software systems by performing
component upgrades is a complex task, and the users need to have an expressive
preferences language at their disposal to specify the kind of upgrades they are
interested in. Recent research has shown that it is possible to develop solvers
that handle preferences expressed as a combination of a few basic criteria used
in the MISC competition, ranging from the number of new components to the
freshness of the final configuration. In this work we introduce a set of new
criteria that allow the users to specify their preferences for solutions with
components aligned to the same upstream sources, provide an efficient encoding
and report on the experimental results that prove that optimising these
alignment criteria is a tractable problem in practice.

16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol