Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Automatic formal verification of MPI-based parallel programs
Combining symbolic execution with model checking to verify parallel numerical programs
Critical path analysis for the execution of parallel and distributed programs
AutoPar: automating the parallelization of functional programs
Charm++ and MPI: Combining the Best of Both Worlds
Implementation and performance analysis of non-blocking collective operations for MPI
Specification and Verification of Concurrent Programs by forall-Automata
LogP: towards a realistic model of parallel computation
Complexity and performance in parallel programming languages
LogP: a practical model of parallel computation
FTC-Charm++: an in-memory checkpoint-based fault tolerant runtime for Charm++ and MPI
GPU-Aware MPI on RDMA-Enabled Clusters: Design, Implementation and Evaluation
Formal verification of higher-order probabilistic programs
A quantitative approach for teaching parallel computing
An Integrated Tutorial on InfiniBand, Verbs, and MPI
Compilation techniques for parallel systems
High-Performance Compilers for Parallel Computing
Infrastructure and API Extensions for Elastic Execution of MPI Applications
Implicitly parallel programming models for thousand-core microprocessors
Control replication: compiling implicit parallelism to efficient SPMD with logical regions
A Component Architecture for LAM/MPI
Content-Based Routing: Different Plans for Different Data
Outcome and time course of recovery in stroke. Part II: Time course of recovery. The Copenhagen Stroke Study.
An Introduction to Proving the Correctness of Programs
A framework for medical text mining using a feature weighted clustering algorithm
An optimal algorithm for shortest paths on weighted interval and circular-arc graphs, with applications