Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve
Identifieur interne : 00B652 ( Main/Merge ); précédent : 00B651; suivant : 00B653Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve
Auteurs : Raphaël CouturierSource :
English descriptors
- KwdEn :
Abstract
Dans cet article nous décrivons la parallélisation d'une application développée par des physiciens. Les calculs sont réalisés par un nombre important d'itérations courtes dépendantes les unes des autres. Pour paralléliser cette application, nous découpons la grille représentant le système physique en plusieurs sous-grilles et nous regroupons les différents calculs obtenus. Nous avons prouvé à l'aide de PVS (Prototype Verification System) que cette parallélisation est correcte ; pour ce faire nous faisons une abstraction du programme par l'intermédiaire d'une spécification du prouveur PVS. Finalement nous expliquons comment PVS nous permet de trouver la post-condition nécessaire afin de coller les différentes sous-grilles pour garantir que le calcul parallèle est identique au calcul séquentiel.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002101
- to stream Crin, to step Curation: 002101
- to stream Crin, to step Checkpoint: 002179
Links to Exploration step
CRIN:couturier98bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="7">Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve</title></titleStmt><publicationStmt><idno type="RBID">CRIN:couturier98b</idno><date when="1998" year="1998">1998</date><idno type="wicri:Area/Crin/Corpus">002101</idno><idno type="wicri:Area/Crin/Curation">002101</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002101</idno><idno type="wicri:Area/Crin/Checkpoint">002179</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002179</idno><idno type="wicri:Area/Main/Merge">00B652</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve</title><author><name sortKey="Couturier, Raphael" sort="Couturier, Raphael" uniqKey="Couturier R" first="Raphaël" last="Couturier">Raphaël Couturier</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>PVS</term><term>Parallelization</term><term>Post-condition</term><term>Proof</term><term>Shared memory</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-1159">Dans cet article nous décrivons la parallélisation d'une application développée par des physiciens. Les calculs sont réalisés par un nombre important d'itérations courtes dépendantes les unes des autres. Pour paralléliser cette application, nous découpons la grille représentant le système physique en plusieurs sous-grilles et nous regroupons les différents calculs obtenus. Nous avons prouvé à l'aide de PVS (Prototype Verification System) que cette parallélisation est correcte ; pour ce faire nous faisons une abstraction du programme par l'intermédiaire d'une spécification du prouveur PVS. Finalement nous expliquons comment PVS nous permet de trouver la post-condition nécessaire afin de coller les différentes sous-grilles pour garantir que le calcul parallèle est identique au calcul séquentiel.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B652 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00B652 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:couturier98b
|texte= Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve
}}
| This area was generated with Dilib version V0.6.33. |  |