yingliu@cs (05/11/91)
Hello, everybody, We are glad to join the discussion of biology computation in the newsgroup. We are interested in the parallel programming methodology, especially in the derivation strategies for parallel programs and how to map abstract, architecture-independent programs to some specific parallel machines. In order to make our methodology more practical, we focus our attention on some real applications, some of which are from the domain of the biological sciences. Till now, we have done some experiments on the asynchronous shared-memory Sequent machine S81, the SIMD Connection machine CM-2, and are trying on the distributed-memory Intel machine iPSC for solving pattern and text matching problem with at most a limited number of differences. All three running programs are refined from a common abstract program, which is designed in a formal way and proved correct at first. The experiment results show some promising features of our methodology, and we'll continue our experiments in this field. We would like to share information on the study of biology computation with everyone. Ying Liu & Ambuj Singh, Department of Computer Science, University of California at Santa Barbara, Santa Barbara, CA 93177 yingliu%cs@hub.ucsb.edu -- --- Moderator --- Domain: curtiss@umiacs.umd.edu Phillip Curtiss UUCP: uunet!mimsy!curtiss UMIACS - Univ. of Maryland Phone: +1-301-405-6710 College Park, Md 20742