- Standort
-
Hannover TIB
- Umfang
-
68MB, 00:17:54:25 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
- Schlagwort
-
Verification
Weak Consistency
Data Structures
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Krishna, Siddharth
Emmi, Michael
Enea, Constantin
Jovanović, Dejan
- DOI
-
10.5446/54930
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Krishna, Siddharth
- Emmi, Michael
- Enea, Constantin
- Jovanović, Dejan
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Visibility in event based systems
Visibility in event based systems
Verifying OPAL, Pt. 1.. Verifying in the small
Weak and Strong Time Consistency in Differential Oligopoly Games with Capital Accumulation
Verifying real-time systems
Self-verifying cellular automata
Degenerate U- and V-statistics under weak dependence : Asymptotic theory and bootstrap consistency
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Visibility in event based systems
Visibility in event based systems
Verifying OPAL, Pt. 1.. Verifying in the small
Weak and Strong Time Consistency in Differential Oligopoly Games with Capital Accumulation
Verifying real-time systems
Self-verifying cellular automata
Degenerate U- and V-statistics under weak dependence : Asymptotic theory and bootstrap consistency
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Visibility in event based systems
Visibility in event based systems
Verifying OPAL, Pt. 1.. Verifying in the small
Weak and Strong Time Consistency in Differential Oligopoly Games with Capital Accumulation
Verifying real-time systems
Self-verifying cellular automata