Newsgroups: comp.parallel
From: pooh@drycas.club.cc.cmu.edu (William H Timmins)
Subject: Pmake
Organization: University of Pittsburgh
Date: Mon, 17 Apr 1995 00:06:39 -0400
Message-ID: <3n36u0$js4@usenet.srv.cis.pitt.edu>

Hi,
we are using pmake for running search algorithms (in our case, an
automated theorem prover) in parallel. The way of parallelization is
competition: each processor tries to solve the same problem, but with
different strategies (or parameters). The first solution then stops
the system.  

Actually there are two prototyp. implementations: 
RCTHEO - which does random compettion (the search alg. is randomized)
SiCoTHEO - competition via different parameters.

On RCTHEO based on pmake, there is no publication, but I can give you the
address of the author.
About SiCoTHEO, there will be a paper on the PPAI workshop during IJCAI'95.
If you are interested, I can send you the paper (as .ps).

Hope this helps.

best regards
Johann
NB:
I just remember that there used to be a parallel make-tool, distributed
by AT&T (at least I think so, but I can't remember its name now)

------------------------------------------------------------
Johann M. Ph. Schumann
Intellektik -  AI Research Group at the Chair of Computer Architecture
Institut fuer Informatik
Technische Universitaet Muenchen
Augustenstr. 46 RGB
80290 Muenchen, Germany
email: schumann@informatik.tu-muenchen.de
------------------------------------------------------------




