11016 search results - page 703 / 2204 » Cloud Computing for Science |
203
click to vote
MFCS
2001
Springer
15 years 12 months ago
2001
Springer
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
162
click to vote
MFCS
2001
Springer
15 years 12 months ago
2001
Springer
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on fin...
191
click to vote
RELMICS
2001
Springer
15 years 12 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
193
click to vote
SPIN
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
208
click to vote
SPIN
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...