Filtrer vos résultats
- 9
- 1
- 6
- 2
- 2
- 1
- 9
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 10
- 6
- 5
- 4
- 4
- 3
- 3
- 2
- 1
- 10
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Communication dans un congrès
hal-01350668v1
|
||
|
Verifying a Concurrent Garbage Collector using a Rely-Guarantee MethodologyITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
Communication dans un congrès
hal-01613389v1
|
||
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Communication dans un congrès
hal-02052012v1
|
||
|
Proving the safety of highly-available distributed objects (Extended version)[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Rapport
hal-02492599v1
|
||
|
Verifying a Concurrent Garbage Collector with a Rely-Guarantee MethodologyJournal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9489-x⟩
Article dans une revue
hal-01897251v1
|
||
|
Consistency in 3D[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Rapport
hal-01343592v1
|
||
Atomicity Refinement for Verified CompilationACM Transactions on Programming Languages and Systems (TOPLAS), 2014, pp.30
Article dans une revue
hal-01102435v1
|
|||
|
Relaxed memory models: an operational approachPOPL'09, Jan 2009, Savannah, GA,, United States
Communication dans un congrès
inria-00420352v1
|
||
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Communication dans un congrès
hal-02424317v3
|
||
|
Ensuring referential integrity under causal consistency PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Communication dans un congrès
hal-01727207v1
|