From: PEM moderator
To:
Date: Tue, 24 Feb 2004 11:56:44 +0100
Subject: PEM meeting | 26.02.04 | H220 (NIKHEF)

   Dear colleagues,

   This announcement can be found at <http://www.cwi.nl/~pem>

             Symbolic Performance Modeling of Parallel Systems

   Date:    26.02.04
   Time:    10:00
   Venue:   H220 (NIKHEF)
   Speaker: Arjen J.C. van Gemund
   Title:   Symbolic Performance Modeling of Parallel Systems

   Performance  prediction is an important engineering tool that provides
   valuable  feedback  on design choices in program synthesis and machine
   architecture  development. We present an analytic performance modeling
   approach   aimed  to  minimize  prediction  cost,  while  providing  a
   prediction  accuracy  that is sufficient to enable major code and data
   mapping  decisions.  Our approach is based on a performance simulation
   language  called  Pamela.  Apart  from  simulation,  Pamela features a
   symbolic  analysis technique that enables Pamela models to be compiled
   into  symbolic  performance  models that trade prediction accuracy for
   the lowest possible solution cost. The average prediction error of our
   approach  is  less  than  10%,  while  the average worst case error is
   limited  to  50%.  It  is  shown  that  this accuracy is sufficient to
   correctly  select  the  best  coding  or  partitioning  strategy.  For
   programs expressed in a high-level, structured programming model, such
   as  data-parallel  programs,  symbolic  performance  modeling  can  be
   entirely  automated.  We  report  on  experiments  with a Pamela model
   generator built within a data-parallel compiler for distributed-memory
   machines.  Our  results  show that with negligible program annotation,
   symbolic  performance  models  are  automatically compiled in seconds,
   while their solution cost is in the order of milliseconds.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________