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.

Politiques (m,k)-firm et combinatoire des mots

Identifieur interne : 004B82 ( Hal/Checkpoint ); précédent : 004B81; suivant : 004B83

Politiques (m,k)-firm et combinatoire des mots

Auteurs : Ning Jia [France]

Source :

RBID : Hal:inria-00100119

English descriptors

Abstract

Dans ce papier, nous étudions les problèmes liés à l'ordonnançabilité temps réel d'ensembles de tâches dites sous contraintes (m,k). Ces ordonnancements seront effectués à partir de mots représentant les décisions appelés patterns. Dans un premier temps, nous allons montrer que les patterns introduits dans la littérature se caractérisent sous la forme de mots spécifiques, les mots sturmiens. Puis en considérant les défauts de ces patterns, nous proposons une nouvelle technique pour déterminer les patterns des tâches. Les résultats expérimentaux vont montrer que notre approche permet une amélioration des conditions d'ordonnançabilité. Enfin, nous nous intéressons à l'ordonnançabilité en prenant en compte un critère supplémentaire : l'ordonnançabilité du trafic à contraintes temps réel souple. || In this paper, we study the problem of scheduling task sets with (m,k) constraints of real-time systems. The real-time scheduling will be carried out from the words representing the decisions and called (m,k) patterns. First, we will show that the pattern

Url:

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


Links to Exploration step

