Verifying Visibility-Based Weak Consistency
Formale Metadaten
Titel |
| |
Serientitel | ||
Anzahl der Teile | ||
Autor | ||
Mitwirkende | ||
Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
Identifikatoren | 10.5446/54930 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | ||
Genre | ||
Abstract |
| |
Schlagwörter |
00:00
OrdinalzahlOperations ResearchFolge <Mathematik>MAPGruppenoperationNebenbedingungPhysikalischer EffektBetrag <Mathematik>Peer-to-Peer-NetzWiderspruchsfreiheitPrädikat <Logik>Gebundener ZustandSchnittmengeROM <Informatik>TabelleLastStrategisches SpielDatenstrukturLinearisierungGruppenoperationObjekt <Kategorie>HalbleiterspeicherUmwandlungsenthalpieProgrammverifikationSchnittmengeBeweistheorieAppletQuick-SortArray <Informatik>Endliche ModelltheorieSoftwareschwachstelleImplementierungWiderspruchsfreiheitMAPTabellePunktCASE <Informatik>InformationBeobachtungsstudieLoopZellularer AutomatDatenparallelitätHash-AlgorithmusSpeicherverwaltungIndexberechnungURLAutomatische IndexierungSchlüsselverwaltungNichtlinearer OperatorFigurierte ZahlMapping <Computergraphik>Folge <Mathematik>Mailing-ListeThreadOrdnung <Mathematik>CodecStandardabweichungCodierung <Programmierung>Strategisches SpielElement <Gruppentheorie>SpeicheradresseEchtzeitsystemIterationSummierbarkeitSimulationVerkehrsinformationVerschlingungWarteschlangeInformationsspeicherungMathematisches ObjektQuaderMultiplikationsoperatorIdentifizierbarkeitPrimitive <Informatik>ZeitrichtungCodeFreewareFunktionalStrömungsrichtungInhalt <Mathematik>LastPrädikat <Logik>Abstrakter DatentypOrdnungsreduktionAggregatzustandSoftwaretestProgrammbibliothekSoundverarbeitungNebenbedingungResultanteService providerClientNeuroinformatikExistenzsatzProjektive EbeneTransitionssystemCoxeter-GruppeProgrammierungSchlussregelSchreiben <Datenverarbeitung>Inelastischer StoßBaumechanikRechter WinkelSystemaufrufOrdinalzahlKonditionszahlSynchronisierungBetrag <Mathematik>ParametersystemSelbstrepräsentationTypentheorieFormale GrammatikInvarianteAlgorithmusXML
Transkript: English(automatisch erzeugt)