Parameterised linearizability

Parameterised linearizability

Many concurrent libraries are parameterised, meaning that they imple- ment generic algorithms that take another library as a parameter. In such cases, the standard way of stating the correctness of concurrent libraries via linearisab- ility is inapplicable. We generalise linearisability to parameter...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Yang, H, Cerone, A, Gotsman, A
स्वरूप:	Conference item
प्रकाशित:	Springer 2014

समान संसाधन

The Importance of Being Linearizable
द्वारा: Gotsman, A, और अन्य
प्रकाशित: (2011)

Linearizability with Ownership Transfer
द्वारा: Alexey Gotsman, और अन्य
प्रकाशित: (2013-09-01)

Testing for linearizability
द्वारा: Lowe, G
प्रकाशित: (2016)

Linearizable Counting Networks
द्वारा: Merlihy, Maurice, और अन्य
प्रकाशित: (2023)

Aspect-oriented linearizability proofs
द्वारा: Soham Chakraborty, और अन्य
प्रकाशित: (2015-04-01)

Linearizability problem of persistent centers
द्वारा: Matej Mencinger, और अन्य
प्रकाशित: (2018-06-01)

Verifying linearizability via optimized refinement checking
द्वारा: Dong, Jin Song, और अन्य
प्रकाशित: (2013)

Linearizability conditions of quasi-cubic systems
द्वारा: Wentao Huang, और अन्य
प्रकाशित: (2012-09-01)

Faster linearizability checking via P-compositionality
द्वारा: Horn, A, और अन्य
प्रकाशित: (2015)

Faster linearizability checking via P-compositionality
द्वारा: Horn, A, और अन्य
प्रकाशित: (2015)

Learning exactly linearizable deep dynamics models
द्वारा: Ryuta Moriyasu, और अन्य
प्रकाशित: (2025-12-01)

Symmetry Classification of First Integrals for Scalar Linearizable
द्वारा: Mayada Gassab Mohammad, और अन्य
प्रकाशित: (2019-09-01)

Homoclinic solutions for linear and linearizable ordinary differential equations
द्वारा: Cezar Avramescu, और अन्य
प्रकाशित: (2000-01-01)

Bifurcation Control on the Un-Linearizable Dynamic System via Washout Filters
द्वारा: Chi Zhai, और अन्य
प्रकाशित: (2022-11-01)

Integrability and Pseudo-Linearizable Conditions in a Quasi-Analytic System
द्वारा: Feng Li, और अन्य
प्रकाशित: (2012-01-01)

Existence of a Period-Two Solution in Linearizable Difference Equations
द्वारा: E. J. Janowski, और अन्य
प्रकाशित: (2013-01-01)

Approximation of linearizable mappings of (C,0) through resonant diffeomorphisms
द्वारा: E. Todesco, और अन्य
प्रकाशित: (1997-01-01)

Transaction chopping for parallel snapshot isolation
द्वारा: Cerone, A, और अन्य
प्रकाशित: (2015)

Linearizability Problem of Resonant Degenerate Singular Point for Polynomial Differential Systems
द्वारा: Yusen Wu, और अन्य
प्रकाशित: (2012-01-01)

Symmetry Classification of First Integrals for Scalar Linearizable Second-Order ODEs
द्वारा: K. S. Mahomed, और अन्य
प्रकाशित: (2012-01-01)

Global bifurcation from intervals for Sturm-Liouville problems which are not linearizable
द्वारा: Guowei Dai
प्रकाशित: (2013-11-01)

Global Behavior of Certain Nonautonomous Linearizable Three Term Difference Equations
द्वारा: E. J. Janowski, और अन्य
प्रकाशित: (2018-05-01)

Urban intensity parameterisation
द्वारा: Noor Azzy Zulkifli
प्रकाशित: (2021)

Parameterising the eddy transfer of water masses
द्वारा: Lee, M, और अन्य
प्रकाशित: (1997)

Linearizability of Nonlinear Third-Order Ordinary Differential Equations by Using a Generalized Linearizing Transformation
द्वारा: E. Thailert, और अन्य
प्रकाशित: (2014-01-01)

Symbolic techniques for parameterised verification
द्वारा: Hong, CD
प्रकाशित: (2022)

Parameterised Multiparty Session Types
द्वारा: Pierre-Malo Denielou, और अन्य
प्रकाशित: (2012-10-01)

Lightning and convection parameterisations ─ uncertainties in global modelling
द्वारा: J. Lelieveld, और अन्य
प्रकाशित: (2007-09-01)

Bayesian learning of parameterised quantum circuits
द्वारा: Samuel Duffield, और अन्य
प्रकाशित: (2023-01-01)

Evaluation of HARMONIE in the KNMI Parameterisation Testbed
द्वारा: E. I. F. de Bruijn, और अन्य
प्रकाशित: (2012-08-01)

Automated stellar spectra parameterisation for Gaia-RVS
द्वारा: Wyse R.F.G., और अन्य
प्रकाशित: (2012-02-01)

Parameterising resuspension in aquaculture waste deposition modelling
द्वारा: TP Adams, और अन्य
प्रकाशित: (2020-09-01)

Uncertainties in future climate predictions due to convection parameterisations
द्वारा: H. Rybka, और अन्य
प्रकाशित: (2014-06-01)

Use of remote sensing for hydrological parameterisation of Alpine catchments
द्वारा: H. Bach, और अन्य
प्रकाशित: (2003-01-01)

The parameterised complexity of list problems on graphs of bounded treewidth
द्वारा: Scott, A, और अन्य
प्रकाशित: (2016)

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers
द्वारा: Lin, A, और अन्य
प्रकाशित: (2016)

Control parameterisation for POD via software-in-the-loop simulation
द्वारा: Ha Thi Nguyen, और अन्य
प्रकाशित: (2019-06-01)

Aerosol water parameterisation: a single parameter framework
द्वारा: S. Metzger, और अन्य
प्रकाशित: (2016-06-01)

Learning to prove safety over parameterised concurrent systems
द्वारा: Chen, Y, और अन्य
प्रकाशित: (2017)

On the Parameterised Intractability of Monadic Second−Order Logic
द्वारा: Kreutzer, S
प्रकाशित: (2009)