FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230480080> ?p ?o ?g. }

• W4230480080 abstract "We provide a new characterization of scheduling nondeterminism by allowing deterministic schedulers to delay their next-scheduled task. In limiting the delays an otherwise-deterministic scheduler is allowed, we discover concurrency bugs efficiently---by exploring few schedules---and robustly---i.e., independent of the number of tasks, context switches, or buffered events. Our characterization elegantly applies to any systematic exploration (e.g., testing, model checking) of concurrent programs with dynamic task-creation. Additionally, we show that certain delaying schedulers admit efficient reductions from concurrent to sequential program analysis." @default.
• W4230480080 created "2022-05-11" @default.
• W4230480080 creator A5021217615 @default.
• W4230480080 creator A5061209906 @default.
• W4230480080 creator A5072464909 @default.
• W4230480080 date "2011-01-26" @default.
• W4230480080 modified "2023-10-17" @default.
• W4230480080 title "Delay-bounded scheduling" @default.
• W4230480080 cites W1487101380 @default.
• W4230480080 cites W1493367105 @default.
• W4230480080 cites W1519361875 @default.
• W4230480080 cites W1563374799 @default.
• W4230480080 cites W1868584616 @default.
• W4230480080 cites W1933255669 @default.
• W4230480080 cites W2010365467 @default.
• W4230480080 cites W2031575609 @default.
• W4230480080 cites W2060345611 @default.
• W4230480080 cites W2065675749 @default.
• W4230480080 cites W2087046173 @default.
• W4230480080 cites W2118437239 @default.
• W4230480080 cites W2128453996 @default.
• W4230480080 cites W2132107743 @default.
• W4230480080 cites W2132334337 @default.
• W4230480080 cites W2135948849 @default.
• W4230480080 cites W2143502475 @default.
• W4230480080 cites W2148778089 @default.
• W4230480080 cites W2184209356 @default.
• W4230480080 cites W4233804448 @default.
• W4230480080 cites W4243443630 @default.
• W4230480080 cites W4254906220 @default.
• W4230480080 doi "https://doi.org/10.1145/1926385.1926432" @default.
• W4230480080 hasPublicationYear "2011" @default.
• W4230480080 type Work @default.
• W4230480080 citedByCount "92" @default.
• W4230480080 countsByYear W42304800802012 @default.
• W4230480080 countsByYear W42304800802013 @default.
• W4230480080 countsByYear W42304800802014 @default.
• W4230480080 countsByYear W42304800802015 @default.
• W4230480080 countsByYear W42304800802016 @default.
• W4230480080 countsByYear W42304800802017 @default.
• W4230480080 countsByYear W42304800802018 @default.
• W4230480080 countsByYear W42304800802019 @default.
• W4230480080 countsByYear W42304800802020 @default.
• W4230480080 countsByYear W42304800802021 @default.
• W4230480080 countsByYear W42304800802022 @default.
• W4230480080 countsByYear W42304800802023 @default.
• W4230480080 crossrefType "proceedings-article" @default.
• W4230480080 hasAuthorship W4230480080A5021217615 @default.
• W4230480080 hasAuthorship W4230480080A5061209906 @default.
• W4230480080 hasAuthorship W4230480080A5072464909 @default.
• W4230480080 hasConcept C120314980 @default.
• W4230480080 hasConcept C126255220 @default.
• W4230480080 hasConcept C127413603 @default.
• W4230480080 hasConcept C134306372 @default.
• W4230480080 hasConcept C162324750 @default.
• W4230480080 hasConcept C173608175 @default.
• W4230480080 hasConcept C187736073 @default.
• W4230480080 hasConcept C188198153 @default.
• W4230480080 hasConcept C193702766 @default.
• W4230480080 hasConcept C199360897 @default.
• W4230480080 hasConcept C206345919 @default.
• W4230480080 hasConcept C206729178 @default.
• W4230480080 hasConcept C2780451532 @default.
• W4230480080 hasConcept C2984822820 @default.
• W4230480080 hasConcept C31258907 @default.
• W4230480080 hasConcept C33923547 @default.
• W4230480080 hasConcept C34388435 @default.
• W4230480080 hasConcept C41008148 @default.
• W4230480080 hasConcept C53833338 @default.
• W4230480080 hasConcept C75949130 @default.
• W4230480080 hasConcept C78519656 @default.
• W4230480080 hasConcept C80444323 @default.
• W4230480080 hasConcept C84511453 @default.
• W4230480080 hasConceptScore W4230480080C120314980 @default.
• W4230480080 hasConceptScore W4230480080C126255220 @default.
• W4230480080 hasConceptScore W4230480080C127413603 @default.
• W4230480080 hasConceptScore W4230480080C134306372 @default.
• W4230480080 hasConceptScore W4230480080C162324750 @default.
• W4230480080 hasConceptScore W4230480080C173608175 @default.
• W4230480080 hasConceptScore W4230480080C187736073 @default.
• W4230480080 hasConceptScore W4230480080C188198153 @default.
• W4230480080 hasConceptScore W4230480080C193702766 @default.
• W4230480080 hasConceptScore W4230480080C199360897 @default.
• W4230480080 hasConceptScore W4230480080C206345919 @default.
• W4230480080 hasConceptScore W4230480080C206729178 @default.
• W4230480080 hasConceptScore W4230480080C2780451532 @default.
• W4230480080 hasConceptScore W4230480080C2984822820 @default.
• W4230480080 hasConceptScore W4230480080C31258907 @default.
• W4230480080 hasConceptScore W4230480080C33923547 @default.
• W4230480080 hasConceptScore W4230480080C34388435 @default.
• W4230480080 hasConceptScore W4230480080C41008148 @default.
• W4230480080 hasConceptScore W4230480080C53833338 @default.
• W4230480080 hasConceptScore W4230480080C75949130 @default.
• W4230480080 hasConceptScore W4230480080C78519656 @default.
• W4230480080 hasConceptScore W4230480080C80444323 @default.
• W4230480080 hasConceptScore W4230480080C84511453 @default.
• W4230480080 hasLocation W42304800801 @default.
• W4230480080 hasOpenAccess W4230480080 @default.
• W4230480080 hasPrimaryLocation W42304800801 @default.
• W4230480080 hasRelatedWork W1882733036 @default.

• next