Changes between Version 8 and Version 9 of FraDeCoPP-2


Ignore:
Timestamp:
Nov 23, 2012, 7:59:49 PM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FraDeCoPP-2

    v8 v9  
    1717* 12h00-14h00 '''Déjeuner / Lunch (Restaurant l'Agora)'''  
    1818 
    19 * 14h00-15h00 Virginia Niculescu (Babes-Bolya University of Cluj-Napoca), '''On Granularity in Data-Parallel Programs Development'''[[BR]]One key to attaining good parallel performance is choosing the right granularity for the application. Parallel computation models with high level of abstraction, usually, do not have mechanisms for specifying and building granularity. If such mechanisms are introduced they could be very useful since they allow a better evaluation of the performance, and finally, an easier implementation. It is considered that a model of parallel computation, to be useful, must fulfill a set of requirements: abstractness, software development methodology, architecture independence, cost measures, no preferred scale of granularity, and efficiently implementable. The development of the programs correct by construction is also a very important issue in parallel setting. The normal flow in a derivation is to start from a specification, derive and express it using the chosen model, and then adjust it for implementation. The question that could arise is “When should we care about the granularity?” -  only at the mapping phase, or starting from the beginning, in the derivation phase. Some case studies will be presented, and their analysis indicate that if we are able to specify and to build granularity from the first levels of design,  then the chances to obtain good improvements of the resulted costs increase very much. 
     19* 14h00-15h15 Virginia Niculescu (Babes-Bolya University of Cluj-Napoca), '''On Granularity in Data-Parallel Programs Development'''[[BR]]One key to attaining good parallel performance is choosing the right granularity for the application. Parallel computation models with high level of abstraction, usually, do not have mechanisms for specifying and building granularity. If such mechanisms are introduced they could be very useful since they allow a better evaluation of the performance, and finally, an easier implementation. It is considered that a model of parallel computation, to be useful, must fulfill a set of requirements: abstractness, software development methodology, architecture independence, cost measures, no preferred scale of granularity, and efficiently implementable. The development of the programs correct by construction is also a very important issue in parallel setting. The normal flow in a derivation is to start from a specification, derive and express it using the chosen model, and then adjust it for implementation. The question that could arise is “When should we care about the granularity?” -  only at the mapping phase, or starting from the beginning, in the derivation phase. Some case studies will be presented, and their analysis indicate that if we are able to specify and to build granularity from the first levels of design,  then the chances to obtain good improvements of the resulted costs increase very much. 
    2020 
    21 * 15h00-15h30 '''Pause / Coffee Break''' 
     21* 15h15-15h45 '''Pause / Coffee Break''' 
    2222 
    23 * 15h30-16h15 Frédéric Loulergue (LIFO, University of Orléans), '''Towards a Verified GTA Library'''[[BR]]Joint work in progress with Kento Emoto, Julien Tesson, Frédéric Dabrowski. 
     23* 15h45-16h30 Frédéric Loulergue (LIFO, Université d'Orléans), '''Towards a Verified GTA Library'''[[BR]]Joint work in progress with Kento Emoto, Julien Tesson, Frédéric Dabrowski. 
    2424 
    25 * 16h15-17h00 TBA 
    26  
    27 * 17h00-17h45 TBA 
    28  
     25* 16h30-17h15 Frédéric Gava (LACL, Université Paris-Est), '''TBA''' 
    2926 
    3027== Aim and Scope ==