. The main motivation of 81/2 is to develop a high-level language that supports the parallel simulation of dynamical processes [1, 2]. To achieve this goal, a new data-structure, that merges the concept of stream and collection is introduced in a declarative framework. After a brief description of 81/2 basics, we describe the introduction of dynamicity and symbolic values in the language. We focus on the expressivity and issues brought by the new dynamic possibilities of the language and show, through several paradigmatic examples, that our computation model is able to support parallel symbolic processing. 1 The Declarative Data-Parallel Language 81/2 1.1 Motivations: the Implicit Data-Parallel Approach to Parallel Symbolic Processing 8...
1 Introduction In this paper, we present an original approach to compute, thanks to a sequential si...
Many novel computer architectures like array and multiprocessors which achieve high performance thro...
Several abstract models of fine-grained parallelism, suited to symbolic programming languages, are s...
. L Systems are a mathematical formalism originally designed to model the biological growth of plant...
The success of parallel architectures has been limited by the lack of high-level parallel programmin...
Declarative parallel programming languages express and control parallelism at a high level of abstr...
. Most data-parallel languages use arrays to support parallelism. This regular data structure allows...
The term "dataflow" generally encompasses three distinct aspects of computation - a data-driven mode...
This paper provides an overview of research at Argonne and Caltech on language extensions for parall...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
Pushed by recent evolvements in the field of declarative networking and data-parallel computation, w...
. We propose an alternate approach to the usual introduction of parallelism in logic programming. In...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
One of the major reasons for the lack of practical use of parallel computers has been the absence of...
Abstract. Pushed by recent evolvements in the field of declarative networking and data-parallel comp...
1 Introduction In this paper, we present an original approach to compute, thanks to a sequential si...
Many novel computer architectures like array and multiprocessors which achieve high performance thro...
Several abstract models of fine-grained parallelism, suited to symbolic programming languages, are s...
. L Systems are a mathematical formalism originally designed to model the biological growth of plant...
The success of parallel architectures has been limited by the lack of high-level parallel programmin...
Declarative parallel programming languages express and control parallelism at a high level of abstr...
. Most data-parallel languages use arrays to support parallelism. This regular data structure allows...
The term "dataflow" generally encompasses three distinct aspects of computation - a data-driven mode...
This paper provides an overview of research at Argonne and Caltech on language extensions for parall...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
Pushed by recent evolvements in the field of declarative networking and data-parallel computation, w...
. We propose an alternate approach to the usual introduction of parallelism in logic programming. In...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
One of the major reasons for the lack of practical use of parallel computers has been the absence of...
Abstract. Pushed by recent evolvements in the field of declarative networking and data-parallel comp...
1 Introduction In this paper, we present an original approach to compute, thanks to a sequential si...
Many novel computer architectures like array and multiprocessors which achieve high performance thro...
Several abstract models of fine-grained parallelism, suited to symbolic programming languages, are s...