Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

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.

Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques

Identifieur interne : 00D179 ( Main/Merge ); précédent : 00D178; suivant : 00D180

Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques

Auteurs : Y. Benkhellat

Source :

RBID : CRIN:benkhellat94d

English descriptors

Abstract

Le présent rapport traite de l'aspect temporel dans la vérification de l'interopérabilité. Dans cette étude, nous donnons un exemple de spécification pour vérifier l'interopérabilité temporelle liée au temps de retournement des implémentations. La spécification est inspirée de la technique développée par Parash Abdulla pour la vérification des circuits systoliques.

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

Links to Exploration step

CRIN:benkhellat94d

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr" wicri:score="-2">Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:benkhellat94d</idno>
<date when="1994" year="1994">1994</date>
<idno type="wicri:Area/Crin/Corpus">001421</idno>
<idno type="wicri:Area/Crin/Curation">001421</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001421</idno>
<idno type="wicri:Area/Crin/Checkpoint">002E82</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002E82</idno>
<idno type="wicri:Area/Main/Merge">00D179</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques</title>
<author>
<name sortKey="Benkhellat, Y" sort="Benkhellat, Y" uniqKey="Benkhellat Y" first="Y." last="Benkhellat">Y. Benkhellat</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>specification and validation</term>
<term>systolic circuit</term>
<term>temporal interoperability</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="fr" wicri:score="-735">Le présent rapport traite de l'aspect temporel dans la vérification de l'interopérabilité. Dans cette étude, nous donnons un exemple de spécification pour vérifier l'interopérabilité temporelle liée au temps de retournement des implémentations. La spécification est inspirée de la technique développée par Parash Abdulla pour la vérification des circuits systoliques.</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 00D179 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00D179 | 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:benkhellat94d
   |texte=   Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques
}}
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