Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. J. R. Back
Refinement of Parallel and Reactive Programs
NATO ASI Series
Related publications
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
Analysis of Programs for Parallel Processing
IEEE Transactions on Electronic Computers
Efficient Algorithms for Scheduling and Mapping of Parallel Programs Onto Parallel Architectures
Parallel Adaptive Mesh Refinement for Incompressible Flow Problems
Computers and Fluids
Engineering
Computer Science
Pomset Interpretations of Parallel Functional Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Estimating and Optimizing Performance for Parallel Programs
Computer
Computer Science
Challenges in Code Optimization of Parallel Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Parallel Scalability of LAMMPS and Multiscale Reactive Molecular Simulations
Parallel Reactive Molecular Dynamics: Numerical Methods and Algorithmic Techniques
Parallel Computing
Computer Graphics
Computer Networks
Hardware
Communications
Computer-Aided Design
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
