Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kailiang Ji
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verifying Message-Passing Programs With Dependent Behavioural Types
Incorporating Memory Layout in the Modeling of Message Passing Programs
MPICH-GQ: Quality-Of-Service for Message Passing Programs
Testing and Debugging Message Passing Programs in Synergy With Their Specifications
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
The Case for Message Passing on Many-Core Chips
Recent Advances in the Message Passing Interface
International Journal of High Performance Computing Applications
Hardware
Theoretical Computer Science
Architecture
Software
Equations for Asynchronous Message Passing
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Example of Parallel Computing Based on Message Passing Interface
Lower Bounds to Processor-Time Tradeoffs Under Bounded-Speed Message Propagation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
