9067 search results - page 568 / 1814 » Adaptive Model Checking |
229
click to vote
ICHIM
2001
15 years 8 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
189
click to vote
ISCA
2005
IEEE
16 years 21 days ago
2005
IEEE
The load-store unit is a performance critical component of a dynamically-scheduled processor. It is also a complex and non-scalable component. Several recently proposed techniques...
195
click to vote
SIGSOFT
2004
ACM
16 years 16 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
183
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
167
click to vote
AMC
2005
15 years 7 months ago
2005
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...