780 search results - page 29 / 156 » software 2011 |
143
click to vote
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...
166
click to vote
APAL
2011
14 years 10 months ago
2011
We formalize the construction of Paterson’s variant of the Ajtai–Koml´os–Szemer´edi sorting network of logarithmic depth in the bounded arithmetical theory VNC1 ∗ (an ex...
222
click to vote
ASE
2011
14 years 10 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
124
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
149
click to vote
MCS
2011
Springer
14 years 10 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...