1 Dynamic CG : towards a general model of computation
- Computer Science
This work proposes to use Sowa's synthesis (CG formalism) to integrate many processing paradigms : sequential/parallel procedural model, functional (both data and demand driven) model, parallel logic model, concurrent object oriented, agent and multi-agent systems models and makes CG "dynamic" ; an emphasis is made on the fact that concepts can be static entities as well as dynamic entities.
Efficient compilation of lazy evaluation
- Computer ScienceSIGP
The principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers, based on combinator-like graph reduction: the user defined functions are used as rewrite rules in the graph.
Synergy: A Conceptual Graph Activation-Based Language
- Computer ScienceICCS
The activation mechanism and the CG structure (concept, relation, context, co-reference) used in Synergy as well as the concept type definition, the encapsulation mechanism, the knowledge base of Synergy are presented.
Exploiting Course Grain Parallelism from FORTRAN by Mapping it to IF1
- Computer ScienceEuro-Par
The results show that even on a single processor there is no performance degradation from the translation to SAS, and it is shown that on a range of processors, reasonable speedup can be achieved.
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems
- Computer ScienceARTS
This paper proposes an extension of the Signal language based essentially on a canonical form of the affine relations, which can be defined between clocks and gets necessary to enhance the compiler with facilities for the resolution of synchronization constraints on these clocks.
Improving Granularity and Locality of Data in Multiprocessor Execution of Functional Programs
- Computer ScienceParallel Comput.
A history of data-flow languages
- Computer ScienceIEEE Annals of the History of Computing
The article concentrates on those languages that specifically belong to this class and have been implemented for a data-flow machine and in considering limits to the expressive power of these languages, underlying architectural issues are discussed.
An Overview of the Flagship System
- Computer ScienceJ. Funct. Program.
An overview paper discusses three areas of a declarative system: the programming languages and programming environments; the machine architecture and computational models; and the software environment.
Model Integration Using Metagraphs
- Computer ScienceInf. Syst. Res.
It is shown that modules such as data files and decision models in a DSS can be usefully represented by a metagraph, a graph-theoretic construct that captures relationships between pairs of sets of elements.
The Host-Engine Software Architecture for Parallel Digital Signal Processing
- Computer Science
The architecture provides a flexible model for construction of real-time parallel DSP systems, and can map onto many different singleand multi-processor configurations, and provides a basis for hardware-independent access to DSP resources, rapid system construction, re-configurability, and dynamic user control over real- time processing.