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