Hal:inria-00100119

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr">Politiques (m,k)-firm et combinatoire des mots</title>
<author>
<name sortKey="Jia, Ning" sort="Jia, Ning" uniqKey="Jia N" first="Ning" last="Jia">Ning Jia</name>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2406" status="OLD">
<idno type="RNSR">200218298K</idno>
<orgName>Real time and interoperability</orgName>
<orgName type="acronym">TRIO</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/trio</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00100119</idno>
<idno type="halId">inria-00100119</idno>
<idno type="halUri">https://hal.inria.fr/inria-00100119</idno>
<idno type="url">https://hal.inria.fr/inria-00100119</idno>
<date when="2004">2004</date>
<idno type="wicri:Area/Hal/Corpus">006309</idno>
<idno type="wicri:Area/Hal/Curation">006309</idno>
<idno type="wicri:Area/Hal/Checkpoint">004B82</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">004B82</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Politiques (m,k)-firm et combinatoire des mots</title>
<author>
<name sortKey="Jia, Ning" sort="Jia, Ning" uniqKey="Jia N" first="Ning" last="Jia">Ning Jia</name>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2406" status="OLD">
<idno type="RNSR">200218298K</idno>
<orgName>Real time and interoperability</orgName>
<orgName type="acronym">TRIO</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/trio</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="mix" xml:lang="en">
<term>(m</term>
<term>Sturmian word</term>
<term>contrainte (m</term>
<term>k)-firm</term>
<term>k)-firm constraint</term>
<term>mot de Sturm</term>
<term>ordonnancement temps réel</term>
<term>real-time scheduling</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr">Dans ce papier, nous étudions les problèmes liés à l'ordonnançabilité temps réel d'ensembles de tâches dites sous contraintes (m,k). Ces ordonnancements seront effectués à partir de mots représentant les décisions appelés patterns. Dans un premier temps, nous allons montrer que les patterns introduits dans la littérature se caractérisent sous la forme de mots spécifiques, les mots sturmiens. Puis en considérant les défauts de ces patterns, nous proposons une nouvelle technique pour déterminer les patterns des tâches. Les résultats expérimentaux vont montrer que notre approche permet une amélioration des conditions d'ordonnançabilité. Enfin, nous nous intéressons à l'ordonnançabilité en prenant en compte un critère supplémentaire : l'ordonnançabilité du trafic à contraintes temps réel souple. || In this paper, we study the problem of scheduling task sets with (m,k) constraints of real-time systems. The real-time scheduling will be carried out from the words representing the decisions and called (m,k) patterns. First, we will show that the pattern</div>
</front>
</TEI>
<hal api="V3">
<titleStmt>
<title xml:lang="fr">Politiques (m,k)-firm et combinatoire des mots</title>
<author role="aut">
<persName>
<forename type="first">Ning</forename>
<surname>Jia</surname>
</persName>
<email>jia@loria.fr</email>
<idno type="halauthor">131356</idno>
<orgName ref="#struct-364480"></orgName>
<affiliation ref="#struct-2406"></affiliation>
</author>
<editor role="depositor">
<persName>
<forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</editor>
</titleStmt>
<editionStmt>
<edition n="v1" type="current">
<date type="whenSubmitted">2006-09-26 10:14:17</date>
<date type="whenModified">2016-05-19 01:09:05</date>
<date type="whenReleased">2006-09-28 15:22:47</date>
<date type="whenProduced">2004</date>
</edition>
<respStmt>
<resp>contributor</resp>
<name key="108626">
<persName>
<forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt>
<distributor>CCSD</distributor>
<idno type="halId">inria-00100119</idno>
<idno type="halUri">https://hal.inria.fr/inria-00100119</idno>
<idno type="halBibtex">jia:inria-00100119</idno>
<idno type="halRefHtml">[Stage] A04-R-411 || jia04a, 2004</idno>
<idno type="halRef">[Stage] A04-R-411 || jia04a, 2004</idno>
</publicationStmt>
<seriesStmt>
<idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="LORIA-NSS" p="LORIA">Réseaux, systèmes et services</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
<idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno>
</seriesStmt>
<notesStmt>
<note type="commentary">Stage de DEA. Rapport de stage.</note>
<note type="audience" n="0">Not set</note>
<note type="report" n="5">Intership report</note>
</notesStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Politiques (m,k)-firm et combinatoire des mots</title>
<author role="aut">
<persName>
<forename type="first">Ning</forename>
<surname>Jia</surname>
</persName>
<email>jia@loria.fr</email>
<idno type="halAuthorId">131356</idno>
<orgName ref="#struct-364480"></orgName>
<affiliation ref="#struct-2406"></affiliation>
</author>
</analytic>
<monogr>
<idno type="reportNumber">A04-R-411 || jia04a</idno>
<imprint>
<date type="datePub">2004</date>
</imprint>
</monogr>
</biblStruct>
</sourceDesc>
<profileDesc>
<langUsage>
<language ident="fr">French</language>
</langUsage>
<textClass>
<keywords scheme="author">
<term xml:lang="en">ordonnancement temps réel</term>
<term xml:lang="en">Sturmian word</term>
<term xml:lang="en">real-time scheduling</term>
<term xml:lang="en">(m</term>
<term xml:lang="en">k)-firm constraint</term>
<term xml:lang="en">contrainte (m</term>
<term xml:lang="en">k)-firm</term>
<term xml:lang="en">mot de Sturm</term>
</keywords>
<classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
<classCode scheme="halTypology" n="REPORT">Reports</classCode>
</textClass>
<abstract xml:lang="fr">Dans ce papier, nous étudions les problèmes liés à l'ordonnançabilité temps réel d'ensembles de tâches dites sous contraintes (m,k). Ces ordonnancements seront effectués à partir de mots représentant les décisions appelés patterns. Dans un premier temps, nous allons montrer que les patterns introduits dans la littérature se caractérisent sous la forme de mots spécifiques, les mots sturmiens. Puis en considérant les défauts de ces patterns, nous proposons une nouvelle technique pour déterminer les patterns des tâches. Les résultats expérimentaux vont montrer que notre approche permet une amélioration des conditions d'ordonnançabilité. Enfin, nous nous intéressons à l'ordonnançabilité en prenant en compte un critère supplémentaire : l'ordonnançabilité du trafic à contraintes temps réel souple. || In this paper, we study the problem of scheduling task sets with (m,k) constraints of real-time systems. The real-time scheduling will be carried out from the words representing the decisions and called (m,k) patterns. First, we will show that the pattern</abstract>
</profileDesc>
</hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004B82 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 004B82 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    RBID
   |clé=     Hal:inria-00100119
   |texte=   Politiques (m,k)-firm et combinatoire des mots
}}

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