Checking causal consistency of distributed databases

Autor: Ahmed Bouajjani, Rachid Zennou, Mohammed Erradi, Ranadeep Biswas, Constantin Enea

Publikováno v: Computing. 104:2181-2201

The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition tolera

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63e41e6721fe25078ab75c9b54f642ab
https://doi.org/10.1007/s00607-021-00911-3

Gradual Consistency Checking

Autor: Constantin Enea, Rachid Zennou, Mohammed Erradi, Ahmed Bouajjani

Publikováno v: Computer Aided Verification-31st International Conference, {CAV} 2019
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification ISBN: 9783030255428
CAV (2)

We address the problem of checking that computations of a shared memory implementation (with write and read operations) adheres to some given consistency model. It is known that checking conformance to Sequential Consistency (SC) for a given computat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27f431f10a3260ca513100d9a304e224

Segmentation method based on multiobjective optimization for very high spatial resolution satellite images

Autor: Saleh El Joumani, Salah Eddine Mechkouri, Rachid Zennouhi, Omar El Kadmiri, Lhoussaine Masmoudi

Publikováno v: EURASIP Journal on Image and Video Processing, Vol 2017, Iss 1, Pp 1-9 (2017)

Abstract In this paper, a new multicriterion segmentation method has been proposed to be applied to satellite image of very high spatial resolution (VHSR). It is consisted of the following process: For each region of the grayscale image, a center of

Externí odkaz: https://doaj.org/article/be441bdd8857463fb0a33c96efe0221c