1246 search results - page 66 / 250 » Recursive Timed Automata |
108
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...
106
Voted
DKE
2006
15 years 2 months ago
2006
Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is gr...
134
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
115
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
132
Voted
FUIN
2010
15 years 8 hour ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...