Results 41 to 50 of about 1,172 (171)
Again, linearizable mappings [PDF]
Physica A: Statistical Mechanics and its Applications, 1998 14 pages, no figures, to be published in Physica ...
Ramani, A. +3 more
openaire +3 more sources
Relaxed Data Types as Consistency Conditions †
Algorithms, 2018 In the quest for higher-performance shared data structures, weakening consistency conditions and relaxing the sequential specifications of data types are two of the primary tools available in the literature today.
Edward Talmage, Jennifer L. Welch
doaj +1 more source
Generalization of ZYT-linearizability for bilinear datalog programs [PDF]
, 2004 We propose a new type of linearizability, called right-linear-first (RLF) linearizability. The well-known ZYT-linearizability deals with only one bilinear rule.
Kang, Ji-Hoon +3 more
core +1 more source
In-Network Key-Value Cache with Linearizability
, 2023 Recently, In-Network Cache (INC) systems have been proposed to promote the performance of remote storage systems. INC offloads cache onto programmable switches between the clients and the servers, responding to clients' data queries within a sub-RTT time.
Lao, Chon Lam +4 more
core +1 more source
Symmetry, Integrability and Geometry: Methods and Applications, 2011 In this paper we propose some linearizability tests of partial difference equations on a quad-graph given by one point, two points and generalized Hopf-Cole transformations. We apply the so obtained tests to a set of nontrivial examples.
Decio Levi, Christian Scimiterna
doaj +1 more source
Abortable Linearizable Modules.
Arch. Formal Proofs, 2012 We define the Abortable Linearizable Module automaton (ALM for short) and prove its key composition property using the IOA theory of HOLCF. The ALM is at the heart of the Speculative Linearizability framework. This framework simplifies devising correct speculative algorithms by enabling their decomposition into independent modules that can be analyzed ...
Guerraoui, Rachid +2 more
openaire +4 more sources
Linearization from Complex Lie Point Transformations
Journal of Applied Mathematics, 2014 Complex Lie point transformations are used to linearize a class of systems of second order ordinary differential equations (ODEs) which have Lie algebras of maximum dimension d, with d≤4.
Sajid Ali, M. Safdar, Asghar Qadir
doaj +1 more source
TSO-to-TSO linearizability is undecidable [PDF]
Acta Informatica, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chao Wang 0069, Yi Lv, Peng Wu 0002
openaire +1 more source
Distributed caching system with strong consistency model
Frontiers in Computer ScienceModern distributed systems store thousands of gigabytes of information in persistent relational database management systems. It is the core storage component for microservice-based architectures.
Viktor Repin, Anatoly Sidorov
doaj +1 more source
Improving Performance of a Distributed File System Using a Speculative Semantics-Based Algorithm
Tsinghua Science and Technology, 2015 File-sharing semantics is used by the file systems for sharing data among concurrent client processes in a consistent manner. Session semantics is a widely used file-sharing semantics in Distributed File Systems (DFSs).
Talluri Lakshmi Siva Rama Krishna +2 more
doaj +1 more source