skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Binary Decision Diagrams remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Binary Decision Diagrams
Binary Decision Diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Binary Decision Diagrams

Akers

IEEE transactions on computers, 1978-06, Vol.C-27 (6), p.509-516 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
2
Synthesis of Ternary Logic Circuits Using 2:1 Multiplexers
Synthesis of Ternary Logic Circuits Using 2:1 Multiplexers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis of Ternary Logic Circuits Using 2:1 Multiplexers

Vudadha, Chetan ; Surya, Ajay ; Agrawal, Saurabh ; Srinivas, M. B.

IEEE transactions on circuits and systems. I, Regular papers, 2018-12, Vol.65 (12), p.4313-4325 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
BDD-based synthesis of reversible logic for large functions
BDD-based synthesis of reversible logic for large functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

BDD-based synthesis of reversible logic for large functions

Wille, Robert ; Drechsler, Rolf

2009 46th ACM/IEEE Design Automation Conference, 2009, p.270-275

ACM

Texto completo disponível

Citações Citado por
4
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams

Huang, Xuanxiang ; Che, Haipeng ; Fang, Liangda ; Chen, Qingliang ; Guan, Quanlong ; Deng, Yuhui ; Su, Kaile

2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2020, p.1-9

Association on Computer Machinery

Texto completo disponível

Citações Citado por
5
Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems

Shrestha, A. ; Liudong Xing ; Yuanshun Dai

IEEE transactions on reliability, 2010-03, Vol.59 (1), p.145-161 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials

Ito, Akira ; Ueno, Rei ; Homma, Naofumi

IEEE transactions on computer-aided design of integrated circuits and systems, 2022-03, Vol.41 (3), p.794-798 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators

Abdalhaq, Baker K ; Awad, Ahmed ; Hawash, Amjad

IEEE access, 2020, Vol.8, p.156001-156016 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
8
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Bryant, Randal E.

Journal of automated reasoning, 2020-10, Vol.64 (7), p.1361-1391 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
9
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond

van Benthem, Johan ; van Eijck, Jan ; Gattinger, Malvin ; Su, Kaile

Journal of logic and computation, 2018-03, Vol.28 (2), p.367-402 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
An extension of first-order LTL with rules with application to runtime verification
An extension of first-order LTL with rules with application to runtime verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

An extension of first-order LTL with rules with application to runtime verification

Havelund, Klaus ; Peled, Doron

International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.547-563 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (505)
  2. Revistas revisadas por pares (123)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (395)
  2. Artigos  (118)
  3. Book Chapters  (14)
  4. Standards  (1)
  5. Reports  (1)
  6. Resenhas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (25)
  2. 1992Até1998  (157)
  3. 1999Até2005  (174)
  4. 2006Até2013  (114)
  5. Após 2013  (63)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.