skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Very Large Scale Integration remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The "millipede" - nanotechnology entering data storage
Material Type:
Artigo
Adicionar ao Meu Espaço

The "millipede" - nanotechnology entering data storage

Vettiger, 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: IEEE

Texto completo disponível

2
Fast exact minimization of BDD's
Material Type:
Artigo
Adicionar ao Meu Espaço

Fast exact minimization of BDD's

Drechsler, 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: IEEE

Texto completo disponível

3
Using lower bounds during dynamic BDD minimization
Material Type:
Artigo
Adicionar ao Meu Espaço

Using lower bounds during dynamic BDD minimization

Drechsler, 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: IEEE

Texto completo disponível

4
An improved branch and bound algorithm for exact BDD minimization
Material Type:
Artigo
Adicionar ao Meu Espaço

An improved branch and bound algorithm for exact BDD minimization

Ebendt, 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: IEEE

Texto completo disponível

5
Reversible Logic Synthesis with Output Permutation
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Reversible Logic Synthesis with Output Permutation

Wille, R. ; Grosse, D. ; Dueck, G.W. ; Drechsler, R.

2009 22nd International Conference on VLSI Design, 2009, p.189-194

IEEE

Texto completo disponível

6
Efficient minimization and manipulation of linearly transformed binary decision diagrams
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient minimization and manipulation of linearly transformed binary decision diagrams

Gunther, W. ; Drechsler, R.

IEEE transactions on computers, 2003-09, Vol.52 (9), p.1196-1209 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

7
Fast exact minimization of BDDs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Fast exact minimization of BDDs

Drechsler, Rolf ; Drechsler, Nicole ; Günther, Wolfgang

Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998, 1998, p.200-205

ACM

Texto completo disponível

8
Verification of designs containing black boxes
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Verification of designs containing black boxes

Gunther, 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.1

IEEE

Texto completo disponível

9
Combination of Lower Bounds in Exact BDD Minimization
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Combination of Lower Bounds in Exact BDD Minimization

Ebendt, Rudiger ; Gunther, Wolfgang ; Drechsler, Rolf

2003 Design, Automation and Test in Europe Conference and Exhibition, 2003, Vol.1, p.10758-763

IEEE Computer Society

Texto completo disponível

10
Lower bound sifting for MDDs
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Lower bound sifting for MDDs

Jankovic, D. ; Gunther, W. ; Drechsler, R.

Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2000, p.193-198

IEEE

Texto completo disponível

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5)

Buscando em bases de dados remotas. Favor aguardar.