3820 search results - page 214 / 764 » Bounded Model Debugging |
116
click to vote
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Traditional communication theory focuses on minimizing transmit power. However, communication links are increasingly operating at shorter ranges where transmit power can be signif...
CSDA
2010
15 years 3 months ago
2010
In empirical work on multivariate financial time series, it is common to postulate a Multivariate GARCH model. We show that the popular Gaussian quasi-maximum likelihood estimator...
153
Voted
ALGORITHMICA
2005
15 years 3 months ago
2005
In an adversarial queueing network, the incoming traffic is decided by an adversary, who operates under a reasonable rate restriction. This model provides a valuable, complementar...
125
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
In terabit-density magnetic recording, several bits of data can be replaced by the values of their neighbors in the storage medium. As a result, errors in the medium are dependent ...
132
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...