Author of the publication

Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.

, , , , , and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 271-281. Springer, (2009)

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

Multifractal characterisation of length sequences of coding and noncoding segments in a complete genome, , and . Physica A: Statistical Mechanics and its Applications, 301 (1-4): 351--361 (Dec 1, 2001)Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)., , , , , and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 329-330. Springer, (2009)Numerical Schemes with High Spatial Accuracy for a Variable-Order Anomalous Subdiffusion Equation., , , and . SIAM J. Sci. Comput., 32 (4): 1740-1760 (2010)Numerical simulation for the variable-order Galilei invariant advection diffusion equation with a nonlinear source term., , , and . Appl. Math. Comput., 217 (12): 5729-5742 (2011)Stability and convergence of a new explicit finite-difference approximation for the variable-order nonlinear fractional diffusion equation., , , and . Appl. Math. Comput., 212 (2): 435-445 (2009)Statistical estimation of nonstationary Gaussian processes with long-range dependence and intermittency, , and . Stochastic Processes and their Applications, 99 (2): 295--321 (June 2002)Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism., , , , , and . PVM/MPI, volume 5759 of Lecture Notes in Computer Science, page 271-281. Springer, (2009)Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs., , , and . EuroMPI, volume 6305 of Lecture Notes in Computer Science, page 152-159. Springer, (2010)Analytical and numerical solutions of a multi-term time-fractional Burgers' fluid model., , , and . Appl. Math. Comput., (2019)Numerical methods and analysis for a multi-term time-space variable-order fractional advection-diffusion equations and applications., , and . J. Comput. Appl. Math., (2019)