2713 search results - page 12 / 543 » Parameterized Tree Systems |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
DISCO
1993
14 years 1 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
JOT
2007
13 years 9 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM