scientific article; zbMATH DE number 1832216
From MaRDI portal
Publication:4778694
zbMath0997.68513MaRDI QIDQ4778694
Miquel Nicolau, Miquel Bertran, August Climent, Francesc Babot
Publication date: 19 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Numerical methods for discrete and fast Fourier transforms (65T50) Parallel numerical computation (65Y05)
Related Items (2)
Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting
This page was built for publication: