3147 search results - page 372 / 630 » Open-Source Model Checking |
143
click to vote
CHI
2009
ACM
15 years 2 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
129
click to vote
CAV
2010
Springer
15 years 8 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...
124
click to vote
AMC
2005
15 years 4 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...
166
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
121
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...