Formal methods: Monitoring Distributed Systems under Partial Synchrony
Formale Metadaten
Titel |
| |
Serientitel | ||
Anzahl der Teile | 30 | |
Autor | ||
Lizenz | CC-Namensnennung 4.0 International: 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/52866 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | ||
Genre | ||
Abstract |
|
00:00
AggregatzustandSynchronisierungPartielle DifferentiationLaufzeitfehlerProgrammverifikationSynchronisierungPartielle Differentiationt-TestData MiningRechter WinkelProgrammverifikationLaufzeitfehlerJSONXML
00:25
ProgrammverifikationLaufzeitfehlerPhysikalisches SystemUnendlichkeitEreignishorizontDifferenteOrdnung <Mathematik>AbstraktionsebeneAlgorithmusPrädikat <Logik>SystemprogrammierungStreaming <Kommunikationstechnik>Partielle DifferentiationSynchronisierungZeitsynchronisationSchiefe WahrscheinlichkeitsverteilungFontLineare AbbildungTemporale LogikKontextbezogenes SystemMaßerweiterungAusdruck <Logik>Funktion <Mathematik>Virtuelle MaschineEindeutigkeitDeterministischer ProzessTransaktionSoftwareProzess <Informatik>Relation <Informatik>Prozess <Informatik>AggregatzustandFigurierte ZahlEreignishorizontPhysikalisches SystemMultiplikationsoperatorOffice-PaketExplosion <Stochastik>InstantiierungStellenringGradientUmwandlungsenthalpieGruppenoperationKategorie <Mathematik>Web SiteVerschlingungOrdnung <Mathematik>Rechter WinkelSynchronisierungSoundverarbeitungAusdruck <Logik>Zentrische StreckungSchnittmengeGüte der AnpassungKontextbezogenes SystemPhysikalischer EffektWhiteboardGeradeProjektive EbeneGrenzwertberechnungMAPDeterminanteZellularer AutomatInverser LimesNeuroinformatikNummernsystemFlächeninhaltt-TestGibbs-VerteilungBildschirmfensterVererbungshierarchieTopologieFormale SemantikNichtlinearer OperatorEinsMathematikTelekommunikationEntscheidungstheorieFamilie <Mathematik>ZustandsmaschineAlgorithmusPrädikat <Logik>RoboterLaufzeitfehlerLeistungsbewertungProgrammverifikationGebundener ZustandAuflösung <Mathematik>Schiefe WahrscheinlichkeitsverteilungUnendlichkeitAblaufverfolgungTemporale LogikTermMechanismus-Design-TheoriePartielle DifferentiationComputersimulationParallelrechnerVarietät <Mathematik>Computeranimation
08:42
Prozess <Informatik>StellenringFunktion <Mathematik>Schiefe WahrscheinlichkeitsverteilungLokales MinimumEreignishorizontMessage-PassingDynamisches RAMTeilmengeWiderspruchsfreiheitLogische UhrHybridrechnerPhysikalischer EffektTupelBefehl <Informatik>ProgrammverifikationFolge <Mathematik>LeistungsbewertungAusdruck <Logik>InstantiierungNebenbedingungElement <Gruppentheorie>Spannweite <Stochastik>Strom <Mathematik>ZeitbereichAutomat <Automatentheorie>FontBildschirmfensterLogische UhrGrenzwertberechnungAlgorithmusLaufzeitfehlerMathematikSchnitt <Mathematik>Sigma-AlgebraArithmetisches MittelNeuroinformatikDatensatzSchnittmengeInstantiierungDreiecksfreier GraphMapping <Computergraphik>Spannweite <Stochastik>LeistungsbewertungProgrammschleifeAusdruck <Logik>Folge <Mathematik>WiderspruchsfreiheitProgrammverifikationBefehl <Informatik>EreignishorizontTelekommunikationProzess <Informatik>AggregatzustandPunktTeilmengeFunktionalRechter WinkelCASE <Informatik>Schiefe WahrscheinlichkeitsverteilungNebenbedingungLokales MinimumPhysikalisches SystemStellenringPhysikalischer EffektZeitzoneTupelElement <Gruppentheorie>Automat <Automatentheorie>Leistung <Physik>EntscheidungsmodellARM <Computerarchitektur>MultiplikationsoperatorKonstanteTopologieWahrscheinlichkeitsverteilungCoxeter-GruppeMereologieInterpretiererPunktwolkeMessage-PassingCOTSMAPBildschirmmaskeSprachsynthesesinc-FunktionGruppenoperationZweiComputeranimation
16:59
Globale OptimierungProzess <Informatik>MatrizenrechnungFontCASE <Informatik>LeistungsbewertungBeobachtungsstudiePhasenumwandlungSpeicherabzugParallelrechnerExtreme programmingProgrammverifikationEreignishorizontZahlenbereichParametersystemLokales MinimumBitrateMessage-PassingSchiefe WahrscheinlichkeitsverteilungPrädikat <Logik>Partielle DifferentiationSynchronisierungLaufzeitfehlerAusdruck <Logik>RechenwerkDatenbankRelationentheorieSchreiben <Datenverarbeitung>GoogolMittelwertSkalierbarkeitPunktwolkeDienst <Informatik>Mathematische LogikStetige FunktionSystemprogrammierungAusdruck <Logik>Overhead <Kommunikationstechnik>MultiplikationsoperatorEreignishorizontLaufzeitfehlerZahlenbereichTeilmengeSpannweite <Stochastik>SynchronisierungZentralisatorProzess <Informatik>t-TestMereologieARM <Computerarchitektur>sinc-FunktionRechter WinkelZweiKontrollstrukturDatenbankMatrizenrechnungAggregatzustandPhysikalisches SystemSpeicherabzugProgrammverifikationNeuroinformatikMAPGrenzschichtablösungDatenstrukturPunktCloud ComputingDatenparallelitätGemeinsamer SpeicherSelbst organisierendes SystemGlobale OptimierungInstantiierungGRASS <Programm>Projektive EbeneBillard <Mathematik>Mathematische LogikCoprozessorDickeVererbungshierarchiePunktwolkeGraphiktablettComputerarchitekturForcingLokales MinimumMessage-PassingOrdnung <Mathematik>BildschirmmaskeMathematikKnotenpunktCodierung <Programmierung>Temporale LogikSkalierbarkeitAnalytische FortsetzungParalleler AlgorithmusMultigraphSiedepunktGoogolElektronisches ForumExtreme programmingLastParametersystemLeistungsbewertungPhasenumwandlungBitrateStreaming <Kommunikationstechnik>CybersexPrädikat <Logik>NormalvektorAutomat <Automatentheorie>Schiefe WahrscheinlichkeitsverteilungLeistung <Physik>WürfelGrenzwertberechnungTopologieBefehlsprozessorMehrkernprozessorParallelrechnerOpen SourceBeobachtungsstudieCASE <Informatik>Computeranimation
25:17
AggregatzustandSimulation
Transkript: Englisch(automatisch erzeugt)