6045 search results - page 378 / 1209 » Computable Linearizations of Well-partial-orderings |
192
click to vote
EUROPAR
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
187
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
209
click to vote
IRAL
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we focus on performing LSI on very low SVD dimensions. The results show that there is a nearly linear surface in the local query region. Using low-dimensional LSI o...
165
click to vote
GECCO
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
191
click to vote
ICALP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...