Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The "millipede" - nanotechnology entering data storageVettiger, P. ; Cross, G. ; Despont, M. ; Drechsler, U. ; Durig, U. ; Gotsmann, B. ; Haberle, W. ; Lantz, M.A. ; Rothuizen, H.E. ; Stutz, R. ; Binnig, G.K.IEEE transactions on nanotechnology, 2002-03, Vol.1 (1), p.39-55 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Fast exact minimization of BDD'sDrechsler, R. ; Drechsler, N. ; Gunther, W.IEEE transactions on computer-aided design of integrated circuits and systems, 2000-03, Vol.19 (3), p.384-389 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Using lower bounds during dynamic BDD minimizationDrechsler, R. ; Gunther, W. ; Somenzi, F.IEEE transactions on computer-aided design of integrated circuits and systems, 2001-01, Vol.20 (1), p.51-57 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
An improved branch and bound algorithm for exact BDD minimizationEbendt, R. ; Gunther, W. ; Drechsler, R.IEEE transactions on computer-aided design of integrated circuits and systems, 2003-12, Vol.22 (12), p.1657-1663 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Reversible Logic Synthesis with Output PermutationWille, R. ; Grosse, D. ; Dueck, G.W. ; Drechsler, R.2009 22nd International Conference on VLSI Design, 2009, p.189-194IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
Efficient minimization and manipulation of linearly transformed binary decision diagramsGunther, W. ; Drechsler, R.IEEE transactions on computers, 2003-09, Vol.52 (9), p.1196-1209 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Fast exact minimization of BDDsDrechsler, Rolf ; Drechsler, Nicole ; Günther, WolfgangAnnual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998, 1998, p.200-205ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Verification of designs containing black boxesGunther, W. ; Drechsler, N. ; Drechsler, R. ; Becker, B.Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future, 2000, Vol.1, p.100-105 vol.1IEEETexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Combination of Lower Bounds in Exact BDD MinimizationEbendt, Rudiger ; Gunther, Wolfgang ; Drechsler, Rolf2003 Design, Automation and Test in Europe Conference and Exhibition, 2003, Vol.1, p.10758-763IEEE Computer SocietyTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Lower bound sifting for MDDsJankovic, D. ; Gunther, W. ; Drechsler, R.Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2000, p.193-198IEEETexto completo disponível |