Submission

[yingliu at cs]

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 at hub.ucsb.edu
--
                                --- Moderator ---
Domain: curtiss at umiacs.umd.edu		     Phillip Curtiss
  UUCP:	uunet!mimsy!curtiss		UMIACS - Univ. of Maryland
 Phone:	+1-301-405-6710			  College Park, Md 20742