The Complexity of Bounded Context Switching with Dynamic Thread Creation
Formal Metadata
| Title |
| |
| Subtitle |
| |
| Title of Series | ||
| Number of Parts | ||
| Author | ||
| Contributors | ||
| 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/49411 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
Computer programKolmogorov complexityWritingSheaf (mathematics)Context awarenessData modelThread (computing)InfinityRead-only memoryRekursiv aufzählbare MengeThread (computing)Semiconductor memoryRekursiv aufzählbare MengeInterrupt <Informatik>WritingEndliche ModelltheorieSystem callInstance (computer science)Procedural programmingPoint (geometry)InformationKettenkomplexBound stateMultiplication signSheaf (mathematics)ResultantSymbolic dynamicsComputer programmingNumberCollaborationismContext awarenessTwitterMechanism designWordProcess (computing)Quantum stateInsertion lossComputer animation
03:22
System programmingStack (abstract data type)AerodynamicsConcurrency (computer science)Computer networkKolmogorov complexityContext awarenessThread (computing)Configuration spaceRule of inferenceStack (abstract data type)Context awarenessConfiguration spaceNumberEndliche ModelltheorieConnectivity (graph theory)Concurrency (computer science)BitThread (computing)SoftwareSymbolic dynamicsSymbol tableSelection ruleState of matterPhysical systemRevision controlComputer animation
04:10
Kolmogorov complexityContext awarenessConcurrency (computer science)Computer networkAerodynamicsSystem programmingStack (abstract data type)Symbol tableGroup actionState of matterThread (computing)Rule of inferenceNumberContext awarenessEndliche ModelltheorieStack (abstract data type)Selection ruleConfiguration spaceoutputAmenable groupSet (mathematics)Absolute valueSeries (mathematics)Level (video gaming)Mobile WebMathematicsVideo game consoleReading (process)
06:43
Kolmogorov complexityState of matterTheoremAerodynamicsComputer networkConcurrency (computer science)System programmingStack (abstract data type)outputSpacetimeState of matterResultantoutputCASE <Informatik>Complete metric spaceDegree (graph theory)Computer animation
07:14
Context awarenessKolmogorov complexityProof theoryComputer fontReduction of orderComputer programRadical (chemistry)Untere SchrankeData modelRecursionCovering spaceEndliche ModelltheorieRecursionGroup actionMereologyReduction of orderProof theoryRadical (chemistry)NP-hardCovering spaceSoftware testingDifferent (Kate Ryan album)WeightPetri netConstructor (object-oriented programming)CausalityDeterminantComputer programmingBound stateComputer animation
08:15
Representation (politics)Alphabet (computer science)Petri netAddress spaceKolmogorov complexityBound stateVector graphicsFunction (mathematics)outputType theoryThread (computing)Token ringLevel (video gaming)Formal verificationMassCorrespondence (mathematics)Maxima and minimaStack (abstract data type)Symbol tableSet (mathematics)Proof theoryComputer fontComputer programRadical (chemistry)Covering spaceRecursionSystem programmingKettenkomplexGroup actionToken ringFunction (mathematics)State of matterAddress spaceSymbol tableoutputVector spaceLevel (video gaming)NP-hardType theoryMatching (graph theory)Multiplication signMereologyNumberInstance (computer science)Physical systemGreatest elementSet (mathematics)SimulationSpacetimeGraph coloringReading (process)MathematicsReduction of orderThread (computing)CASE <Informatik>Endliche ModelltheorieGamma function2 (number)KettenkomplexPosition operatorContext awareness1 (number)Sign (mathematics)Control flowLengthCovering spaceAlphabet (computer science)Finite-state machineRepresentation (politics)Petri netStack (abstract data type)WordCorrespondence (mathematics)CausalityDifferent (Kate Ryan album)DialectWeightSource codeCondition numberRow (database)Matrix (mathematics)Presentation of a groupOpen setInformationCellular automatonSystem callOnline helpUniformer RaumPulse (signal processing)Process (computing)Observational studyComputer animation
16:39
Context awarenessKolmogorov complexityComputer programBound stateReduction of orderInvariant (mathematics)Maxima and minimaComputer programmingWeightBoss CorporationSoftware testingPotenz <Mathematik>RecursionReduction of orderConstructor (object-oriented programming)NP-hardBound stateSpacetimeComputer animation
17:41
Kolmogorov complexityComputer programBound stateProgrammschleifeVariable (mathematics)Loop (music)Software testingRecursionCodeExponential functionSpacetimeProgrammschleifeLevel (video gaming)Equaliser (mathematics)RecursionNP-hardDecimalSpacetimeVariable (mathematics)outputConstructor (object-oriented programming)Maxima and minimaSoftware testingPotenz <Mathematik>Computer programmingProgramming paradigmOnline helpLoop (music)Limit (category theory)Multiplication signProcedural programmingPerturbation theorySquare numberNetwork topologyWeightDifferent (Kate Ryan album)Barrelled spaceSystem callFlow separationComputer animation
19:57
RecursionBound stateContext awarenessKolmogorov complexityRepresentation (politics)Address spaceBinary fileState of matterCodierung <Programmierung>SpacetimeProof theoryComputer fontComputer programRadical (chemistry)TheoremExponential functionEndliche ModelltheorieIndependence (probability theory)NP-hardData modelProcedural programmingLine (geometry)Address spaceNatural numberBinary codePolynomialSystem callRecursionType theoryGroup actionCodeConstructor (object-oriented programming)Hydraulic jumpEndliche ModelltheoriePetri netLocal ringKettenkomplexState of matterVariable (mathematics)NP-hardMereologyBoolean algebraProof theoryResultantReduction of orderBound stateRepresentation (politics)Online helpPhysical lawMoment (mathematics)Process (computing)State observerToken ringComputer programmingNetwork topologyContext awarenessProduct (business)OntologyCone penetration testWave packetStaff (military)Computer animation
Transcript: Englisch(auto-generated)