FRINK Linked Data Fragments server

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

• W2436624 endingPage "276" @default.
• W2436624 startingPage "260" @default.
• W2436624 abstract "We study a class of concurrent pushdown systems communicating by both global synchronisations and reversal-bounded counters, providing a natural model for multithreaded programs with procedure calls and numeric data types. We show that the synchronisation-bounded reachability problem can be efficiently reduced to the satisfaction of an existential Presburger formula. Hence, the problem is NP-complete and can be tackled with efficient SMT solvers such as Z3. In addition, we present optimisations to make our reduction practical, e.g., heuristics for removing or merging transitions in our models. We provide optimised algorithms and a prototypical implementation of our results and perform preliminary experiments on examples derived from real-world problems." @default.
• W2436624 created "2016-06-24" @default.
• W2436624 creator A5034129725 @default.
• W2436624 creator A5083664380 @default.
• W2436624 date "2012-01-01" @default.
• W2436624 modified "2023-09-30" @default.
• W2436624 title "Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters" @default.
• W2436624 cites W147131300 @default.
• W2436624 cites W1480909796 @default.
• W2436624 cites W1491036809 @default.
• W2436624 cites W1493367105 @default.
• W2436624 cites W1536303350 @default.
• W2436624 cites W1545371423 @default.
• W2436624 cites W1563374799 @default.
• W2436624 cites W1589224558 @default.
• W2436624 cites W1598142426 @default.
• W2436624 cites W1603445208 @default.
• W2436624 cites W1691700263 @default.
• W2436624 cites W1823865466 @default.
• W2436624 cites W1911833263 @default.
• W2436624 cites W1939061729 @default.
• W2436624 cites W1945689202 @default.
• W2436624 cites W1976646422 @default.
• W2436624 cites W1979876920 @default.
• W2436624 cites W2023999667 @default.
• W2436624 cites W2031525781 @default.
• W2436624 cites W2033058983 @default.
• W2436624 cites W2044772623 @default.
• W2436624 cites W2060345611 @default.
• W2436624 cites W2072212606 @default.
• W2436624 cites W2105357036 @default.
• W2436624 cites W2105614525 @default.
• W2436624 cites W2107398710 @default.
• W2436624 cites W2114132089 @default.
• W2436624 cites W2117111736 @default.
• W2436624 cites W2157148396 @default.
• W2436624 cites W2165546792 @default.
• W2436624 cites W2911584291 @default.
• W2436624 cites W2912538643 @default.
• W2436624 cites W3017319410 @default.
• W2436624 cites W3023968070 @default.
• W2436624 cites W3126200532 @default.
• W2436624 cites W4236838373 @default.
• W2436624 cites W4301322018 @default.
• W2436624 doi "https://doi.org/10.1007/978-3-642-31424-7_22" @default.
• W2436624 hasPublicationYear "2012" @default.
• W2436624 type Work @default.
• W2436624 sameAs 2436624 @default.
• W2436624 citedByCount "22" @default.
• W2436624 countsByYear W24366242013 @default.
• W2436624 countsByYear W24366242014 @default.
• W2436624 countsByYear W24366242015 @default.
• W2436624 countsByYear W24366242016 @default.
• W2436624 countsByYear W24366242018 @default.
• W2436624 countsByYear W24366242019 @default.
• W2436624 countsByYear W24366242020 @default.
• W2436624 countsByYear W24366242021 @default.
• W2436624 countsByYear W24366242023 @default.
• W2436624 crossrefType "book-chapter" @default.
• W2436624 hasAuthorship W2436624A5034129725 @default.
• W2436624 hasAuthorship W2436624A5083664380 @default.
• W2436624 hasBestOaLocation W24366241 @default.
• W2436624 hasConcept C110251889 @default.
• W2436624 hasConcept C111335779 @default.
• W2436624 hasConcept C111919701 @default.
• W2436624 hasConcept C11413529 @default.
• W2436624 hasConcept C127705205 @default.
• W2436624 hasConcept C134306372 @default.
• W2436624 hasConcept C136643341 @default.
• W2436624 hasConcept C154945302 @default.
• W2436624 hasConcept C173608175 @default.
• W2436624 hasConcept C2524010 @default.
• W2436624 hasConcept C2777212361 @default.
• W2436624 hasConcept C2777669093 @default.
• W2436624 hasConcept C33923547 @default.
• W2436624 hasConcept C34388435 @default.
• W2436624 hasConcept C41008148 @default.
• W2436624 hasConcept C80444323 @default.
• W2436624 hasConceptScore W2436624C110251889 @default.
• W2436624 hasConceptScore W2436624C111335779 @default.
• W2436624 hasConceptScore W2436624C111919701 @default.
• W2436624 hasConceptScore W2436624C11413529 @default.
• W2436624 hasConceptScore W2436624C127705205 @default.
• W2436624 hasConceptScore W2436624C134306372 @default.
• W2436624 hasConceptScore W2436624C136643341 @default.
• W2436624 hasConceptScore W2436624C154945302 @default.
• W2436624 hasConceptScore W2436624C173608175 @default.
• W2436624 hasConceptScore W2436624C2524010 @default.
• W2436624 hasConceptScore W2436624C2777212361 @default.
• W2436624 hasConceptScore W2436624C2777669093 @default.
• W2436624 hasConceptScore W2436624C33923547 @default.
• W2436624 hasConceptScore W2436624C34388435 @default.
• W2436624 hasConceptScore W2436624C41008148 @default.
• W2436624 hasConceptScore W2436624C80444323 @default.
• W2436624 hasLocation W24366241 @default.
• W2436624 hasLocation W24366242 @default.
• W2436624 hasOpenAccess W2436624 @default.
• W2436624 hasPrimaryLocation W24366241 @default.

• next