zweidimensionales bewegtes Bild
Checking Robustness Between Weak Transactional Consistency Models
- Standort
-
Hannover TIB
- Umfang
-
87MB, 00:15:06:20 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Beillahi, Sidi Mohamed
Bouajjani, Ahmed
Enea, Constantin
- DOI
-
10.5446/55055
- 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
- Beillahi, Sidi Mohamed
- Bouajjani, Ahmed
- Enea, Constantin
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Consistency-Checking 3D Geological Models
Consistency, isolation, and irrevocability in software transactional memory : = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
Verifying Visibility-Based Weak Consistency
Dynamic consistency checking of cloud computing patterns
Consistency and robustness of kernel based regression
Consistency, Robustness and Sparsity for Learning Algorithms
Consistency and robustness of kernel based regression
Automated Reasoning under Weak Memory Consistency
Instant and global consistency checking during collaborative engineering
Semantic analysis and consistency checking of UML sequence diagrams
Checking for model consistency in optimal fingerprinting: a comment
Causal weak consistency replication : a systems approach
Consistency-Checking 3D Geological Models
Consistency, isolation, and irrevocability in software transactional memory : = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
Verifying Visibility-Based Weak Consistency
Dynamic consistency checking of cloud computing patterns
Consistency and robustness of kernel based regression
Consistency, Robustness and Sparsity for Learning Algorithms
Consistency and robustness of kernel based regression
Automated Reasoning under Weak Memory Consistency
Instant and global consistency checking during collaborative engineering
Semantic analysis and consistency checking of UML sequence diagrams
Checking for model consistency in optimal fingerprinting: a comment
Causal weak consistency replication : a systems approach
Consistency-Checking 3D Geological Models
Consistency, isolation, and irrevocability in software transactional memory : = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
Verifying Visibility-Based Weak Consistency
Dynamic consistency checking of cloud computing patterns
Consistency and robustness of kernel based regression
Consistency, Robustness and Sparsity for Learning Algorithms
Consistency and robustness of kernel based regression
Automated Reasoning under Weak Memory Consistency
Instant and global consistency checking during collaborative engineering
Semantic analysis and consistency checking of UML sequence diagrams
Checking for model consistency in optimal fingerprinting: a comment