153 search results - page 20 / 31 » Independence and Concurrent Separation Logic |
101
Voted
HASE
1997
IEEE
15 years 1 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
PIMRC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract— Two-way relaying, which enables bidirectional simultaneous data transmission between two nodes, is an efficient means to reduce the spectral efficiency loss observed ...
CSCLP
2005
Springer
15 years 3 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
VLDB
1990
ACM
15 years 1 months ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
139
click to vote
ER
1995
Springer
15 years 1 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...