Add to ORKGBibliography: leaves [238]-244xi, 244 leaves : ill ; 30 cm.Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 198
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Abstract—In computer science, the concept of flow is reflected in many terms such as data flow, cont...
AbstractThe concepts of a data flow and sequential computers are confronted using models written in ...
Based on a simple non-procedural language with temporal logic operators, Lucid underlies a family of...
Many novel computer architectures like array and multiprocessors which achieve high performance thro...
Message Driven Computation (MDC) is a model of computation with which they have been experimenting a...
Current solid state technology suggests that future computers will be highly asynchronous machines c...
The dataflow language Lucid applies concepts from intensional logic to declarative ISWIM expressions...
The data flow model is a popular model on which to base a visual programming language. This paper de...
Dataflow is presented as an alternative to the von Neumann model as the basis for computer system de...
The execution of a program may be viewed as the processing of a statement in a programming language ...
The purpose of this study was to determine the state-of-the-art in data flow and to formulate a data...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Lucid is a formal system which programs can be written and proofs of programs carried out. The proof...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Abstract—In computer science, the concept of flow is reflected in many terms such as data flow, cont...
AbstractThe concepts of a data flow and sequential computers are confronted using models written in ...
Based on a simple non-procedural language with temporal logic operators, Lucid underlies a family of...
Many novel computer architectures like array and multiprocessors which achieve high performance thro...
Message Driven Computation (MDC) is a model of computation with which they have been experimenting a...
Current solid state technology suggests that future computers will be highly asynchronous machines c...
The dataflow language Lucid applies concepts from intensional logic to declarative ISWIM expressions...
The data flow model is a popular model on which to base a visual programming language. This paper de...
Dataflow is presented as an alternative to the von Neumann model as the basis for computer system de...
The execution of a program may be viewed as the processing of a statement in a programming language ...
The purpose of this study was to determine the state-of-the-art in data flow and to formulate a data...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Lucid is a formal system which programs can be written and proofs of programs carried out. The proof...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Abstract—In computer science, the concept of flow is reflected in many terms such as data flow, cont...
AbstractThe concepts of a data flow and sequential computers are confronted using models written in ...