7099 search results - page 312 / 1420 » Context for models of concurrency |
197
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
181
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
206
click to vote
DOLAP
2005
ACM
15 years 9 months ago
2005
ACM
Current data warehouse and OLAP technologies can be applied to analyze the structured data that companies store in their databases. The circumstances that describe the context ass...
153
click to vote
KES
2007
Springer
16 years 1 months ago
2007
Springer
Bayesian Networks are proven to be a comprehensive model to describe causal relationships among domain attributes with probabilistic measure of conditional dependency. However, dep...
355
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...