3456 search results - page 80 / 692 » Algorithms for Interface Synthesis |
130
click to vote
CCE
2005
15 years 1 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
LOPSTR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a novel architecture synthesis algorithm for single-loop single-bit ∆Σ modulators. We defined a generic modulator architecture and derived its noise and si...
100
click to vote
CHITALY
2011
14 years 1 months ago
2011
In this paper, we describe a solution to obtain flexible user interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a mo...