Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « T. Theobald »
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.
T. T. Nguyen < T. Theobald < T. Trang Nguyen  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
000C89 (2000) Christoph Meinel [Allemagne] ; F. Somenzi ; T. TheobaldLinear sifting of decision diagrams and its application in synthesis
000D72 (1999) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
001028 (1997) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
001200 (1996) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Fonction booléenne
2Automate fini
2Optimisation
2Structure donnée
1Algorithme
1Algèbre matricielle
1Analyse spectre
1Circuit combinatoire
1Circuit intégré
1Codage
1Code Gray
1Complexité
1Conception assistée
1Diagramme binaire décision
1Diagramme état
1Démonstration automatique
1Etude expérimentale
1Expérience
1Génie logiciel
1Implémentation
1Informatique théorique
1Logique mathématique
1Machine état fini
1Méthode formelle
1OBDD
1Ordered binary decision diagram
1Paramètre optimization
1Relation transition
1Switching function
1Système dynamique
1Système expert
1Théorie automate
1Transformation mathématique
1Vérification
1XOR-tranformation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "T. Theobald" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "T. Theobald" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    T. Theobald
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024