The proceedings contain 161 papers. The special focus in this conference is on High-Performance computing and Networking. The topics include: Information processing and opportunities for HPCC use in industry;simulatio...
ISBN:
(纸本)9783540579809
The proceedings contain 161 papers. The special focus in this conference is on High-Performance computing and Networking. The topics include: Information processing and opportunities for HPCC use in industry;simulation of metal forming processes with respect to MPP-systems;high image quality rendering on scalable parallel systems;parallel processing in high integrity aircraft engine control;an embedded solution using high performance computing for cost effective on-line real-time monitoring of industrial processes;communication requirements in parallel crashworthiness simulation;solving large-scale nonnormal Eigenproblems in the aeronautical industry using parallel BLAS;parallel techniques for large-scale nonlinear network optimization;experiences concerning the parallelization of the finite element code smart;three-dimensional simulation of semiconductor devices;a distributed automatic test pattern generation system;distributed logic simulation a test environment for the evaluation of different approaches;modelling hierarchy as guideline for parallel simulation;large implicit finite element simulations of time-dependent incompressible flows on scalable parallel systems;parallel simulation of reacting flows using detailed chemistry;unstructured computational fluid dynamics on massively-parallel SIMD-systems;an advanced parallel multiblock code for the solution of 2D flow-fields;parallel multigrid results for Euler equations and grid partitioning into a large number of blocks;parallel distributed implementations of 2D explicit Euler solvers;parallelization of a 3D multi-block Navier-stokes flow solver on a distributed memory MIMD machine;objectoriented simulation software for drug design and parallel molecular dynamics simulation of commercial surfactants.
The proceedings contain 43 papers. The special focus in this conference is on Theoretical Aspects of Computer Software. The topics include: An operational approach to combining classical set theory and functional prog...
ISBN:
(纸本)9783540578871
The proceedings contain 43 papers. The special focus in this conference is on Theoretical Aspects of Computer Software. The topics include: An operational approach to combining classical set theory and functional programming languages;ML typing, explicit polymorphism and qualified types;extensions to type systems can preserve operational equivalences;constraint programming and database query languages;intuitionistic resolution for a logic programming language with scoping constructs;proof by pointing;a purely functional language with encapsulated assignment;simple termination of hierarchical combinations of term rewriting systems;separate abstract interpretation for control-flow analysis;extensible denotational language specifications;a normalizing calculus with overloading and subtyping;a theory of primitive objects;a type system for a lambda calculus with assignments;theory and practice of concurrent object-orientedcomputing;the family relation in interaction systems;on syntactic and semantic action refinement;locality and true-concurrency in calculi for mobile processes;term rewriting properties of SOS axiomatisations;undecidable equivalences for basic parallel processes;normal proofs and their grammar;discovering needed reductions using type theory;nontraditional applications of automata theory;Petri nets, horn programs, linear logic, and vector games;a complete type inference system for subtyped recursive types;subtyping with union types, intersection types and recursive types;a decidable intersection type system based on relevance;temporal verification diagrams;replication in concurrent combinators;notes on typed object-oriented programming and observing truly concurrent processes.
Summary form only given, as follows. The author introduces the massively parallel computer research and development of the Japanese Real World computing Project (RWC). RWC is a ten-year project whose budget is expecte...
详细信息
Summary form only given, as follows. The author introduces the massively parallel computer research and development of the Japanese Real World computing Project (RWC). RWC is a ten-year project whose budget is expected to be 600 million to 700 million dollars (US). We plan to develop an original 16 K PE stand-alone computer with a parallel C++ language, a more abstract object-oriented language, and a massively parallel operating system.< >
Regis is a programming environment aimed at supporting the development and execution of parallel and distributed programs. It embodies a constructive approach to the development of programs based on separating program...
详细信息
Regis is a programming environment aimed at supporting the development and execution of parallel and distributed programs. It embodies a constructive approach to the development of programs based on separating program structure from communication and computation. The emphasis is on constructing programs from multiple parallel computational components which cooperate to achieve the overall goal. The environment is designed to easily accommodate multiple communication mechanisms and primitives. Both the computational and communication elements of Regis programs are programmed in the objectoriented programming language C++. The elements are combined into parallel and distributed programs using the configuration language Darwin. The paper describes programming in Regis through a set of small example programs.< >
Two current trends in the computer industry are towards open systems and object-oriented methods. The relevance and significance of these for computer-aided control system design are examined. It is observed that, com...
详细信息
Two current trends in the computer industry are towards open systems and object-oriented methods. The relevance and significance of these for computer-aided control system design are examined. It is observed that, compared with computer-aided software engineering, there is no open system policy and a lack of design environments. A variation on the open environment for computer-aided software engineering, based on a service-oriented framework and tools, is proposed to rectify the situation, and a reference model is given. The fundamentals of object-oriented methods are described, and their impact on each part of the proposed environment is considered. It is concluded that the combination of an open environment and object-oriented methods gives an opportunity for progress in computer-aided control system design that needs to be grasped if the world-wide control community is to benefit.< >
The THOREAU simulation of vehicular traffic on city streets and freeways, developed by MITRE Corporation, has been adapted to run in parallel on a network of Unix workstations connected by ethernet. Tenfold and larger...
详细信息
The THOREAU simulation of vehicular traffic on city streets and freeways, developed by MITRE Corporation, has been adapted to run in parallel on a network of Unix workstations connected by ethernet. Tenfold and larger speedups were many as 40 parallel threads on 34 processors. The performance curves show little sign of leveling off with higher degrees of parallelism, which may mean that further gains can be obtained with more processors.< >
The objective of the paper is the description of the implementation of the WAVE model and language for highly parallel processing in open computer networks as well as an application of the distributed WAVE interpreter...
详细信息
The objective of the paper is the description of the implementation of the WAVE model and language for highly parallel processing in open computer networks as well as an application of the distributed WAVE interpreter for modelling complex systems within an object-oriented philosophy. WAVE represents a new distributed programming paradigm enabling the dynamic creation and processing of arbitrary network-structured knowledge. The model operates in a spatial pattern-matching, logic-flow, mode, without any centralised control.< >
The new integrated and interactive environment OmSim, for modeling and simulation of dynamical systems, is introduced. OmSim uses the object-oriented modeling language Omola. The use of OmSim is illustrated by a pract...
详细信息
The new integrated and interactive environment OmSim, for modeling and simulation of dynamical systems, is introduced. OmSim uses the object-oriented modeling language Omola. The use of OmSim is illustrated by a practical example. The architecture of OmSim is presented and related to a reference model for open architectures for computer aided control engineering.< >
A specific task of distributed and parallel information systems is workflow management, In particular, workflow management system execute business processes that run on top of distributed and parallel information syst...
详细信息
A specific task of distributed and parallel information systems is workflow management, In particular, workflow management system execute business processes that run on top of distributed and parallel information systems. parallelism is due to performance requirements and involves data and applications that are spread across a heterogeneous, distributed computingenvironment. Heterogeneity and distribution of the underlying computing infrastructure should be made transparent in order to alleviate programming and use. We introduce an implementation architecture for workflow management systems that meets best these requirements. Scalability (through transparent parallelism) and transparency with respect to distribution and heterogeneity are the major characteristics of this architecture. A generic client/server class library in an object-orientedenvironment demonstrates the feasibility of the approach taken.< >
Heterogeneously distributed and parallelcomputingenvironments are highly dependent on hardware, data migration, and protocols. The result is significant difficulty in software reuse, portability across platforms, an...
Heterogeneously distributed and parallelcomputingenvironments are highly dependent on hardware, data migration, and protocols. The result is significant difficulty in software reuse, portability across platforms, and an increased overall development effort. The appearance of a shared directory of unordered queues can be provided by integrating heterogeneous computers transparently. This integration provides a conducive environment for parallel and distributed application development, by abstracting the issues of hardware and communication. objectoriented technology is exploited to provide this seamless environment.
暂无评论