7 citations · 7 across the 9 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2015
Interface Reconciliation in Kahn Process Networks using CSP and SAT
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
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 (KP…
cs.PL2013
AstraKahn: A Coordination Language for Streaming Networks
Alex Shafarenko
This is a preliminary version of the language report. It contains key definitions, specifications and some examples, but lacks completeness. The full document will include Chapter…
cs.PL2013
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections
Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck +2
We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). A…