5493 search results - page 5 / 1099 » Effectively Polynomial Simulations |
AUTOMATICA
2007
14 years 9 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...
81
Voted
DAM
2008
14 years 9 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
15 years 3 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 12 months ago
2008
In this work, a simulation optimization method developed by Villarreal and Cabrera-R
86
Voted
COMPGEOM
1999
ACM
15 years 1 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...