Author of the publication

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.

, , , , and . IPDPS Workshops, page 1059-1067. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deciding Reachability for 3-Dimensional Multi-Linear Systems, and . GandALF, volume 54 of EPTCS, page 250-262. (2011)A Conditional Superpolynomial Lower Bound for Extended Resolution.. LATA, volume 7810 of Lecture Notes in Computer Science, page 559-569. Springer, (2013)A Constraint Satisfaction Method for Configuring Non-local Service Interfaces., , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 474-488. Springer, (2016)Non-local configuration of component interfaces by constraint satisfaction., , and . Constraints An Int. J., 25 (3-4): 121-159 (2020)Component Interfaces with Loosely Synchronous Communication., , and . SA, page 1-8. IEEE, (2021)Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming, , , , and . CoRR, (2013)EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas., and . MFCSIT, volume 225 of Electronic Notes in Theoretical Computer Science, page 405-420. Elsevier, (2006)Configuring Cloud-Service Interfaces Using Flow Inheritance., , and . iFMCloud@IFM, volume 228 of EPTCS, page 27-34. (2016)Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms.. CoRR, (2017)A Decision Procedure for Equality Logic with Uninterpreted Functions.. AISC, volume 3249 of Lecture Notes in Computer Science, page 66-79. Springer, (2004)