2607 search results - page 103 / 522 » Complete Functional Synthesis |
179
Voted
NFM
2011
14 years 10 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
124
Voted
SIGPRO
2011
14 years 10 months ago
2011
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
119
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
135
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...
127
Voted
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
—Considering process variability at the behavior synthesis level is necessary, because it makes some instances of function units slower and others faster, resulting in unbalanced...