Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sarvani Vakkalanka
Dynamic Verification of MPI Programs With Reductions in Presence of Split Operations and Relaxed Orderings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Performance Analysis of MPI Collective Operations
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
A Composition Environment for MPI Programs
International Journal of High Performance Computing Applications
Hardware
Theoretical Computer Science
Architecture
Software
Just in Time Dynamic Voltage Scaling: Exploiting Inter-Node Slack to Save Energy in MPI Programs
Relaxed and Hybrid Viscosity Methods for General System of Variational Inequalities With Split Feasibility Problem Constraint
Fixed Point Theory and Applications
Geometry
Applied Mathematics
Topology
Predicting Robustness Against Transient Faults of MPI Based Programs
International Journal of Computational Science and Engineering
Computational Theory
Simulation
Hardware
Architecture
Computational Mathematics
Mathematics
Modeling
Software
