Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Gziped Postscript (.ps.gz)
Copyright noticeThis 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.
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.
Hervé Marchand
hmarchan@irisa.fr
@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}
}
Get EndNote Reference (.ref)