207 search results - page 8 / 42 » Synthesizing Switching Logic Using Constraint Solving |
128
Voted
JCST
2010
14 years 6 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
87
Voted
ASYNC
1998
IEEE
15 years 3 months ago
1998
IEEE
None of the available minimizers for exact 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to heuristic...
85
Voted
CP
2003
Springer
15 years 4 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
104
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
This paper is aimed at calibrating the relative posture and position, i.e. extrinsic parameters, of a stationary camera against a 3D reference object which is not directly visible...