Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic language technology to ...
详细信息
The paper describes MICE, a prototype implementation of MPI on the Converse interoperable parallel programming environment. It is based on MPICH, a public-domain implementation of MPI and uses the Abstract Device Inte...
详细信息
The paper describes MICE, a prototype implementation of MPI on the Converse interoperable parallel programming environment. It is based on MPICH, a public-domain implementation of MPI and uses the Abstract Device Interface (ADI) which has been retargeted on top of Converse. MICE makes use of message-managers and allows use of thread-objects to let MPI modules co-exist with other types of computations and communication (such as a library computation in Charm++ or asynchronous computations in multipol) within a single application. It also makes it possible to interoperate PVM (in a restricted form) and MPI modules. Thread-objects make it possible to build multi-threaded MPI programs. This MPI implementation demonstrates that it is possible to provide interoperability without any significant performance degradation.
作者：
Chris McDonaldProgramming
Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced i...
ISBN:
(纸本)9780897917575
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced in Operating Systems units, many file system concepts need to be readdressed and generalized in later computer Networks units. Moreover, as students become increasingly familiar with internetworking and programs such as ftp, many of the strong links between the Operating Systems and computer Networks units may be reinforced. This paper discusses the successes experienced with two strongly related projects offered in our third year computer Networks unit. Each project requires students to support a minimal distributed file system by implementing user-level libraries which redefine a handful of operating system system calls supporting remote file access.
We consider the problem of solving linear equations over various semirings. In particular, solving of linear equations over polynomial rings with the additional restriction that the solutions must have only non-negati...
详细信息
We consider the problem of solving linear equations over various semirings. In particular, solving of linear equations over polynomial rings with the additional restriction that the solutions must have only non-negative coefficients is shown to be undecidable. Applications to undecidability proofs of several unification problems are illustrated, one of which, unification modulo one associative-commutative function and one endomorphism, has been a long-standing open problem. The problem of solving multiset constraints is also shown to be undecidable.
The traditional sugar-cane breeding process depends on the determination of an experienced breeding researcher. Since the sugar-cane breeding problem in agriculture field is a complex one, the use of computer-aided me...
详细信息
ISBN:
(纸本)0780332806
The traditional sugar-cane breeding process depends on the determination of an experienced breeding researcher. Since the sugar-cane breeding problem in agriculture field is a complex one, the use of computer-aided methodology is very suitable to solve this problem. In this paper, we use the techniques of neural networks and genetic algorithms to construct a method in order to induce the sugar-cane cross model from the sugar-cane parent database established by the Taiwan Sugar Research Institute since 1990. The experimental results show that the correct percentage for testing is about 70%.
It is well known that extracting parallel loops plays a significant role in designing parallelizing compilers. The execution efficiency of a loop is enhanced when the loop can be executed in parallel or partial parall...
详细信息
ISBN:
(纸本)0818672676
It is well known that extracting parallel loops plays a significant role in designing parallelizing compilers. The execution efficiency of a loop is enhanced when the loop can be executed in parallel or partial parallel, like a DOALL or DOACROSS loop. This paper reports on the practical parallelism detector (PPD) that is implemented in PFPC (a portable FORTRAN parallelizing compiler running on OSF/1) at NCTU to concentrate on finding the parallelism available in loops. The PPD can extract the potential DOALL and DOACROSS loops in a program by invoking a combination of the ZIV test and the I test for verifying array subscripts. Furthermore, if DOACROSS loops are available, an optimization of synchronization statement is made. Experimental results show that PPD is more reliable and accurate than previous approaches.
Building large, heterogeneous, distributed software systems poses serious problems for the software engineer;achieving interoperability of software systems is still a major challenge. We describe an experiment in desi...
详细信息
The notion of "time" plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and absolute, discrete...
详细信息
暂无评论