Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297788990> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4297788990 abstract "We present a new CSP- and SAT-based approach for coordinating interfaces of distributed stream-connected components provided as closed-source services. The Kahn Process Network (KPN) is taken as a formal model of computation and a Message Definition Language (MDL) is introduced to describe the format of messages communicated between the processes. MDL links input and output interfaces of a node to support flow inheritance and contextualisation. Since interfaces can also be linked by the existence of a data channel between them, the match is generally not only partial but also substantially nonlocal. The KPN communication graph thus becomes a graph of interlocked constraints to be satisfied by specific instances of the variables. We present an algorithm that solves the CSP by iterative approximation while generating an adjunct Boolean SAT problem on the way. We developed a solver in OCaml as well as tools that analyse the source code of KPN vertices to derive MDL terms and automatically modify the code by propagating type definitions back to the vertices after the CSP has been solved. Techniques and approaches are illustrated on a KPN implementing an image processing algorithm as a running example." @default.
- W4297788990 created "2022-10-01" @default.
- W4297788990 creator A5019742546 @default.
- W4297788990 creator A5048068677 @default.
- W4297788990 creator A5075284504 @default.
- W4297788990 date "2015-03-02" @default.
- W4297788990 modified "2023-09-30" @default.
- W4297788990 title "Interface Reconciliation in Kahn Process Networks using CSP and SAT" @default.
- W4297788990 doi "https://doi.org/10.48550/arxiv.1503.00622" @default.
- W4297788990 hasPublicationYear "2015" @default.
- W4297788990 type Work @default.
- W4297788990 citedByCount "0" @default.
- W4297788990 crossrefType "posted-content" @default.
- W4297788990 hasAuthorship W4297788990A5019742546 @default.
- W4297788990 hasAuthorship W4297788990A5048068677 @default.
- W4297788990 hasAuthorship W4297788990A5075284504 @default.
- W4297788990 hasBestOaLocation W42977889901 @default.
- W4297788990 hasConcept C11413529 @default.
- W4297788990 hasConcept C127413603 @default.
- W4297788990 hasConcept C132525143 @default.
- W4297788990 hasConcept C184596265 @default.
- W4297788990 hasConcept C199360897 @default.
- W4297788990 hasConcept C2778770139 @default.
- W4297788990 hasConcept C41008148 @default.
- W4297788990 hasConcept C43126263 @default.
- W4297788990 hasConcept C45374587 @default.
- W4297788990 hasConcept C62611344 @default.
- W4297788990 hasConcept C66938386 @default.
- W4297788990 hasConcept C80444323 @default.
- W4297788990 hasConcept C98045186 @default.
- W4297788990 hasConceptScore W4297788990C11413529 @default.
- W4297788990 hasConceptScore W4297788990C127413603 @default.
- W4297788990 hasConceptScore W4297788990C132525143 @default.
- W4297788990 hasConceptScore W4297788990C184596265 @default.
- W4297788990 hasConceptScore W4297788990C199360897 @default.
- W4297788990 hasConceptScore W4297788990C2778770139 @default.
- W4297788990 hasConceptScore W4297788990C41008148 @default.
- W4297788990 hasConceptScore W4297788990C43126263 @default.
- W4297788990 hasConceptScore W4297788990C45374587 @default.
- W4297788990 hasConceptScore W4297788990C62611344 @default.
- W4297788990 hasConceptScore W4297788990C66938386 @default.
- W4297788990 hasConceptScore W4297788990C80444323 @default.
- W4297788990 hasConceptScore W4297788990C98045186 @default.
- W4297788990 hasLocation W42977889901 @default.
- W4297788990 hasOpenAccess W4297788990 @default.
- W4297788990 hasPrimaryLocation W42977889901 @default.
- W4297788990 hasRelatedWork W1568173680 @default.
- W4297788990 hasRelatedWork W2013531410 @default.
- W4297788990 hasRelatedWork W2135396778 @default.
- W4297788990 hasRelatedWork W2366615277 @default.
- W4297788990 hasRelatedWork W2380602769 @default.
- W4297788990 hasRelatedWork W270927586 @default.
- W4297788990 hasRelatedWork W283806354 @default.
- W4297788990 hasRelatedWork W4233387348 @default.
- W4297788990 hasRelatedWork W4236163602 @default.
- W4297788990 hasRelatedWork W2944165644 @default.
- W4297788990 isParatext "false" @default.
- W4297788990 isRetracted "false" @default.
- W4297788990 workType "article" @default.