3281 search results - page 9 / 657 » Bases for parametrized iterativity |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
67
Voted
CDC
2009
IEEE
15 years 28 days ago
2009
IEEE
Abstract-- Many model order reduction methods for parameterized systems need to construct a projection matrix V which requires computing several moment matrices of the parameterize...
105
click to vote
TIP
2011
14 years 4 months ago
2011
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
ISCAS
2011
IEEE
14 years 1 months ago
2011
IEEE
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...