Results 111 to 120 of about 1,172 (171)
Data-driven modeling and prediction of non-linearizable dynamics via spectral submanifolds. [PDF]
Nat Commun, 2022 Cenedese M +4 more
europepmc +1 more source
Linearizability: a correctness condition for concurrent objects
, 1990 A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers
Maurice P. Herlihy, Jeannette M. Wing
core
On Symplectic Linearizable Actions
Arnold Mathematical JournalWe prove that linearizable actions are also symplectically linearizable (either smoothly or analytically) in a neighborhood of a fixed point. Specifically, the fundamental vector fields associated with the action can be simultaneously linearized in Darboux coordinates.
openaire +2 more sources
A geometric characterization of smooth linearizability.
Michigan Mathematical Journal, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Linearizability and State-Machine Replication: Is it a match? [PDF]
Linearizability is a well-known correctness property for concurrent and distributed systems. In the past, it was also used to prove the design and implementation of replicated state-machines correct.
Heß, Alexander, Hauck, Franz J.
core +1 more source
In-network key-value cache with linearizability
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.
Qin, Yuxuan
core
Reconstructing rearrangement phylogenies of natural genomes. [PDF]
Algorithms Mol BiolBohnenkämper L, Stoye J, Doerr D.
europepmc +1 more source
A linear time algorithm for linearizing quadratic and higher-order shortest path problems. [PDF]
Math ProgramÇela E +4 more
europepmc +1 more source
Physics-informed structural diagnostics of model-data agreement beyond scalar metrics. [PDF]
Sci RepHaddadi H, Kloskowski A, Mironowicz P.
europepmc +1 more source