The CAPSE environment for computer Aided Parallel Software Engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphica...
详细信息
Experience shows that it is not economically feasible to formally specify all parts of a system in an industrial application. Either one already has a number of existing components which are trusted and therefore desi...
详细信息
作者：
M. PrestonComputer Graphics Unit
Manchester Computing University of Manchester Institute of Science and Technology Manchester UK
There are two broad categories of research animation system: those designed to support a particular motion synthesis tool, and those whose implementation is intended to foster a particular form of motion generator des...
详细信息
There are two broad categories of research animation system: those designed to support a particular motion synthesis tool, and those whose implementation is intended to foster a particular form of motion generator design (such as object orientation). However, neither of these approaches really provides significant assistance to the animation researcher wishing to quickly evaluate arbitrary new motion production algorithms against existing techniques. This paper addresses that need by presenting an animation system specifically designed to provide a helpful framework for a wide variety of motion generators, and discusses how these may be implemented and used.
The CAPSE environment for computer Aided Parallel Software Engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphica...
详细信息
The CAPSE environment for computer Aided Parallel Software Engineering is intended to assist the developer in the crucial task of parallel programming. The methodology of CAPSE is based on direct manipulative graphical creation and editing of scalable workload characterizations of MIMD algorithms. This paper presents the basic concepts of this methodology and an example of a parallel Poisson solver. The workload characterization representing the computation and communication behavior of the algorithm is based on directed acyclic task graphs, which achieve scalability by composing the task graph of scalable basic patterns instead of single node and arcs. The composition and the usage of these basic patterns is described in the light of designing the Poisson solver algorithm. The resulting task graph is used to predict the program's performance on a nCUBE 2 distributed memory machine and the PAPS simulator.
Current compilation systems for distributed memory computers have to integrate new techniques to support the highly complex task of producing efficient programs for parallel systems. Two techniques, program comprehens...
详细信息
In this paper, we address the problem of suggesting corrections to terms that are ill-typed in the Curry System. For this, we convert the term into a set of constraints over type expressions, and use a method due to C...
详细信息
The discussion on the advantages and disadvantages of 2D, 3D, and VR interfaces and their applicability to different types of systems, users, and information led to a series of stand-alone implementations that lack th...
详细信息
The discussion on the advantages and disadvantages of 2D, 3D, and VR interfaces and their applicability to different types of systems, users, and information led to a series of stand-alone implementations that lack the possibility of realizing ail integrated approach. The acceptance of the different interaction techniques will depend on their success in practical applications, i.e. with systems that are used by different users for different purposes. Since this acceptance is especially hard to achieve in computer-critical environments, such as medicine, we developed a software environment that allows for the development, integration, and user-centered evaluation of existing and new interaction techniques for their use in medical applications. This environment is equipped with an innovative message-passing functionality that provides the communication to and among application objects in 2D, 3D, and VR. Furthermore, the environment contains a component for user-adapted interaction and system support at runtime.
Several user and task modeling approaches evolved during the past years and were applied to certain problem areas showing different strengths and weaknesses. A qualitative comparison of these approaches and techniques...
Several user and task modeling approaches evolved during the past years and were applied to certain problem areas showing different strengths and weaknesses. A qualitative comparison of these approaches and techniques is difficult since the application and experimentation environments vary. On the other hand, the integration of approved user modeling techniques with different application environments is usually difficult if not impossible. We propose a framework that, in a first step, allows the direct comparison of results of different user and task modeling approaches in graphical user interfaces. The objective is the development of appropriate adaptive help systems for new and existing applications. The system is therefore designed as a client-server architecture to support multi-user operation. The implementation can be easily adapted to different application systems. Applications can be upgraded in a well-defined way, and with a minimal amount of effort by using the approach and tools presented in this paper. A prototype-implementation is presented consisting of an interaction protocoling and managing kernel, a user evaluating module and a corresponding adaptive help system applied to sample medical and CAD experimentation environments.
We study a high order finite difference scheme to solve the time accurate flow field of a jet using the compressible Navier-Stokes equations. As part of OUT ongoing efforts, we have implemented our numerical model on ...
详细信息
暂无评论