113 search results - page 13 / 23 » Height-Deterministic Pushdown Automata |
66
Voted
APAL
2006
15 years 1 months ago
2006
107
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
119
click to vote
EMNLP
2011
14 years 1 months ago
2011
This paper compares several translation representations for a synchronous context-free grammar parse including CFGs/hypergraphs, finite-state automata (FSA), and pushdown automat...
124
Voted
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
128
Voted
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...