Matches in SemOpenAlex for { <https://semopenalex.org/work/W111437419> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W111437419 abstract "We describe the Gadara project, a research effort whose goal is to eliminate certain classes of concurrency bugs in multithreaded software by controlling the execution of programs at run-time. The Gadara process involves three stages: modeling of the source code at compile time in the form of a Petri net, feedback control synthesis, and control logic implementation into the source code. The feedback control logic is synthesized using techniques from supervisory control of discrete event systems, where the specification captures the avoidance of certain types of concurrency bugs, such as deadlocks. We focus on the case of circular-wait deadlocks in multithreaded programs employing mutual exclusion locks for shared data. The application of the Gadara methodology to other classes of concurrency bugs is briefly discussed." @default.
- W111437419 created "2016-06-24" @default.
- W111437419 creator A5008675858 @default.
- W111437419 creator A5011242335 @default.
- W111437419 creator A5027585653 @default.
- W111437419 date "2013-01-01" @default.
- W111437419 modified "2023-09-23" @default.
- W111437419 title "Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets" @default.
- W111437419 cites W1542873808 @default.
- W111437419 cites W1556549343 @default.
- W111437419 cites W1971556751 @default.
- W111437419 cites W1973317763 @default.
- W111437419 cites W1979184171 @default.
- W111437419 cites W1979349468 @default.
- W111437419 cites W1996109622 @default.
- W111437419 cites W2005179287 @default.
- W111437419 cites W2015244008 @default.
- W111437419 cites W2024623468 @default.
- W111437419 cites W2067967561 @default.
- W111437419 cites W2094928679 @default.
- W111437419 cites W2102527810 @default.
- W111437419 cites W2107216693 @default.
- W111437419 cites W2109692480 @default.
- W111437419 cites W2110169180 @default.
- W111437419 cites W2120894407 @default.
- W111437419 cites W2130876362 @default.
- W111437419 cites W2156472570 @default.
- W111437419 cites W2157597221 @default.
- W111437419 cites W2163167436 @default.
- W111437419 cites W2170657991 @default.
- W111437419 cites W2171211501 @default.
- W111437419 cites W2509841691 @default.
- W111437419 cites W3148851051 @default.
- W111437419 cites W4256028745 @default.
- W111437419 doi "https://doi.org/10.1007/978-3-642-38697-8_2" @default.
- W111437419 hasPublicationYear "2013" @default.
- W111437419 type Work @default.
- W111437419 sameAs 111437419 @default.
- W111437419 citedByCount "3" @default.
- W111437419 countsByYear W1114374192016 @default.
- W111437419 countsByYear W1114374192021 @default.
- W111437419 crossrefType "book-chapter" @default.
- W111437419 hasAuthorship W111437419A5008675858 @default.
- W111437419 hasAuthorship W111437419A5011242335 @default.
- W111437419 hasAuthorship W111437419A5027585653 @default.
- W111437419 hasConcept C108744092 @default.
- W111437419 hasConcept C120314980 @default.
- W111437419 hasConcept C150495011 @default.
- W111437419 hasConcept C159023740 @default.
- W111437419 hasConcept C169590947 @default.
- W111437419 hasConcept C193702766 @default.
- W111437419 hasConcept C199360897 @default.
- W111437419 hasConcept C208087996 @default.
- W111437419 hasConcept C38677869 @default.
- W111437419 hasConcept C41008148 @default.
- W111437419 hasConcept C56348326 @default.
- W111437419 hasConcept C61912525 @default.
- W111437419 hasConcept C75949130 @default.
- W111437419 hasConcept C84511453 @default.
- W111437419 hasConceptScore W111437419C108744092 @default.
- W111437419 hasConceptScore W111437419C120314980 @default.
- W111437419 hasConceptScore W111437419C150495011 @default.
- W111437419 hasConceptScore W111437419C159023740 @default.
- W111437419 hasConceptScore W111437419C169590947 @default.
- W111437419 hasConceptScore W111437419C193702766 @default.
- W111437419 hasConceptScore W111437419C199360897 @default.
- W111437419 hasConceptScore W111437419C208087996 @default.
- W111437419 hasConceptScore W111437419C38677869 @default.
- W111437419 hasConceptScore W111437419C41008148 @default.
- W111437419 hasConceptScore W111437419C56348326 @default.
- W111437419 hasConceptScore W111437419C61912525 @default.
- W111437419 hasConceptScore W111437419C75949130 @default.
- W111437419 hasConceptScore W111437419C84511453 @default.
- W111437419 hasLocation W1114374191 @default.
- W111437419 hasOpenAccess W111437419 @default.
- W111437419 hasPrimaryLocation W1114374191 @default.
- W111437419 hasRelatedWork W134678163 @default.
- W111437419 hasRelatedWork W1525582429 @default.
- W111437419 hasRelatedWork W1538734857 @default.
- W111437419 hasRelatedWork W1971556751 @default.
- W111437419 hasRelatedWork W2098777065 @default.
- W111437419 hasRelatedWork W2111900492 @default.
- W111437419 hasRelatedWork W2156954749 @default.
- W111437419 hasRelatedWork W2157942139 @default.
- W111437419 hasRelatedWork W2172295952 @default.
- W111437419 hasRelatedWork W2188512075 @default.
- W111437419 hasRelatedWork W2341360544 @default.
- W111437419 hasRelatedWork W2360189285 @default.
- W111437419 hasRelatedWork W23699637 @default.
- W111437419 hasRelatedWork W2508776720 @default.
- W111437419 hasRelatedWork W2620782151 @default.
- W111437419 hasRelatedWork W2791212881 @default.
- W111437419 hasRelatedWork W3085024073 @default.
- W111437419 hasRelatedWork W67943265 @default.
- W111437419 hasRelatedWork W2126925101 @default.
- W111437419 hasRelatedWork W2988431940 @default.
- W111437419 isParatext "false" @default.
- W111437419 isRetracted "false" @default.
- W111437419 magId "111437419" @default.
- W111437419 workType "book-chapter" @default.