skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science; Control Theory; Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying a logic-synthesis algorithm and implementation: a case study in software verification

Aagaard, M. ; Leeser, M.

IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
2
A Hazards-Based Correctness Statement for Pipelined Circuits
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D. Geist, Daniel ; Tronci, Enrico

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Combining Equivalence Verification and Completion Functions
Combining Equivalence Verification and Completion Functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Combining Equivalence Verification and Completion Functions

Aagaard, Mark D. ; Ciubotariu, Vlad C. ; Higgins, Jason T. ; Khalvati, Farzad Martin, Andrew K. ; Hu, Alan J.

Formal Methods in Computer-Aided Design, 2004, p.98-112 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
A framework for superscalar microprocessor correctness statements
A framework for superscalar microprocessor correctness statements
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for superscalar microprocessor correctness statements

AAGAARD, Mark D ; COOK, Byron ; DAY, Nancy A ; JONES, Robert B

International journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.298-312 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
Synchronization-at-Retirement for Pipeline Verification
Synchronization-at-Retirement for Pipeline Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synchronization-at-Retirement for Pipeline Verification

Aagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B. Martin, Andrew K. ; Hu, Alan J.

Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.

Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
A methodology for large-scale hardware verification
A methodology for large-scale hardware verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A methodology for large-scale hardware verification

AAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan H

Lecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving

Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, Thomas

Correct Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Modelling QoS: Towards a UML Profile
Modelling QoS: Towards a UML Profile
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modelling QoS: Towards a UML Profile

Aagedal, Jan Øyvind ; Ecklund, Earl F. Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-Marc

Lecture notes in computer science, 2002, p.275-289 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Linking Information with Distributed Objects
Linking Information with Distributed Objects
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Linking Information with Distributed Objects

Aalberg, Trond Sølvberg, Ingeborg T. ; Constantopoulos, Panos

Lecture notes in computer science, 2001, p.149-160 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (96.700)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (73.170)
  2. Anais de Congresso  (35.639)
  3. Book Chapters  (7.787)
  4. magazinearticle  (2.734)
  5. Livros  (592)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (5.083)
  2. 1988Até1994  (10.827)
  3. 1995Até2001  (26.787)
  4. 2002Até2009  (50.961)
  5. Após 2009  (27.938)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (6.717)
  2. Francês  (16)
  3. Alemão  (13)
  4. Português  (11)
  5. Chinês  (10)
  6. Espanhol  (3)
  7. Coreano  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.