5493 search results - page 5 / 1099 » Effectively Polynomial Simulations |
AUTOMATICA
2007
13 years 11 months ago
2007
— Robust control synthesis of linear time-invariant SISO polytopic systems is investigated using the polynomial approach. A convex set of all stabilizing controllers for a polyto...
DAM
2008
13 years 11 months ago
2008
We prove that binary decision diagrams [1] can be polynomially simulated by the extended resolution rule of [2]. More precisely, for any unsatisfiable formula , there exists an ex...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
WSC
2008
14 years 1 months ago
2008
In this work, a simulation optimization method developed by Villarreal and Cabrera-R
COMPGEOM
1999
ACM
14 years 3 months ago
1999
ACM
We propose a speed-up method for discrete-event simulations, including sweep-line or -plane techniques, requiring the repeated calculation of the times at which certain discrete e...