53 search results - page 1 / 11 » Automorphisms of Powers of Linearly Ordered Sets |
IJUFKS
2006
13 years 6 months ago
2006
LATIN
2004
Springer
13 years 11 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...
CSL
2010
Springer
13 years 7 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
ECOOPW
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
GLVLSI
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...