Checking Robustness Between Weak Transactional Consistency Models
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | ||
| Author | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/55055 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
ConsistencySynchronizationDatabaseElectric generatorIndependence (probability theory)Database transactionParallel portVariable (mathematics)TheoremVertex (graph theory)Graph (mathematics)Process (computing)Programmer (hardware)Commutative propertyTheoryData modelDatabase transactionClient (computing)Vertex (graph theory)Process (computing)Finite-state machineSerializabilityConsistencyHeegaard splittingVariety (linguistics)Vulnerability (computing)Control flowComplex (psychology)Query languageComputer programmingDifferent (Kate Ryan album)DataflowCASE <Informatik>Endliche ModelltheorieGroup actionAbstractionOperator (mathematics)Transformation (genetics)ResultantData storage deviceSynchronizationSerial portDatabaseParallel portCommutatorGraph (mathematics)Hybrid computerCausalityRead-only memorySet (mathematics)Reduction of orderReplication (computing)Revision controlMixed realityVariable (mathematics)Theory of relativityComplete metric spaceSpacetimeCorrespondence (mathematics)TheoryNumberCartesian coordinate systemPotenz <Mathematik>Independence (probability theory)Direction (geometry)PSPACEFunctional (mathematics)Prime idealApproximationLatent heatInsertion lossCybersexSource codeMultiplication signExterior algebraCommutative propertyTracing (software)Order (biology)Formal verificationStandard deviationTelebankingState of matterCycle (graph theory)Software developerStability theorySoftwareGame controllerCodePhysical systemRow (database)Translation (relic)Concurrency (computer science)BenchmarkReading (process)Computer fileCentralizer and normalizerPerformance appraisalBound stateConnectivity (graph theory)Virtual machineLocal ringMultiplicationComputing platform2 (number)Civil engineeringWritingUniform resource locatorJSONXML
Transcript: Englisch(auto-generated)