928 search results - page 106 / 186 » Interpolation-sequence based model checking |
86
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
115
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
108
click to vote
SSS
2009
Springer
15 years 5 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
85
Voted
AMC
2005
15 years 15 days 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...
116
click to vote
SECON
2010
IEEE
14 years 10 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...