615 search results - page 68 / 123 » High-Level Nondeterministic Abstractions in |
106
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
MFCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
139
click to vote
PVM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. HeteroMPI is an extension of MPI designed for high performance computing on heterogeneous networks of computers. The recent new feature of HeteroMPI is the optimized vers...
101
Voted
FCT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
114
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...