We investigate the problem of parallel evaluation of functional programs. We have developed a novel approach to deal with sharing in graph reduction. Share nodes are introduced to explicitly handle sharing. By using s...
详细信息
We investigate the problem of parallel evaluation of functional programs. We have developed a novel approach to deal with sharing in graph reduction. Share nodes are introduced to explicitly handle sharing. By using share nodes, we have a garbage collection method that is on-the-fly (real time), parallel, distributed, and incremental. In our parallel graph reducer, copying can be done in parallel to make an exponential growth of program tree nodes. Since each node represents a simple operation, the growth of program trees is a natural distribution of computation work. Load balancing becomes very easy and can be done automatically. A simulator is implemented to simulate a tree structured parallel computer to run our graph reducer. Examples such as parallel matrix addition and multiplication are tested.< >
Automated testing of large embedded systems is one of the most expensive and time-consuming parts of the software life cycle. the Knowledge-based Interactive Test Script System (KITSS) automates functional testing in ...
详细信息
Relational algebras as developed by Codd and his followers are extended by noting an equivalence withfunctional languages. this leads to higher order relations, recursive definitions of relations, and the use of high...
详细信息
the proceedings contain 25 papers. the special focus in this conference is on programming. the topics include: Procedures and concurrency: A study in proof;another characterization of weakest preconditions;powerdomain...
ISBN:
(纸本)9783540114949
the proceedings contain 25 papers. the special focus in this conference is on programming. the topics include: Procedures and concurrency: A study in proof;another characterization of weakest preconditions;powerdomains and nondeterministic recursive definitions;optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code;the simple semantics for Coppo-Dezani-Sallé types;proving the correctness of implementations of shared data abstractions;specification of communicating processes and process implementation correctness;a system for reasoning within and about algebraic specifications;tuning algebraic specifications by type merging;a machine-level semantics for nondeterministic, parallel programs;communicating agents for applicative concurrent programming;on effective computations of non-deterministic schemes;Specification and verification of concurrent systems in CESAR;proof of separability A verification technique for a class of security kernels;a method for program synthesis;the use of transformations to implement an algorithm;a formalized proof system for total correctness of while programs;automatic program transformation viewed as theorem proving;an enlarged definition and complete axiomatization of observational congruence of finite processes;perluette : A compilers producing system using abstract data types;a weakest precondition semantics for communicating processes;from abstract model to efficient compilation of patterns;computer-based synthesis of logic programs.
We describe a first order applicative language for the specification of deterministic systems of communicating computing agents à la Kahn-MacQueen. Boththe sequential and parallel interpreter we give are based o...
详细信息
this volume contains the proceedings of the 18thinternationalsymposium on Mathematical Foundations ofComputer Science, MFCS '93, held in Gdansk, Poland,August-September 1993.the MFCS symposia, organized annua...
详细信息
ISBN:
(数字)9783540479277
ISBN:
(纸本)9783540571827
this volume contains the proceedings of the 18thinternationalsymposium on Mathematical Foundations of
Computer Science, MFCS '93, held in Gdansk, Poland,
August-September 1993.
the MFCS symposia, organized annually in Poland and the
former Czechoslovakia since 1972, have a long and
well-established tradition. Over the years they have served
as a meeting ground for specialists from all branches of
theoretical computer science, in particular
- algorithms and complexity, automata theory and theory of
languages,
- concurrent, distributed and real-time systems,
- the theory of functional, logic and object-oriented
programming,
- lambda calculus and type theory,
- semantics and logics of programs,
and others. the volume contains 12 invitedlectures and 56
contributed papers selected from 133 submissions.
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence&...
详细信息
ISBN:
(数字)9783662588345
ISBN:
(纸本)9783662588338
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. the scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems.;this 5th issue contains extended versions of papers by the best paper award candidates of IC-SAMOS 2009 and the SAMOS 2009 Workshop, colocated events of the 9thinternationalsymposium on Systems, Architectures, Modeling and Simulation, SAMOS 2009, held in Samos, Greece, in 2009. the 7 papers included in this volume were carefully reviewed and selected. the papers cover research on embedded processor hardware/software design and integration and present challenging research trends.
暂无评论