Hosted with the Supercomputer Software Department RAS Home
Parallel Computing Technologies 4th International Conference (PaCT-97) September 8-12, 1997. Yaroslavl, Russia Proceedings Authors Contents Home
	Vol. 1277

On a Technology of Design and Analysis of Dataflow Programs

by V.A. Sokolov, E.E. Roubtsova, S.A. Roubtsov

Abstract:
A technology of designing dataflow programs is proposed. It is based on the principle of structuring programs and allows to fulfil the check-up of their correctness.

Keywords: theory

Source:
V.A. Sokolov, E.E. Roubtsova, S.A. Roubtsov, On a Technology of Design and Analysis of Dataflow Programs.
In V. Malyshkin (ed.), Parallel Computing Technologies: Proceedings of the 4th International Conference, Lect. Notes in Comp. Sci., Vol. 1277, Springer, 1997, pp. 115-120

ISSN 0302-9743
ISBN 3-540-63371-5

Search LNCS articles for:
V.A. Sokolov, E.E. Roubtsova, S.A. Roubtsov

Scanned first page:

Designed by the Supercomputer Software Department RAS, 1998