370 search results - page 32 / 74 » Bounded modified realizability |
ICCAD
2010
IEEE
13 years 6 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
ACIIDS
2009
IEEE
13 years 6 months ago
2009
IEEE
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We address the problem of state feedback attitude control of a rigid body in quaternion coordinate space through a modified PD+ tracking controller. The control law ensu...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...