Matches in SemOpenAlex for { <https://semopenalex.org/work/W111534223> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W111534223 endingPage "465" @default.
- W111534223 startingPage "451" @default.
- W111534223 abstract "We describe a novel technique for bounded analysis of asynchronous message-passing programs with ordered message queues. Our bounding parameter does not limit the number of pending messages, nor the number of “contexts-switches” between processes. Instead, we limit the number of process communication cycles, in which an unbounded number of messages are sent to an unbounded number of processes across an unbounded number of contexts. We show that remarkably, despite the potential for such vast exploration, our bounding scheme gives rise to a simple and efficient program analysis by reduction to sequential programs. As our reduction avoids explicitly representing message queues, our analysis scales irrespectively of queue content and variation." @default.
- W111534223 created "2016-06-24" @default.
- W111534223 creator A5045477471 @default.
- W111534223 creator A5061209906 @default.
- W111534223 date "2012-01-01" @default.
- W111534223 modified "2023-10-18" @default.
- W111534223 title "Bounded Phase Analysis of Message-Passing Programs" @default.
- W111534223 cites W111534223 @default.
- W111534223 cites W115414801 @default.
- W111534223 cites W1493367105 @default.
- W111534223 cites W1561431519 @default.
- W111534223 cites W1563374799 @default.
- W111534223 cites W157104708 @default.
- W111534223 cites W1586140256 @default.
- W111534223 cites W1731318210 @default.
- W111534223 cites W1842117537 @default.
- W111534223 cites W1933255669 @default.
- W111534223 cites W2025970201 @default.
- W111534223 cites W2038221635 @default.
- W111534223 cites W2042684213 @default.
- W111534223 cites W2046895474 @default.
- W111534223 cites W2087046173 @default.
- W111534223 cites W2116976042 @default.
- W111534223 cites W2128453996 @default.
- W111534223 cites W2184209356 @default.
- W111534223 cites W4230480080 @default.
- W111534223 doi "https://doi.org/10.1007/978-3-642-28756-5_31" @default.
- W111534223 hasPublicationYear "2012" @default.
- W111534223 type Work @default.
- W111534223 sameAs 111534223 @default.
- W111534223 citedByCount "33" @default.
- W111534223 countsByYear W1115342232012 @default.
- W111534223 countsByYear W1115342232013 @default.
- W111534223 countsByYear W1115342232014 @default.
- W111534223 countsByYear W1115342232015 @default.
- W111534223 countsByYear W1115342232016 @default.
- W111534223 countsByYear W1115342232017 @default.
- W111534223 countsByYear W1115342232018 @default.
- W111534223 countsByYear W1115342232019 @default.
- W111534223 countsByYear W1115342232020 @default.
- W111534223 countsByYear W1115342232023 @default.
- W111534223 crossrefType "book-chapter" @default.
- W111534223 hasAuthorship W111534223A5045477471 @default.
- W111534223 hasAuthorship W111534223A5061209906 @default.
- W111534223 hasBestOaLocation W1115342231 @default.
- W111534223 hasConcept C111335779 @default.
- W111534223 hasConcept C120314980 @default.
- W111534223 hasConcept C134306372 @default.
- W111534223 hasConcept C151201525 @default.
- W111534223 hasConcept C151319957 @default.
- W111534223 hasConcept C154945302 @default.
- W111534223 hasConcept C160403385 @default.
- W111534223 hasConcept C2524010 @default.
- W111534223 hasConcept C31258907 @default.
- W111534223 hasConcept C33923547 @default.
- W111534223 hasConcept C34388435 @default.
- W111534223 hasConcept C41008148 @default.
- W111534223 hasConcept C63584917 @default.
- W111534223 hasConcept C80444323 @default.
- W111534223 hasConcept C854659 @default.
- W111534223 hasConceptScore W111534223C111335779 @default.
- W111534223 hasConceptScore W111534223C120314980 @default.
- W111534223 hasConceptScore W111534223C134306372 @default.
- W111534223 hasConceptScore W111534223C151201525 @default.
- W111534223 hasConceptScore W111534223C151319957 @default.
- W111534223 hasConceptScore W111534223C154945302 @default.
- W111534223 hasConceptScore W111534223C160403385 @default.
- W111534223 hasConceptScore W111534223C2524010 @default.
- W111534223 hasConceptScore W111534223C31258907 @default.
- W111534223 hasConceptScore W111534223C33923547 @default.
- W111534223 hasConceptScore W111534223C34388435 @default.
- W111534223 hasConceptScore W111534223C41008148 @default.
- W111534223 hasConceptScore W111534223C63584917 @default.
- W111534223 hasConceptScore W111534223C80444323 @default.
- W111534223 hasConceptScore W111534223C854659 @default.
- W111534223 hasLocation W1115342231 @default.
- W111534223 hasLocation W1115342232 @default.
- W111534223 hasLocation W1115342233 @default.
- W111534223 hasLocation W1115342234 @default.
- W111534223 hasLocation W1115342235 @default.
- W111534223 hasOpenAccess W111534223 @default.
- W111534223 hasPrimaryLocation W1115342231 @default.
- W111534223 hasRelatedWork W111534223 @default.
- W111534223 hasRelatedWork W1561560534 @default.
- W111534223 hasRelatedWork W2086383529 @default.
- W111534223 hasRelatedWork W2099002002 @default.
- W111534223 hasRelatedWork W2133637799 @default.
- W111534223 hasRelatedWork W2364921833 @default.
- W111534223 hasRelatedWork W2888918673 @default.
- W111534223 hasRelatedWork W2904475383 @default.
- W111534223 hasRelatedWork W4249778480 @default.
- W111534223 hasRelatedWork W4283814387 @default.
- W111534223 isParatext "false" @default.
- W111534223 isRetracted "false" @default.
- W111534223 magId "111534223" @default.
- W111534223 workType "book-chapter" @default.