FRINK Linked Data Fragments server

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

• W2107978495 endingPage "180" @default.
• W2107978495 startingPage "161" @default.
• W2107978495 abstract "Static analysis of concurrent programs has been hindered by the well-known state explosion problem. Although many different techniques have been proposed to combat this state explosion, there is little empirical data comparing the performance of the methods. This information is essential for assessing the practical value of a technique and for choosing the best method for a particular problem. In this paper, we carry out an evaluation of three techniques for combating the state explosion problem in deadlock detection: reachability searching with a partial-order state-space reduction, symbolic model checking and inequality-necessary conditions. We justify the method used for the comparison, and carefully analyze several sources of potential bias. The results of our evaluation provide valuable data on the kinds of programs to which each technique might best be applied. Furthermore, we believe that the methodological issues we discuss are of general significance in comparison of analysis techniques." @default.
• W2107978495 created "2016-06-24" @default.
• W2107978495 creator A5083116750 @default.
• W2107978495 date "1996-03-01" @default.
• W2107978495 modified "2023-10-09" @default.
• W2107978495 title "Evaluating deadlock detection methods for concurrent software" @default.
• W2107978495 cites W1514983780 @default.
• W2107978495 cites W160690331 @default.
• W2107978495 cites W1971107784 @default.
• W2107978495 cites W1995736448 @default.
• W2107978495 cites W1996158062 @default.
• W2107978495 cites W1998084650 @default.
• W2107978495 cites W2016484402 @default.
• W2107978495 cites W2030224590 @default.
• W2107978495 cites W2047375390 @default.
• W2107978495 cites W2057773789 @default.
• W2107978495 cites W2066033201 @default.
• W2107978495 cites W2080593426 @default.
• W2107978495 cites W2090911428 @default.
• W2107978495 cites W2105180288 @default.
• W2107978495 cites W2112238817 @default.
• W2107978495 cites W2121676232 @default.
• W2107978495 cites W2121896262 @default.
• W2107978495 cites W2124874799 @default.
• W2107978495 cites W2137865376 @default.
• W2107978495 cites W2141981779 @default.
• W2107978495 cites W2144344516 @default.
• W2107978495 cites W2153695920 @default.
• W2107978495 cites W2157597221 @default.
• W2107978495 cites W2158163902 @default.
• W2107978495 cites W2501611430 @default.
• W2107978495 cites W3139618605 @default.
• W2107978495 cites W4237631564 @default.
• W2107978495 cites W4239767307 @default.
• W2107978495 cites W4246017475 @default.
• W2107978495 cites W4251311470 @default.
• W2107978495 cites W4253970047 @default.
• W2107978495 cites W4300021588 @default.
• W2107978495 doi "https://doi.org/10.1109/32.489078" @default.
• W2107978495 hasPublicationYear "1996" @default.
• W2107978495 type Work @default.
• W2107978495 sameAs 2107978495 @default.
• W2107978495 citedByCount "214" @default.
• W2107978495 countsByYear W21079784952012 @default.
• W2107978495 countsByYear W21079784952013 @default.
• W2107978495 countsByYear W21079784952014 @default.
• W2107978495 countsByYear W21079784952015 @default.
• W2107978495 countsByYear W21079784952016 @default.
• W2107978495 countsByYear W21079784952017 @default.
• W2107978495 countsByYear W21079784952018 @default.
• W2107978495 countsByYear W21079784952019 @default.
• W2107978495 countsByYear W21079784952020 @default.
• W2107978495 countsByYear W21079784952023 @default.
• W2107978495 crossrefType "journal-article" @default.
• W2107978495 hasAuthorship W2107978495A5083116750 @default.
• W2107978495 hasConcept C105795698 @default.
• W2107978495 hasConcept C110251889 @default.
• W2107978495 hasConcept C111335779 @default.
• W2107978495 hasConcept C113429609 @default.
• W2107978495 hasConcept C136643341 @default.
• W2107978495 hasConcept C159023740 @default.
• W2107978495 hasConcept C193702766 @default.
• W2107978495 hasConcept C199360897 @default.
• W2107978495 hasConcept C2524010 @default.
• W2107978495 hasConcept C33923547 @default.
• W2107978495 hasConcept C41008148 @default.
• W2107978495 hasConcept C48103436 @default.
• W2107978495 hasConcept C72434380 @default.
• W2107978495 hasConcept C80444323 @default.
• W2107978495 hasConcept C94633896 @default.
• W2107978495 hasConcept C97686452 @default.
• W2107978495 hasConceptScore W2107978495C105795698 @default.
• W2107978495 hasConceptScore W2107978495C110251889 @default.
• W2107978495 hasConceptScore W2107978495C111335779 @default.
• W2107978495 hasConceptScore W2107978495C113429609 @default.
• W2107978495 hasConceptScore W2107978495C136643341 @default.
• W2107978495 hasConceptScore W2107978495C159023740 @default.
• W2107978495 hasConceptScore W2107978495C193702766 @default.
• W2107978495 hasConceptScore W2107978495C199360897 @default.
• W2107978495 hasConceptScore W2107978495C2524010 @default.
• W2107978495 hasConceptScore W2107978495C33923547 @default.
• W2107978495 hasConceptScore W2107978495C41008148 @default.
• W2107978495 hasConceptScore W2107978495C48103436 @default.
• W2107978495 hasConceptScore W2107978495C72434380 @default.
• W2107978495 hasConceptScore W2107978495C80444323 @default.
• W2107978495 hasConceptScore W2107978495C94633896 @default.
• W2107978495 hasConceptScore W2107978495C97686452 @default.
• W2107978495 hasIssue "3" @default.
• W2107978495 hasLocation W21079784951 @default.
• W2107978495 hasOpenAccess W2107978495 @default.
• W2107978495 hasPrimaryLocation W21079784951 @default.
• W2107978495 hasRelatedWork W1542183432 @default.
• W2107978495 hasRelatedWork W1900787600 @default.
• W2107978495 hasRelatedWork W2001478969 @default.
• W2107978495 hasRelatedWork W2050076411 @default.
• W2107978495 hasRelatedWork W2136552483 @default.
• W2107978495 hasRelatedWork W2153695920 @default.
• W2107978495 hasRelatedWork W2307448499 @default.

• next