165 search results - page 7 / 33 » Types for atomicity |
145
click to vote
COCOON
2009
Springer
16 years 12 days ago
2009
Springer
In this paper, we deal with restoring missing information in molecule databases: Some data formats only store the atoms’ configuration but omit bond multiplicities. As this info...
150
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
132
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
149
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
155
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...