37 search results - page 4 / 8 » spin 2009 |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
—In this paper, we consider the control system Σ defined by the rolling of a strictly convex surface S of IR3 on a plane without slipping or spinning. The purpose of this paper...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— This paper deals with the magnetization switching in small ferromagnetic particles. Particularly important for applications, this problem is tackled with two different controls...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
SPIN
2009
Springer
13 years 12 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
SPIN
2009
Springer
13 years 12 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...