2607 search results - page 36 / 522 » Complete Functional Synthesis |
126
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
130
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stag...
100
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
143
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
115
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...