229 search results - page 18 / 46 » Bilateral Algorithms for Symbolic Abstraction |
CHARME
1999
Springer
14 years 18 hour ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
AB
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The ever-increasing demand for mobile communication capacity has motivated the development of adaptive antenna array assisted spatial processing techniques for bandwidt...
PUK
2000
13 years 9 months ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...