By pursuing language design and language implementation research in parallel, interactions between the two research areas can be exploited to make faster, better progress in both. We report on our experiences working ...
详细信息
The proceedings contain 35 papers. The special focus in this conference is on Design and Implementation of Symbolic Computation Systems. The topics include: Problem-oriented applications of automated theorem proving;a...
ISBN:
(纸本)3540616977
The proceedings contain 35 papers. The special focus in this conference is on Design and Implementation of Symbolic Computation Systems. The topics include: Problem-oriented applications of automated theorem proving;a strongly-typed embeddable computer algebra library;a general framework for implementing calculi and strategies;equality elimination for the tableau method;towards lean proof checking;high performance equational theorem proving;a reflective language based on conditional term rewriting;term rewriting systems;generative geometric modeling in a functional environment;exploiting SML for experimenting with algebraic algorithms;conditional categories and domains;parameterizing object specifications;analyzing the dynamics of a Z specification;integer and rational arithmetic on maspar;parallel 3-primes FFT algorithm;a master-slave approach to parallel term rewriting on a hierarchical multiprocessor;concepts and applications;document-centered presentation of computing software;animating a non-executable formal specification with a distributed symbolic language;uniform representation of basic algebraic structures in computer algebra;integrating computer algebra with proof planning;structures for symbolic mathematical reasoning and computation;an approach to class reasoning in symbolic computation;an intelligent interface to numerical routines;computer algebra and the world wide web;software architectures for computer algebra;a deductive database for mathematical formulas;a system for computer aided constructive algebraic geometry;making systems communicate and cooperate;a database for number fields;compiling residuation for a multiparadigm symbolic programming language and pluggability issues in the multi protocol.
The proceedings contain 110 papers. The special focus in this conference is on Programming environment and Tools. The topics include: High-performance distributed computing;design and implementation of a parallel arch...
ISBN:
(纸本)9783540616269
The proceedings contain 110 papers. The special focus in this conference is on Programming environment and Tools. The topics include: High-performance distributed computing;design and implementation of a parallel architecture for biological sequence comparison;dynamic load balancing in parallel database systems;distributed array query and visualization for high performance fortran;annai scalable run-time support for interactive debugging and performance analysis of large-scale parallel programs;on the implementation of a replay mechanism;concepts and functionalities of the DOSMOS-trace monitoring tool;an open monitoring system for parallel and distributed programs;an adaptive cost system for parallel program instrumentation;a performance tuning tool for DSM-based parallel computers;cautious, machine-independent performance tuning for shared-memory multiprocessors;an environment for parallel programming on networks of heterogeneous workstations;an integrated environment to design parallelobject-oriented applications;extending the message-passing interface;a refinement methodology for developing data-parallel applications;efficient block cyclic data redistribution;optimal grain size computation for pipelined algorithms;dynamic redistribution on heterogeneous parallel computers;supporting distributed sparse matrix objects;low-latency communication over fast ethernet;a comparison of input and output driven routers;a pattern-associative router for interconnection network adaptive algorithms and on stack-graph OPS-based lightwave networks.
object-oriented logic programming (OOLP) is a hybrid of object-orientation and logic programming paradigms. In this paper, we present a new object-oriented logic programming language P&P. P&P supports programm...
详细信息
ISBN:
(纸本)0818674601
object-oriented logic programming (OOLP) is a hybrid of object-orientation and logic programming paradigms. In this paper, we present a new object-oriented logic programming language P&P. P&P supports programming with communicating nondeterministic objects and stream parallelism for communication among objects. Intuitively, each object has a Parlog 'shell' with Prolog 'contents'. One concern in our design is to integrate Prolog's backtracking, sequential search with Parlog's concurrent execution. Hence P&P supports committed inter-object message passing via the Parlog 'shell' of the objects. Also, object-oriented features are added to provide encapsulation and code reuse.
Software generation in the OORHS (object-oriented reciprocative hypercomputing system) is user-transparent. It addresses the issue of ease of use by minimizing the number of steps leading to a programming solution. Th...
详细信息
Software generation in the OORHS (object-oriented reciprocative hypercomputing system) is user-transparent. It addresses the issue of ease of use by minimizing the number of steps leading to a programming solution. The OORHS requires from the user only a high level APPL program, which is, in effect, a specification. For every APPL program, the system automatically performs all the necessary distributed computing steps. The precompiler, based on the object-oriented paradigm, instantiates the encapsulated program objects embedded in an APPL program. These program objects are distributed at the source level. They are compiled and then executed at the allocated sites. This unique approach, known as local compilation, eliminates the need to store the compilers used by other machines locally. It enhances the compatibility between the compiled program and the host processor. The precompiler generates a program objects dictionary for every APPL program. The contents in the dictionary facilitates program visualization.
We investigate the capability of Metaview, a meta CASE system, to define objectoriented CASE environments. An innovative feature of Metaview is the use of aggregation as a mechanism for linking method fragments. This...
详细信息
We investigate the capability of Metaview, a meta CASE system, to define objectoriented CASE environments. An innovative feature of Metaview is the use of aggregation as a mechanism for linking method fragments. This approach is illustrated in the specification of our environment to support OMT, one of the most popular objectoriented development methods.
We present theoretical and empirical investigations to explore the potential of dynamic load balancing for homogeneous systems. We introduce the object-based programming environment MOM. Then we define an own load bal...
详细信息
We present theoretical and empirical investigations to explore the potential of dynamic load balancing for homogeneous systems. We introduce the object-based programming environment MOM. Then we define an own load balancing algorithm called Gating and compare it with other well known algorithms, theoretically, in a simulation and in the MOM system. The obtaining results are discussed.
We describe a software environment for high performance distributed computing on a network of multiprocessor workstations. In designing this environment, we have used a problem oriented approach as opposed to the trad...
详细信息
ISBN:
(纸本)9780818675829
We describe a software environment for high performance distributed computing on a network of multiprocessor workstations. In designing this environment, we have used a problem oriented approach as opposed to the traditional algorithm oriented approach. This paradigm shift enables us to generate efficient programs automatically for a well defined class of problems. Thus, our system frees the users from the esoteric tasks of algorithm design and implementation. An important feature of our system is its ability to handle the large variation in granularity-we call this dual level parallelism-in a hybrid processing environment. This feature is the key to the superior efficiency delivered by the system. We give preliminary results from a case study in which our system is used to generate programs automatically for a scientific application, with a network of multiprocessors as the target platform.
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) require re-implementation of some or all...
详细信息
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) require re-implementation of some or all components. This paper presents the design of a concurrent object-oriented programming language based upon separate specifications of computations and interactions of programs. Separate specification of computations and interactions allows each to be separately modified and extended. We show that separation also facilitates extension of other language composition mechanisms such as class, inheritance, and template in order to define concurrent program abstractions. The resulting language supports extensibility and modifiability of concurrent programs as well as reusability of specifications of computations and interactions.
In this paper we propose an approach which seamlessly integrates two modeling techniques to facilitate the simulation and analysis of performance and dependability of large-scale parallel computer systems. The approac...
详细信息
In this paper we propose an approach which seamlessly integrates two modeling techniques to facilitate the simulation and analysis of performance and dependability of large-scale parallel computer systems. The approach, called Conjoint Simulation, combines object-oriented, process-based simulation with Petri net modeling. The approach splits a system into a performance model and a dependability model. The models are developed independently but interact at run time to provide both performance and dependability metrics. This separation facilitates model representation, development, and maintenance.
暂无评论