4810 search results - page 426 / 962 » Modeling Value Speculation |
176
click to vote
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
174
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
207
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
208
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
The goal of this paper is to improve the prediction performance of fault-prone module prediction models (fault-proneness models) by employing over/under sampling methods, which ar...
195
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...