Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

La conduite d'un raisonnement progressif pour la garantie de temps de réponse

Identifieur interne : 00D125 ( Main/Merge ); précédent : 00D124; suivant : 00D126

La conduite d'un raisonnement progressif pour la garantie de temps de réponse

Auteurs : A.-I. Mouaddib ; F. Charpillet ; Jean-Paul Haton [France]

Source :

RBID : CRIN:mouaddib94d

Abstract

La garantie de temps de réponse est la caractéristique, par excellence, la plus importante du temps réel. Hormis, les travaux de V. Lesser sur l'utilisation des approximations pour respecter les échéances et les travaux de Dean et Boddy sur les algorithmes anytime, la garantie de temps de réponse reste un problème rarement étudié. Dans notre papier, nous montrons la limite des techniques existantes et nous décrivons un modèle de raisonnement progressif appelé GREAT qui à son premier niveau de traitement, permet de garantir une solution approximative puis peut améliorer sa qualité à travers les autres niveaux. Ce modèle est contrôlé par la qualité de la solution et par le temps disponible. Ainsi l'affinement est poursuivi jusqu'à ce que la qualité de la solution soit suffisante ou le temps imparti soit totalement consommé. Nous décrivons aussi l'intégration de ce modèle dans un système multi-agents et son contrôle fondé sur un algorithme d'ordonnancement.

Links toward previous steps (curation, corpus...)


Links to Exploration step

CRIN:mouaddib94d

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr" wicri:score="-54">La conduite d'un raisonnement progressif pour la garantie de temps de réponse</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:mouaddib94d</idno>
<date when="1994" year="1994">1994</date>
<idno type="wicri:Area/Crin/Corpus">001412</idno>
<idno type="wicri:Area/Crin/Curation">001412</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001412</idno>
<idno type="wicri:Area/Crin/Checkpoint">002E28</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002E28</idno>
<idno type="wicri:Area/Main/Merge">00D125</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">La conduite d'un raisonnement progressif pour la garantie de temps de réponse</title>
<author>
<name sortKey="Mouaddib, A I" sort="Mouaddib, A I" uniqKey="Mouaddib A" first="A.-I." last="Mouaddib">A.-I. Mouaddib</name>
</author>
<author>
<name sortKey="Charpillet, F" sort="Charpillet, F" uniqKey="Charpillet F" first="F." last="Charpillet">F. Charpillet</name>
</author>
<author>
<name sortKey="Haton, J P" sort="Haton, J P" uniqKey="Haton J" first="J.-P." last="Haton">Jean-Paul Haton</name>
<affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="laboratoire" n="5">Laboratoire lorrain de recherche en informatique et ses applications</orgName>
<orgName type="university">Université de Lorraine</orgName>
<orgName type="institution">Centre national de la recherche scientifique</orgName>
<orgName type="institution">Institut national de recherche en informatique et en automatique</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass></textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr" wicri:score="-1167">La garantie de temps de réponse est la caractéristique, par excellence, la plus importante du temps réel. Hormis, les travaux de V. Lesser sur l'utilisation des approximations pour respecter les échéances et les travaux de Dean et Boddy sur les algorithmes anytime, la garantie de temps de réponse reste un problème rarement étudié. Dans notre papier, nous montrons la limite des techniques existantes et nous décrivons un modèle de raisonnement progressif appelé GREAT qui à son premier niveau de traitement, permet de garantir une solution approximative puis peut améliorer sa qualité à travers les autres niveaux. Ce modèle est contrôlé par la qualité de la solution et par le temps disponible. Ainsi l'affinement est poursuivi jusqu'à ce que la qualité de la solution soit suffisante ou le temps imparti soit totalement consommé. Nous décrivons aussi l'intégration de ce modèle dans un système multi-agents et son contrôle fondé sur un algorithme d'ordonnancement.</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 00D125 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00D125 | 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:mouaddib94d
   |texte=   La conduite d'un raisonnement progressif pour la garantie de temps de réponse
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022