Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

marchand94

H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Research Report Irisa, No 797, March 1994.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

Dans ce rapport, nous allons étudier le problème de la représentation des formes polynomiales sous forme de graphes de décisions ternaires typés : TDD typés. Après avoir présenté brièvement les travaux antérieurs sur les TDD (ternary decision diagram), nous allons montrer comment il est possible de typer ces TDD tout en s'attachant à conserver la canonicité de ceux ci. On proposera ensuite une étude comparative entre les deux modes de représentations. Cette étude permettra de montrer l'interêt du typage à l'aide de permutations pour les fonctions polynomiales de base. On verra par la suite différentes méthodes visant à améliorer la représentation en mémoire des TDD

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@TechReport{marchand94,
   Author = {Marchand, H. and Le Borgne, M.},
   Title = {Typage des graphes de décisions ternaires},
   Number = {797},
   Institution = {Irisa},
   Month = {March},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs