HDTenEightyP/NetNews huggingface dataset:
From: wilcox@swarm.wustl.edu (Don Wilcox)
Subject: Looking for small examples
Organization: Washington University in St. Louis, MO
Date: Thu, 15 Oct 1992 21:19:56 GMT

Almost every paper in formal methods, software engineering, or system
specification uses examples, and most of the papers describing new ideas use
fairly simple examples.  I am trying to collect as many of these small examples
as possible.  You know, things like the soda machine, stop watch, elevator,
alternating bit protocol, etc.  Does anyone know of a good place to find a
more-or-less exhaustive list?  Failing that, would you be interested in telling
me about your favorite "toy" example?  I am preparing to flip through several
tens of thousands of pages of journal articles and conference proceedings, and
I would be grateful for any additional pointers.

Thanks,

Don
-- 
Don Wilcox                         | "For I am not ashamed of the Gospel of
Washington University in St. Louis |   Christ, for it is the power of salvation
email: wilcox@swarm.wustl.edu      |   to all who believe."
Newsgroups: comp.specification
From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Subject: Re: Looking for small examples
Organization: University of Twente, Dept. of Computer Science
Date: Fri, 16 Oct 1992 09:05:48 GMT

About examples: the guidelines document on the application of formal methods
of ISO describes the use of Estelle, LOTOS and SDL for 3 simple and
one large examples.

The reference: ISO TR 10167 "Information Processing Systems - Open System Inter
connection - Guidelines for the Application of Estelle, LOTOS and SDL.

Furthermore the related book of Prof. Ken Turner will be published soon.

Related to LOTOS only, a LOTOS user group is in the phase of establishment,
please contact me or Prof. Turner for enlisting.

 Ken Turner
 University of Stirling
 Dept. of Computing Science
 STIRLING FK9 4LA
 UNITED KINGDOM
 kjt@ cs.stir.ac.uk


Regards, Jeroen

-- 
    ___
 __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
|  \___/          |         
|___     __   ___ | University of Twente     
| |  |  /  \ (__  | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
|_________________| tel. +31 53 893684              tfx. +31 53 333815

                    Humour, you're making me laugh.
                                    - Herman Finkers, Dutch comedian -

Newsgroups: comp.specification
From: anna@c3consult.comm.se (Anna Stenkvist)
Subject: Petri Nets, Tools & Applications
Organization: Communicator C3Consult AB
Distribution: comp
Date: Thu, 15 Oct 1992 11:30:58 GMT


I would like to know:
1. If there are any tools based on Petri Nets?
2. If someone has experience of applications using Petri Nets? In that case,
   what kind of applications?

Thanks



--
Anna Stenkvist (Communicator C3Consult, Solna, Sweden) anna@c3consult.comm.se
Newsgroups: comp.specification
From: moseley@ra.csc.ti.com (Warren Moseley)
Subject: Re: Petri Nets, Tools & Applications
Organization: Texas Instruments
Distribution: comp
Date: Thu, 15 Oct 1992 15:53:02 GMT

In article <ANNA.92Oct15123058@pelle.c3consult.comm.se> anna@c3consult.comm.se (Anna Stenkvist) writes:
>
>I would like to know:
>1. If there are any tools based on Petri Nets?
>2. If someone has experience of applications using Petri Nets? In that case,
>   what kind of applications?
>
>Thanks
>
>
>
>--
>Anna Stenkvist (Communicator C3Consult, Solna, Sweden) anna@c3consult.comm.se

There is a tool for Process Modeling called Process Weaver.  It is produced by 
a company called Cap Gemini Sogeti in Grenoble France. 
Contact for more information.

 christer@capsogeti.fr

There is a tool done at University of Dortmund.  I dont recall the name but contact Wilhelm Schafer at wilhelm@udo.informatik.uni-dortmund.de and ask him
about this.  

Another commerical tool that is very expensive is Design CPN by Meta Software
in Cambridge Mass.  I dont have an address for that.  

Hope this helps.  This is an area that I am interested in, and would like to hear the result of you find. 

If you have other questions you can reach me at moseley@ra.csc.ti.com.

Regards,
Warren Moseley Texas Instruments


Newsgroups: comp.parallel
From: ramanag@shale.cs.orst.edu (Ramanathan Gowri)
Subject: Sharing Boarding - IEEE symposium on Parallel and Distributed Processing
Apparently-To: comp-parallel@rutgers.edu
Originator: ramanag@shale.CS.ORST.EDU
Keywords: Hotel room sharing.
Organization: Computer Science Department, Oregon State Univ.
Date: Thu, 15 Oct 1992 04:50:01 GMT
Expires: Tue, 10 Nov 1992 05:00:00 GMT

Dear Netfolks:

I would like to share a double room in Sheraton CentrePark Hotel 
with another woman while attending the 4th IEEE SPDP between 
December 1-4, 1992 at Arlington, Texas. If you think you would like 
to do the same please contact me at the e-mail address: 
		ramanag@research.cs.orst.edu.

Thanks.


Newsgroups: comp.parallel
From: larose@fred.cs.utk.edu (Brian LaRose)
Subject: Re: PVM3.0
Followup-To: larose@cs.utk.edu
Keywords: PVM 3.0
Reply-To: larose@fred.cs.utk.edu (Brian LaRose)
Organization: University of Tennessee, Knoxville - Department of Computer Science
Date: 8 Oct 92 19:04:58 GMT


>> Is anybody aware of where
>> we can get the copy of PVM3.0?

Sure, you can see a demo of PVM3.0 at SuperComputing `92.  The public
release will be sometime shortly after the conference.  After that time
you will be able to get pvm from netlib@epm.ornl.gov. 

 The current version is 2.4.1.

good luck,

-- 
    -------------------------------------
    | Brian LaRose |  974-3647          |
    | Ayres 217    |  larose@cs.utk.edu |
    -------------------------------------
    

Newsgroups: comp.parallel
From: fpst@hubcap.clemson.edu (Steve Stevenson-Moderator) 
Subject: Important---Everyone Please Read
Organization: Clemson University
Date: Fri, 16 Oct 1992 12:05:40 GMT


As modertor, I see a lot of requests for sample programs for one architecture
or another and one problem or another. For those who have actually asked
such a question, would you please indicate by mail whether or not your
request actually was honored.

If your request was honored or you actually have code that is a nice
example, I would like to have a copy for an archive that we will keep here.
You should remove any reference in the code to yourself unless you want to
have a phone call in the middle of the night by some distraught person :-)

This archive will be publically available. When it is all set up, I will
make an announcement.

=========================== MODERATOR ==============================
Steve Stevenson                            fpst@hubcap.clemson.edu
Administrative address                     steve@hubcap.clemson.edu
Department of Computer Science,            comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell

Newsgroups: comp.parallel
From: jolan@ztivax.zfe.siemens.de (Jolan Targonski)
Subject: Deadlock detector wanted
Organization: Siemens AG, Munich, W-Germany
Date: 8 Oct 92 15:55:14 GMT


We have parallel C programs (using POSIX threads) with shared variable
accesses protected via mutexes.

Does anybody know of tools (or theoretical papers) for

a) finding potential deadlocks statically by analyzing the source code,
   or
b) analyzing program traces after the occurrence of a deadlock to find
   out how a deadlock came into being?

Thanks!

-Hermann

-- 
--------
Hermann Ilmberger      hermann@km21.zfe.siemens.de
Siemens Munich         Fax:   +49/89/636-40757

Newsgroups: comp.parallel
From: fielding@theory.TC.Cornell.EDU (David L. Fielding)
Subject: Transputer: Research and Applications CFP Deadline Extended
Organization: Cornell Theory Center
Date: Wed, 14 Oct 1992 01:40:40 GMT


The deadline for abstracts for NATUG6 has been extended until October 16, 1992.
We would like to encourage those developing C40 hardware and software for
the parallel processing community to submit abstracts. 

Tutorials and demonstrations of C40 systems are currently being planned for NATUG6.


************************************************************************
		Transputer: Research and Applications

                        1993 Spring Meeting

                         Call For Papers


     The 6th meeting of the North American Transputer Users
Group, an annual meeting in the use of transputers and similar 
devices for parallel processing, will be held in Vancouver, 
British Columbia, May 10 and 11, 1993.  

     Contributions are being solicited in the areas of hardware [INMOS
TXXXX, TI CMS320C40, etc.], software, and applications. Presentations 
will be allotted 20 minutes each, with ample additional time for 
questions; this format will allow for approximately 24 talks. 
Additional papers may be presented at poster sessions if there 
is sufficient interest. All accepted papers will appear in 
a published proceedings.

     Abstracts of 1000 - 1500 words must be received by 16 October
1992. Notices of acceptance will be sent out by 16 November 1992, and final
drafts of accepted papers will be due by 1 February 1993.  Authors 
should indicate on the abstract whether they would be willing to present
the paper in a poster session.


Abstracts should be submitted to:

Dr. Alan Wagner 
Dept. of Computer Science 
University of British Columbia
6356 Agricultural Road
Vancouver, B.C. V6T 1Z2
(604) 822-6450
wagner@cs.ubc.ca


Guidelines for authors are available via anonymous ftp from
mandolin.cit.cornell.edu in /pub. The files are NATUGauthors.txt
and NATUGauthors.ps.

E-mail submissions of abstracts in ascii form are preferred.


************************************************************************


-- 
David L. Fielding			fielding@theory.tc.cornell.edu
Cornell Information Technologies
502 Olin Library		     Phone:(607)273-8664 or
Cornell University, Ithaca, NY 14853 Phone:(607)255-9098 Fax:(607)255-9346

Newsgroups: comp.parallel
From: cnews@umr.edu (UMR Usenet News Post)
Subject: Quest for Dynamic Name Bidding Papers
Keywords: Dynamic Name Bidding
Organization: University of Missouri-Rolla, Missouri's Technological University
Date: Fri, 16 Oct 1992 05:48:00 GMT

Hi:

Maybe this is not the best place to post this quest, but this is the  
best group I can find. Here goes the question:

I am currently working on a distributed database. I would like to  
have dynamic name bidding to solve the problem of dynamically decide  
the network architecture the system resides on. unfortunately, all  
the papers I read have a same assumption : "the architecture of the  
network is known", no further discussions about the topic.

I am not searching for the solution on a WAN, a LAN (any kind)  
solution is enough.

Anybody has ever wrote a paper, doing the research, or ever saw  
papers refer to the dynamic name bidding? If you can give me a E-mail  
I will be very appreciated. If there are many responses, I will post  
them on this news group.

My E-mail account : asu@cs.umr.edu

Thanks in advance!

Alan Su

-- NewsGrazer, a NeXTstep(tm) news reader, posting --
M>UQR=&8P7&%N<VE[7&9O;G1T8FQ<9C!<9FUO9&5R;B!#;W5R:65R.WT*7&UA
M<F=L,3(P"EQM87)G<C$R,`I<<&%R9%QT>#DV,%QT>#$Y,C!<='@R.#@P7'1X
M,S@T,%QT>#0X,#!<='@U-S8P7'1X-C<R,%QT>#<V.#!<='@X-C0P7'1X.38P
M,%QF,%QB,%QI,%QU;#!<9G,R-"!(:3I<"EP*36%Y8F4@=&AI<R!I<R!N;W0@
M=&AE(&)E<W0@<&QA8V4@=&\@<&]S="!T:&ES('%U97-T+"!B=70@=&AI<R!I
M<R!T:&4@8F5S="!G<F]U<"!)(&-A;B!F:6YD+B!(97)E(&=O97,@=&AE('%U
M97-T:6]N.EP*7`I)(&%M(&-U<G)E;G1L>2!W;W)K:6YG(&]N(&$@9&ES=')I
M8G5T960@9&%T86)A<V4N($D@=V]U;&0@;&EK92!T;R!H879E(&1Y;F%M:6,@
M;F%M92!B:61D:6YG('1O('-O;'9E('1H92!P<F]B;&5M(&]F(&1Y;F%M:6-A
M;&QY(&1E8VED92!T:&4@;F5T=V]R:R!A<F-H:71E8W1U<F4@=&AE('-Y<W1E
M;2!R97-I9&5S(&]N+B!U;F9O<G1U;F%T96QY+"!A;&P@=&AE('!A<&5R<R!)
M(')E860@:&%V92!A('-A;64@87-S=6UP=&EO;B`Z(")T:&4@87)C:&ET96-T
M=7)E(&]F('1H92!N971W;W)K(&ES(&MN;W=N(BP@;F\@9G5R=&AE<B!D:7-C
M=7-S:6]N<R!A8F]U="!T:&4@=&]P:6,N7`I<"DD@86T@;F]T('-E87)C:&EN
M9R!F;W(@=&AE('-O;'5T:6]N(&]N(&$@5T%.+"!A($Q!3B`H86YY(&MI;F0I
M('-O;'5T:6]N(&ES(&5N;W5G:"Y<"EP*06YY8F]D>2!H87,@979E<B!W<F]T
M92!A('!A<&5R+"!D;VEN9R!T:&4@<F5S96%R8V@L(&]R(&5V97(@<V%W('!A
M<&5R<R!R969E<B!T;R!T:&4@9'EN86UI8R!N86UE(&)I9&1I;F<_($EF('EO
M=2!C86X@9VEV92!M92!A($4M;6%I;"!)('=I;&P@8F4@=F5R>2!A<'!R96-I
M871E9"X@268@=&AE<F4@87)E(&UA;GD@<F5S<&]N<V5S+"!)('=I;&P@<&]S
M="!T:&5M(&]N('1H:7,@;F5W<R!G<F]U<"Y<"EP*37D@12UM86EL(&%C8V]U
M;G0@.B!A<W5`8W,N=6UR+F5D=5P*7`I4:&%N:W,@:6X@861V86YC92%<"EP*
*06QA;B!3=0I]"G,N
`


Newsgroups: comp.parallel
From: <LRC1@PSUVM.PSU.EDU>
Subject: Re: PVM3.0
Organization: Penn State University
 <Bvny5H.H2A.1@cs.cmu.edu>
Date: Thu, 8 Oct 1992 13:57:09 EDT

Does anyone know if PVM 3.0 will be capable of generating trace files?

Thanks,

Lou

Newsgroups: comp.parallel
From: reza@athena.mit.edu (Reza M Mehrabi)
Subject: 12th Parallel Circus??
Keywords: conference, parallel circus
Organization: Massachusetts Institute of Technology
Date: Sat, 10 Oct 1992 15:50:46 GMT

Does anyone know if the 12th Parallel Circus is happening at the end of this
month?  If so, any information is appreciated.

Thanks,
Reza

Newsgroups: comp.parallel
From: kuruvila@qucis.queensu.ca (Johnson Kuruvila)
Subject: Re: Sorts parallel algorythms
Apparently-To: comp-parallel@watmath.uwaterloo.ca
Organization: Computing and Information Science, Queen's University at Kingston
Date: Thu, 15 Oct 1992 22:15:59 GMT


I am aware of many parallel sort algorithms.
You may refer to 'Parallel Sorting Algorithms' by Prof. Selim G. Akl.
(1985). There are many other good book available.
Contact me if you need more info.


----------------------------------------------------------------
Johnson T. Kuruvila       |   Dept. of Computing & Inf. Sciences
485 A, Alfred Street      |   Goodwin Hall
Kingston                  |   Queen's University
Ontario                   |   Kingston, Ontario
CANADA K7K 4J4            |   CANADA K7L 3N6
Phone: 613-545-0562       |
--------------------------"-------------------------------------
    __o          o__      o__      o__      o__      There's one
  _ \<,_        _.>/ _   _.>/ _   _.>/ _   _.>/ _     in every
 (_)/ (_)      (_) \(_) (_) \(_) (_) \(_) (_) \(_)     crowd....
================================================================

Newsgroups: comp.parallel
From: bpre@brest.ifremer.fr (Bernard Prevosto, Ifremer DITI RIC, 98.22.45.43)
Subject: PVM3.0
Reply-To: bpre@brest.ifremer.fr
Organization: Ifremer
Date: 7 Oct 92 08:01:41 GMT



---

Is anybody aware of where
we can get the copy of PVM3.0?

       _____   ____   ____                ____   _____        
       /___/  /__    /___/  /\  /  /_\   /___/   /   /
     _/___/  /____  /   \  /  \/  /   \ /   \  _/___/


------------------------------------------------------------
Bernard Prevosto                     IFREMER/Centre de Brest          
                                           DITI/RIC
tel:98-22-45-43                             B.P 70
fax:98-22-45-46                         29280  PLOUZANE

            email:Bernard.Prevosto@ifremer.fr
------------------------------------------------------------

Newsgroups: comp.parallel
From: levine@jadoube.mcs.anl.gov (David Levine)
Subject: Grand Challenges in Computer Simulation
Apparently-To: comp-parallel@uunet.uu.net
Organization: Argonne National Laboratory, Chicago, Illinois
Date: Thu, 8 Oct 1992 18:50:09 GMT

                Announcement and Call for Papers 

                   HIGH PERFORMANCE COMPUTING 
             Grand Challenges in Computer Simulation 
      (Part of the 1993 International Simulators Conference) 

                          Sponsored by 
               The Society for Computer Simulation  

                    March 29-April 1, 1993 
             Key Bridge Marriott * Arlington, Virginia 

The 1993 International Simulators Conference will feature a special
Symposium devoted to the impact of High Performance Computing on
Computer Simulation.  Topics to be addressed may include (but are
not limited to): (1) high performance computing applications; (2)
parallel algorithms and numerical methods; (3) methodologies to 
exploit HPC architectures.  Prospective authors are invited to 
submit abstracts describing their work in these areas. 

       Areas of interest include (but are not limited to) : 

     * Models of fluid dynamic behavior for 3-D flow fields 
     * Combustion system simulations 
     * Predictions of weather, climate, and global changes 
     * Models of turbulence in fluid flows 
     * Computational solid mechanics applications 
     * Nuclear reactor safety analysis 
     * Computational ocean sciences and systems 
     * Nuclear fusion applications 

                            KEY DATES: 

  Three (3) copies of 300-word abstracts  
OR (preferred) a full paper for review 
to session organizers  . . . . . . . . . . . BY OCTOBER 15, 1992

  Notification of acceptance and author 
kits mailed  . . . . . . . . . . . . . . . . BY NOVEMBER 15, 1992

  Camera-ready copy submitted to Society 
headquarters . . . . . . . . . . . . . . . . BY DECEMBER 31, 1992


Only previously unpublished works will be considered and, if 
accepted, will be published in the proceedings of the conference. 

Submit abstracts/papers with authors' complete addresses, phone,
fax, and e-mail for consideration to: 

Dr. Adrian Tentner                or   High Performance Computing 
Argonne National Laboratory            c/o Society for Computer 
9700 S. Cass Avenue                      Simulation International
Argonne, IL 60439                      P.O. Box 17900 
e-mail: tentner@pepper.ra.anl.gov      San Diego, CA 92177 USA 

Newsgroups: comp.parallel
From: pab@cs.arizona.edu (Peter A. Bigot)
Subject: Re: Summary: parallel genetic algorithm (references)
Organization: U of Arizona CS Dept, Tucson
Date: 13 Oct 92 14:58:12 GMT


In article <1992Oct13.003557.49857@ns1.cc.lehigh.edu> ob00@ns1.cc.lehigh.edu (OLCAY BOZ) writes:
>Thanks a lot to all who replied to my request for references on PGA's.
>All the replies were appreciated very much. I hope others who are interested
>in the same subjects find these references helpfull.
>====================================================================
[ some responses deleted ]
>From: levine@antares.mcs.anl.gov (David Levine)
>Date: Mon, 5 Oct 92 11:02:40 CDT
>To: OB00@Lehigh.EDU
>Subject: parallel genetic algorithms
>
>Here is some *in-progress* text from what I hope will be the first chapter of
>my PhD thesis on Parallel Genetic Algorithms for Set Partitioning Problems.
>Please don't post, publish, or quote!  (at least until I get my degree!)
>
>--dave
>
>David Levine  levine@mcs.anl.gov  (708)-252-6735   Fax: (708)-252-5986
>MCS 221 C-216    Argonne National Laboratory   Argonne, Illinois 60439

Followed by what I assume is the in-progress text that Levine clearly asked
_not_ be posted, published, or quoted.

Why was it posted?  Was there permission granted that wasn't noted anywhere
in the message?

I'm just curious---makes me a bit leery of mailing in-progress work to
people who are interested in it, if it's going to be splattered out across
the net regardless of any request I make to keep it quiet.

Peter
--
                     Peter A. Bigot -- pab@cs.arizona.edu
          Dept. of Computer Science, University of Arizona, Tucson AZ

Newsgroups: comp.parallel
From: raghu@enh.nist.gov
Subject: cfd and MPP
Organization: NIST
Date: 15 Oct 92 17:47:01 GMT


I am looking for a small piece of code written for MPP and the corresponding 
scalar (and vector) version of it.  
I would like to use this as an illustration for a talk I am giving 
and is purely for educational purposes only.  
The code may the numerical version of a Poisson equation, or
Burger's equation or anything else cfd oriented.  
your help will be appreciated. 
thank you
raghu@enh.nist.gov

Newsgroups: comp.parallel
From: vluna@marte.mty.itesm.mx (Victor Luna)
Subject: Sorts parallel algorythms
Organization: Clemson University
Date: 9 Oct 92 20:30:03 GMT


I 'd like to know how many sort parallel algorythms there are,
if you heard about some of them, please tell me about it, i need it for a  
research about this topic.

Thanks

Newsgroups: comp.parallel
From: kentb@MasPar.COM (Kent Beck)
Subject: Re: A Survey of Parallel Programming Tools
Organization: Clemson University
Date: Wed, 7 Oct 92 10:32:49 -0700

Tool:
MasPar Programming Environment (MPPE)

Summary:
An integrated debugger, visualizer, and profiler for the MasPar MP-1 and 2.
The debugger provides a windowed, source code oriented view of a massively
parallel program mixing scalar C, scalar Fortran 77, data parallel C (MPL),
and data parallel Fortran (MasPar Fortran).  The inspector and visualizer
are invoked directly from the source code by selecting an expression.
Statement and routine level profiling are integrated with the debugger as
annotation to the source code (a histogram to the right).  Every time the
program stops, whether at a breakpoint, after a single step, or after a 
program fault, all inspection and profiling data on the screen is updated.
The debugger, inspectors, and profiler all handle the default settings
of the MasPar compilers, which have most optimizations activated.

Platform: The MPPE user interface runs on DecStation and SPARC family
workstations.  The program to be debugged must run on an MP-1 or MP-2.

OS: DecStation- Ultrix 4.2, SPARC- SunOS 4.1.1

Languages: C, F77, MasPar Fortran, MPL

Languages used in implementation: Smalltalk and C++

Window systems: DecStation- Motif, SPARC- OpenWindows

Contact:
Helen Asher
408.736.3300
From: larose@fred.cs.utk.edu (Brian LaRose)
Newsgroups: comp.parallel
Subject: Re: PVM3.0
Keywords: PVM 3.0
Date: 8 Oct 92 19:05:46 GMT
Article-I.D.: utkcs2.ld91kaINNe1n
Reply-To: larose@fred.cs.utk.edu (Brian LaRose)
Followup-To: larose@cs.utk.edu
Organization: University of Tennessee, Knoxville - Department of Computer Science
NNTP-Posting-Host: fred.cs.utk.edu

POST


>> Is anybody aware of where
>> we can get the copy of PVM3.0?

Sure, you can see a demo of PVM3.0 at SuperComputing `92.  The public
release will be sometime shortly after the conference.  After that time
you will be able to get pvm from netlib@epm.ornl.gov. 

 The current version is 2.4.1.

good luck,

-- 
    -------------------------------------
    | Brian LaRose |  974-3647          |
    | Ayres 217    |  larose@cs.utk.edu |
    -------------------------------------
    
Newsgroups: comp.parallel
From: samsung!ulowell!doberman.cps.msu.edu!czerny@uunet.UU.NET (Barbara Czerny Dr. Ni)
Subject: references on interrupt systems
Apparently-To: ulowell!uunet!comp-parallel
Organization: Michigan State University, CPS Department
Date: Tue, 13 Oct 92 13:54:55 GMT

I am looking for any references on interrupt systems
in parallel processors using Unix or Mach.

Thanks in advance,

Barb

****************************************************************
%  Barbara J. Czerny               Michigan State University   %
%  Internet: czerny@cps.msu.edu        Computer Science        %
%  usenet:   uunet!frith!czerny	     E. Lansing, Michigan      %
****************************************************************

Newsgroups: comp.parallel