Results 101 to 110 of about 1,172 (171)

Linearizability Is Not Always a Safety Property [PDF]

We show that, in contrast to the general belief in the distributed computing community, linearizability, the celebrated consistency property, is not always a safety property.
Guerraoui, Rachid, Ruppert, Eric
core   +2 more sources

Efficient Linearizability Monitoring

Proceedings of the ACM on Programming Languages
This paper revisits the fundamental problem of monitoring the linearizability of concurrent stacks, queues, sets, and multisets. Given a history of a library implementing one of these abstract data types, the monitoring problem is to answer whether the given history is linearizable.
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson 0001, Shankaranarayanan Krishna, Om Swostik Mishra   +4 more
openaire   +6 more sources

Data-Driven LightGBM Attitude Controller for Low Earth Orbit Satellites With Explicit Gravity Gradient, Geomagnetic, and Aerodynamic Disturbance Modeling

IEEE Access
This paper presents a data-driven spacecraft attitude controller based on LightGBM gradient-boosted trees, specialized for Low Earth Orbit (LEO) satellites under realistic environmental disturbances.
Dimitri Mahayana, Meiditomo Sutyarjoko
doaj   +1 more source

The consensus number of a cryptocurrency. [PDF]

Distrib Comput, 2022
Guerraoui R, Kuznetsov P, Monti M, Pavlovic M, Seredinschi DA.   +4 more
europepmc   +1 more source

Using refinement calculus techniques to prove linearizability

, 2012
Stepwise refinement is a method for systematically transforming a high-level program into an efficiently executable one. A sequence of successively refined programs can also serve as a correctness proof, which makes different mechanisms in the program ...
Jonsson, Bengt,
core   +1 more source

A Complete Program Logic for Compositional Linearizability (Artifact) [PDF]

We present Linearizability Hoare Logic (LHL), the first mechanized, sound, and complete program logic for atomic, set, and interval linearizability. We achieve this by showing soundness and completeness of LHL w.r.t.
Feng, Yueyang, Wang, Zhongye, Hatti, Eashan, Oliveira Vale, Arthur, Shao, Zhong   +4 more
core   +1 more source

Comparison under abstraction for verifying linearizability

, 2007
. Linearizability is one of the main correctness criteria for implementations of concurrent data structures. A data structure is linearizable if its operations appear to execute atomically.
Noam Rinetzky, Mooly Sagiv, Daphna Amit, Eran Yahav   +3 more
core  

Estimation of cumulative amplitude distributions of miniature postsynaptic currents allows characterising their multimodality, quantal size and variability. [PDF]

Sci Rep, 2023
Gordleeva S, Dembitskaya Y, Kazantsev V, Postnikov EB.   +3 more
europepmc   +1 more source

Donor-Acceptor Cyclopropanes: Activation Enabled by a Single, Vinylogous Acceptor. [PDF]

Angew Chem Int Ed Engl, 2023
Ahlburg NL, Hergert O, Jones PG, Werz DB.   +3 more
europepmc   +1 more source

Handling Detection Limits of Multiplex Lateral Flow Immunoassay by Choosing the Order of Binding Zones. [PDF]

Micromachines (Basel), 2023
Bartosh AV, Sotnikov DV, Zherdev AV, Dzantiev BB.   +3 more
europepmc   +1 more source