39 search results - page 7 / 8 » Past Pushdown Timed Automata |
121
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
100
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
136
Voted
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
ALIFE
2004
15 years 1 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
132
click to vote
ACRI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Network decontamination (or disinfection) is a widely studied problem in distributed computing. Network sites are assumed to be contaminated (e.g., by a virus) and a team...