Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Uniform Random Sampling of Traces in Very Large Models   This paper presents some first results on how to perform uniform random walks
(where every trace has the same probability to occur) in very large models. The
models considered here are described in a succinct way as a set of
communicating reactive modules. The method relies upon techniques for counting
and drawing uniformly at random words in regular languages. Each module is
considered as an automaton defining such a language. It is shown how it is
possible to combine local uniform drawings of traces, and to obtain some global
uniform random sampling, without construction of the global model.

28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat