Sciweavers

184 search results - page 13 / 37
» Timing budgeting under arbitrary process variations
Sort
View
QEST
2009
IEEE
15 years 4 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
TEC
2010
112views more  TEC 2010»
14 years 4 months ago
Population-Based Algorithm Portfolios for Numerical Optimization
In this paper, we consider the scenario that a population-based algorithm is applied to a numerical optimization problem and a solution needs to be presented within a given time bu...
Fei Peng, Ke Tang, Guoliang Chen, Xin Yao
IOR
2006
192views more  IOR 2006»
14 years 10 months ago
Exact Simulation of Stochastic Volatility and Other Affine Jump Diffusion Processes
The stochastic differential equations for affine jump diffusion models do not yield exact solutions that can be directly simulated. Discretization methods can be used for simulati...
Mark Broadie, Özgür Kaya
DAGM
2003
Springer
15 years 3 months ago
Real-Time Texture-Based 3-D Tracking
We present a tracking approach for textured surfaces which recovers the object motion in 6 degrees of freedom. We assume an arbitrary but known surface shape, and an image of the o...
Wolfgang Sepp, Gerd Hirzinger
ISQED
2010
IEEE
123views Hardware» more  ISQED 2010»
14 years 12 months ago
Yield-constrained digital circuit sizing via sequential geometric programming
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
Yu Ben, Laurent El Ghaoui, Kameshwar Poolla, Costa...