Εμφανίζονται 1 - 20 Αποτελέσματα από 42 για την αναζήτηση '"Linearizability"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    The Center and Cyclicity Problems A Computational Algebra Approach /
    ανά Shafer, Douglas, Romanovski, Valery
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- The Isochronicity and Linearizability Problems -- Invariants of the Rotation Group -- Bifurcations of Limit Cycles…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures -- Enhancing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Symmetries and Semi-invariants in the Analysis of Nonlinear Systems
    ανά Menini, Laura, Tornambè, Antonio
    Έκδοση 2011
    Πίνακας περιεχομένων: “…: Applications to Control Systems -- Computation of the Flow of Linearizable Systems -- Semi-invariants…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Handbook of regression analysis /
    ανά Chatterjee, Samprit, 1938-
    Έκδοση 2013
    Πίνακας περιεχομένων: “…. Transformations and linearizable models -- 5. Time series data and autocorrelation -- Part III. Categorical…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  9. 9
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Automatic Derivation of Platform Noninterference Properties -- Linearizability and Causality -- Refinement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Low Gain Feedback
    ανά Lin, Zongli, Lin, Zongli
    Έκδοση 1999
    Πίνακας περιεχομένων: “… linearizable systems -- Perfect regulation and H 2-suboptimal control -- Almost disturbance decoupling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Delay Compensation for Nonlinear, Adaptive, and PDE Systems
    ανά Krstic, Miroslav
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Forward-Complete Systems -- Strict-Feedforward Systems -- Linearizable Strict-Feedforward Systems -- PDE…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Linearizable Datatypes Using CSP -- Discrete Random Variables over Domains, Revisited -- A Demonic Lattice…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Advances in Fuzzy Control
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Fuzzy Logic Control of Feedback Linearizable Systems -- Fuzzy Model Reference Learning Control…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Operator Theory, Operator Algebras, and Matrix Theory
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- More than 40 years of algebraic techniques in Numerical Analysis -- Linearizability of multi-control…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Symmetries, Differential Equations and Applications SDEA-III, İstanbul, Turkey, August 2017 /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Linearizable via Generalized Lie-Bäcklund Transformations -- R. Mohanasubha, V. K. Chandrasekar, M…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Distributed Algorithms for Message-Passing Systems
    ανά Raynal, Michel
    Έκδοση 2013
    Πίνακας περιεχομένων: “…  Atomic Consistency (Linearizability) -- Chap. 17  Sequential Consistency -- Afterword -- Bibliography…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Provably Correct Systems
    Έκδοση 2017
    Πίνακας περιεχομένων: “…: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Synchronous Languages and Process Calculi -- Experience with Model Checking Linearizability -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Linearizability Via Non-atomic Refinement -- Lifting General Correctness into Partial Correctness is ok…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email