Conference structures and consistency

Sequential Consistency and Concurrent Data Structures

Linearizability, the de facto correctness condition for concurrent data structure implementations, despite its intuitive appeal is known to lead to poor scalability. This disadvantage has led researchers to design scalable data structures satisfying consistency conditions weaker than linearizability. Despite this recent trend, sequential consistency as a strictly weaker consistency condition th...

Conference on Ordered Algebraic Structures

For n a positive integer, Ln is the variety of `-groups satisfying the equation [x, y] = e. Many of the well known but striking features of the Ln varieties carry over to varieties satisfying the laws [x, y, z] = e and [x, y, y] = e, such as the structure of finitely generated subdirectly irreducible `-groups and the respective intersections with the representable variety. Some interesting exam...

Conference on Conditional Independence Structures and Extremes

s of Talks Sven Buhl, Technical University of Munich, Germany Semiparametric estimation for max-stable space-time processes Abstract: We propose a semiparametric estimation procedure based on a closed form expression of the extremogram (cf. [2], [3], [4]) to estimate the model parameters in a max-stable space-time process. We establish the asymptotic properties of the resulting parameter estima...

Second International Conference on Conceptual Structures

knowledge representation in the coming decade and on already emerging trends. In “Representations of Representations,” he discussed the contribution of conceptual graphs to the work of the American National Standards Institute X3T2 Group in preparing a report on the isolation of a common logic foundation and conceptual schema–modeling facilities. Papers were presented by a number of individuals...

Sixth International Conference on Chemical Structures