FRINK Linked Data Fragments server

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

• W4233615561 endingPage "2466" @default.
• W4233615561 startingPage "2445" @default.
• W4233615561 abstract "Abstract Reachability testing is an approach to verifying concurrent programs. During reachability testing, every partially ordered synchronization sequence of a program with a given input is exercised exactly once. In this paper, we present the design and implementation of a distributed reachability testing algorithm for a cluster of workstations. This algorithm allows different test sequences to be exercised concurrently by different workstations without any synchronization, and without any duplication of sequences among workstations. Dynamic load balancing is performed using a work‐stealing scheme. A novel aspect of this scheme is that work‐stealing requests progress in rounds. This round‐based structure identifies overloaded workstations to target for work stealing. Empirical studies show good speedup for four benchmark Java programs and one Lotos specification. Copyright © 2010 John Wiley & Sons, Ltd." @default.
• W4233615561 created "2022-05-12" @default.
• W4233615561 creator A5060631912 @default.
• W4233615561 creator A5075163100 @default.
• W4233615561 date "2010-11-12" @default.
• W4233615561 modified "2023-10-12" @default.
• W4233615561 title "Distributed reachability testing of concurrent programs" @default.
• W4233615561 cites W1548575501 @default.
• W4233615561 cites W1548806133 @default.
• W4233615561 cites W1593284044 @default.
• W4233615561 cites W1600980603 @default.
• W4233615561 cites W1990838770 @default.
• W4233615561 cites W2005301799 @default.
• W4233615561 cites W2013296041 @default.
• W4233615561 cites W2054450126 @default.
• W4233615561 cites W2085262400 @default.
• W4233615561 cites W2104537058 @default.
• W4233615561 cites W2140116462 @default.
• W4233615561 cites W2144884804 @default.
• W4233615561 cites W2153822668 @default.
• W4233615561 cites W2169870841 @default.
• W4233615561 cites W30961909 @default.
• W4233615561 cites W3137220996 @default.
• W4233615561 cites W4213162049 @default.
• W4233615561 cites W4232744885 @default.
• W4233615561 cites W2090735088 @default.
• W4233615561 doi "https://doi.org/10.1002/cpe.1573" @default.
• W4233615561 hasPublicationYear "2010" @default.
• W4233615561 type Work @default.
• W4233615561 citedByCount "13" @default.
• W4233615561 countsByYear W42336155612012 @default.
• W4233615561 countsByYear W42336155612013 @default.
• W4233615561 countsByYear W42336155612015 @default.
• W4233615561 countsByYear W42336155612016 @default.
• W4233615561 countsByYear W42336155612017 @default.
• W4233615561 countsByYear W42336155612018 @default.
• W4233615561 countsByYear W42336155612019 @default.
• W4233615561 countsByYear W42336155612020 @default.
• W4233615561 countsByYear W42336155612021 @default.
• W4233615561 crossrefType "journal-article" @default.
• W4233615561 hasAuthorship W4233615561A5060631912 @default.
• W4233615561 hasAuthorship W4233615561A5075163100 @default.
• W4233615561 hasConcept C111919701 @default.
• W4233615561 hasConcept C120314980 @default.
• W4233615561 hasConcept C127162648 @default.
• W4233615561 hasConcept C13280743 @default.
• W4233615561 hasConcept C134306372 @default.
• W4233615561 hasConcept C136643341 @default.
• W4233615561 hasConcept C173608175 @default.
• W4233615561 hasConcept C185798385 @default.
• W4233615561 hasConcept C199360897 @default.
• W4233615561 hasConcept C205649164 @default.
• W4233615561 hasConcept C2778112365 @default.
• W4233615561 hasConcept C2778562939 @default.
• W4233615561 hasConcept C31258907 @default.
• W4233615561 hasConcept C33923547 @default.
• W4233615561 hasConcept C41008148 @default.
• W4233615561 hasConcept C54355233 @default.
• W4233615561 hasConcept C548217200 @default.
• W4233615561 hasConcept C67953723 @default.
• W4233615561 hasConcept C68339613 @default.
• W4233615561 hasConcept C77618280 @default.
• W4233615561 hasConcept C80444323 @default.
• W4233615561 hasConcept C86803240 @default.
• W4233615561 hasConceptScore W4233615561C111919701 @default.
• W4233615561 hasConceptScore W4233615561C120314980 @default.
• W4233615561 hasConceptScore W4233615561C127162648 @default.
• W4233615561 hasConceptScore W4233615561C13280743 @default.
• W4233615561 hasConceptScore W4233615561C134306372 @default.
• W4233615561 hasConceptScore W4233615561C136643341 @default.
• W4233615561 hasConceptScore W4233615561C173608175 @default.
• W4233615561 hasConceptScore W4233615561C185798385 @default.
• W4233615561 hasConceptScore W4233615561C199360897 @default.
• W4233615561 hasConceptScore W4233615561C205649164 @default.
• W4233615561 hasConceptScore W4233615561C2778112365 @default.
• W4233615561 hasConceptScore W4233615561C2778562939 @default.
• W4233615561 hasConceptScore W4233615561C31258907 @default.
• W4233615561 hasConceptScore W4233615561C33923547 @default.
• W4233615561 hasConceptScore W4233615561C41008148 @default.
• W4233615561 hasConceptScore W4233615561C54355233 @default.
• W4233615561 hasConceptScore W4233615561C548217200 @default.
• W4233615561 hasConceptScore W4233615561C67953723 @default.
• W4233615561 hasConceptScore W4233615561C68339613 @default.
• W4233615561 hasConceptScore W4233615561C77618280 @default.
• W4233615561 hasConceptScore W4233615561C80444323 @default.
• W4233615561 hasConceptScore W4233615561C86803240 @default.
• W4233615561 hasIssue "18" @default.
• W4233615561 hasLocation W42336155611 @default.
• W4233615561 hasOpenAccess W4233615561 @default.
• W4233615561 hasPrimaryLocation W42336155611 @default.
• W4233615561 hasRelatedWork W2013643406 @default.
• W4233615561 hasRelatedWork W2027972911 @default.
• W4233615561 hasRelatedWork W2058965144 @default.
• W4233615561 hasRelatedWork W2067910792 @default.
• W4233615561 hasRelatedWork W2136512912 @default.
• W4233615561 hasRelatedWork W2146343568 @default.
• W4233615561 hasRelatedWork W2150291671 @default.
• W4233615561 hasRelatedWork W2164382479 @default.

• next