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)