Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B. Toonen
MPICH-GQ: Quality-Of-Service for Message Passing Programs
Related publications
Verifying Message-Passing Programs With Dependent Behavioural Types
Incorporating Memory Layout in the Modeling of Message Passing Programs
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equations for Asynchronous Message Passing
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Testing and Debugging Message Passing Programs in Synergy With Their Specifications
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Message-Passing Algorithms for Compressed Sensing
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Message Passing for Distributed QoS-Security Tradeoffs
Computer Journal
Computer Science
Efficient Message Passing for Cascade Size Distributions
Scientific Reports
Multidisciplinary