One of the crucial steps geological object exploration is interwell correlation. The correlation matches similar parts different wells helping to construct models and assess hydrocarbon reserves. Today, a detailed relies on manual analysis well-logging data: process prone significant time consumption subjectivity. Alternative automation attempts include rule-based, classic machine learning, mor...

This paper presents a novel logging scheme for recov-erable distributed shared memory systems. In the previous schemes, the stable logging is performed whenever a remote data value is accessed. However, in the proposed scheme, the data values are logged on the volatile storage of the writer process and only the access information between the dependent processes is logged stably. Also, to reduce...

In the existing Fault-Tolerant Software Distributed Shared Memory (FT-SDSM) with the message logging, the logs are used only to recover the failed nodes. In our previous work, we have implemented a lightweight logging protocol, called remote logging, on the SDSM for fault tolerance, which incurs low logging overhead with a fast network and a remote memory for back-up data. In this paper, we pro...

Many real-world applications wish to collect tamperevident logs for forensic purposes. This paper considers the case of an untrusted logger, serving a number of clients who wish to store their events in the log, and kept honest by a number of auditors who will challenge the logger to prove its correct behavior. We propose semantics of tamper-evident logs in terms of this auditing process. The l...