Refinement of Parallel and Reactive Programs

NATO ASI Series
doi 10.1007/978-3-662-02880-3_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

Analysis of Programs for Parallel Processing

IEEE Transactions on Electronic Computers
1966English

Efficient Algorithms for Scheduling and Mapping of Parallel Programs Onto Parallel Architectures

English

Parallel Adaptive Mesh Refinement for Incompressible Flow Problems

Computers and Fluids
EngineeringComputer Science
2013English

Pomset Interpretations of Parallel Functional Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Estimating and Optimizing Performance for Parallel Programs

Computer
Computer Science
1995English

Challenges in Code Optimization of Parallel Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Extending Parallel Scalability of LAMMPS and Multiscale Reactive Molecular Simulations

2012English

Parallel Reactive Molecular Dynamics: Numerical Methods and Algorithmic Techniques

Parallel Computing
Computer GraphicsComputer NetworksHardwareCommunicationsComputer-Aided DesignArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy