Results 51 to 60 of about 1,172 (171)
Shape predicates allow unbounded verification of linearizability using canonical abstraction [PDF]
, 2014 Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification.
Groves, Lindsay, Friggens, David
core
Simulator‐Based Bayesian Inference of Enhanced Geothermal Reservoir Properties
Journal of Geophysical Research: Machine Learning and Computation, Volume 3, Issue 5, October 2026.Abstract Inversions of dynamic multi‐scale multi‐physics subsurface system properties rely on the effective sampling of high‐dimensional parameter spaces and are thus notoriously difficult to perform. The associated models are defined by complex nonlinear relationships with potentially stochastic components, which lead to analytically intractable ...
Kwabena Atobra +5 more
wiley +1 more source
Approximate Reachability for Feedback Linearizable Systems
Optimal Control Applications and Methods, Volume 47, Issue 5, Page 1062-1082, September/October 2026.The backwards reachable set for a dynamical system is the set of states for which there exists a constraint admissible trajectory that reaches a given terminal set. Conventional grid‐based approaches for computing these sets are intractable for many applications.
Vincent Liu +2 more
wiley +1 more source
Automatically Proving Linearizability [PDF]
, 2010 This technical report presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure implementations. The procedure uses a novel instrumentation to verify logically pure executions, and is evaluated on a number of standard concurrent stack, queue and set ...
openaire +2 more sources
Linearizability of saturated polynomials [PDF]
Indiana University Mathematics Journal, 2019 28 pages, major revisions and additions following referee ...
openaire +3 more sources
On Reducing Linearizability to State Reachability [PDF]
Information and Computation, 2015 Efficient implementations of atomic objects such as concurrent stacks and queues are especially susceptible to programming errors, and necessitate automatic verification. Unfortunately their correctness criteria - linearizability with respect to given ADT specifications - are hard to verify.
Ahmed Bouajjani +3 more
openaire +3 more sources
Millimeter Wave SOI-CMOS Power Amplifier With Enhanced AM-PM Characteristic
IEEE Access, 2020 This paper proposes a novel inter-stage load-pull characterization method to enhance the linearity of millimeter wave integrated power amplifiers (PAs) by minimizing their amplitude-to-phase (AM-PM) distortion without worsening their AM-AM or efficiency ...
Jingjing Xia +3 more
doaj +1 more source
Stability of KdV Solitons on the Half‐Line: A Study for Nonhomogeneous Boundary Conditions
Studies in Applied Mathematics, Volume 156, Issue 6, June 2026.ABSTRACT We study the orbital stability and asymptotic stability problems for KdV solitons on the right half‐line for nonhomogeneous boundary conditions in the energy space H1(R+)$H^1(\mathbb {R}^+)$. This paper improves the results of Cavalcante and Muñoz [Revista Matemática Iberoamericana 35, no. 6 (2019); and SIAM Journal on Mathematical Analysis 55,
Luccas Campos +2 more
wiley +1 more source
Artifact for "nekton: a linearizability proof checker"
, 2023 nekton is a new tool for checking linearizability proofs of highly complex concurrent search structures. The tool’s unique features are its parametric heap abstraction based on separation logic and the flow framework, and its support for hindsight ...
Wolff, Sebastian +3 more
core +2 more sources
Integrability of a Family of Four-Dimensional Quadratic Lotka–Volterra Complex Systems
AxiomsThis work addresses the integrability of four-dimensional quadratic Lotka–Volterra systems exhibiting (1:−1:i:−i) resonance by identifying the parameter constraints required for such properties to exist.
Ivan Mastev, Valery G. Romanovski
doaj +1 more source