Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « real time »
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.
real solving < real time < real time communication  Facettes :

List of bibliographic references indexed by real time

Number of relevant bibliographic references: 57.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
004081 (2008-03) Françoise Simonot-Lion [France]Interoperability issues on the design of safe in-vehicle embedded systems
005A72 (2005-03-24) Cédric Wilwert [France]Influence of transient faults and real-time performances on X-by-Wire systems safety
006704 (2004) Mouna BenaissaAjustement dynamique du délai de présentation des paquets pour le transport de la voix dans les réseaux ad hoc
006921 (2004) Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-LionA contribution to the validation of complex real-time systems
006993 (2004) Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-LionA behavior model for IEC 61499 function blocks
007101 (2004) Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]A contribution to the validation of complex real-time systems
007105 (2004) Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]A behavior model for IEC 61499 function blocks
007338 (2003) Françoise Simonot-LionArchitectures Embarquées dans l'automobile : comment assurer leur sûreté ?
007380 (2003) Mohamed KhalguiVérification de propriétés temporelles complexes
007384 (2003) Modélisation des systèmes réactifs
007433 (2003) Fabrice JumelDéfinition et Gestion d'une qualité de service pour les applications temps réel
007621 (2003) Fabrice Jumel ; Françoise Simonot-LionManagement of «anytime» tasks in «real time» applications
007705 (2003) Françoise Simonot-LionIn car embedded electronic architectures : how to ensure their safety
007B95 (2003) Mohamed Khalgui [France]Vérification de propriétés temporelles complexes
007D91 (2003) Fabrice Jumel [France] ; Françoise Simonot-Lion [France]Management of anytime tasks in real time applications
008114 (2002) Ye Qiong SongEthernet commuté pour applications temps réel
008182 (2002) Gilles Simon ; Marie-Odile BergerRecalage temporel d'une structure plane par morceaux : application à la Réalité Augmentée temps réel
008292 (2002) Gilles Simon ; Marie-Odile BergerPose Estimation for Planar Structures
008465 (2002) Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Santos MarquesFormal Method for Timed Tests Sequences Generation
008525 (2002) Gilles Simon ; Marie-Odile BergerReconstructing while registering : a novel approach for markerless augmented reality
008803 (2002) Françoise Simonot-Lion [France] ; Laurent Kaiser [France] ; Ricardo Santos Marques [France]Formal Method for Timed Tests Sequences Generation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "real time" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "real time" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    real time
}}

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