227 search results - page 22 / 46 » Tutorial: Parallel Model Checking |
162
Voted
ICMLC
2010
Springer
15 years 4 months ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
171
Voted
RV
2010
Springer
15 years 4 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...
195
Voted
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
147
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
147
Voted
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...