71 search results - page 12 / 15 » Parameterized Memory Models and Concurrent Separation Logic |
151
click to vote
FUIN
2007
15 years 1 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
106
Voted
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
122
click to vote
ACL
2010
14 years 11 months ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...
123
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
109
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...