98 search results - page 9 / 20 » Bounding Recursive Procedural Models Using Convex Optimizati... |
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We consider a system with a single base station communicating with multiple users over orthogonal channels while being assisted by multiple relays. Several recent works have sug...
CC
2008
Springer
13 years 9 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
EOR
2007
13 years 7 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
ICTAI
2010
IEEE
13 years 4 months ago
2010
IEEE
This work deals with a new technique for the estimation of the parameters and number of components in a finite mixture model. The learning procedure is performed by means of a expe...