Refinement of Parallel and Reactive Programs

NATO ASI Series

doi 10.1007/978-3-662-02880-3_3

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

Pomset Interpretations of Parallel Functional Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Analysis of Programs for Parallel Processing

IEEE Transactions on Electronic Computers
1966English

Parallel Adaptive Mesh Refinement for Incompressible Flow Problems

Computers and Fluids
EngineeringComputer Science
2013English

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

English

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

Parallel Adaptive Mesh Refinement for Large-Eddy Simulations of Turbulent Flows

Computers and Fluids
EngineeringComputer Science
2015English

Extending Parallel Scalability of LAMMPS and Multiscale Reactive Molecular Simulations

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy