skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science; Control Theory; Systems remover Applied Sciences 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.

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
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
4
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
5
Trespass, nuisance, and spam: 11th century common law meets the internet
Trespass, nuisance, and spam: 11th century common law meets the internet
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Trespass, nuisance, and spam: 11th century common law meets the internet

Aalberts, Robert ; Poon, Percy ; Thistle, Paul

Communications of the ACM, 2007-12, Vol.50 (12), p.40-45

New York, NY: ACM

Texto completo disponível

Citações Citado por
6
Design of an arabic programming language (ARABLAN)
Design of an arabic programming language (ARABLAN)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of an arabic programming language (ARABLAN)

Al-A'Ali, Mansoor ; Hamid, Mohammed

Computer languages, 1995-10, Vol.21 (3), p.191-201

Oxford: Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting

ARAUJO, Ricardo de A

Neural processing letters, 2013-06, Vol.37 (3), p.303-333 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
8
Dynamic control of sliding by robot hands for regrasping
Dynamic control of sliding by robot hands for regrasping
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic control of sliding by robot hands for regrasping

Cole, A.A. ; Hsu, P. ; Sastry, S.S.

IEEE transactions on robotics and automation, 1992-02, Vol.8 (1), p.42-52

NEW YORK: IEEE

Texto completo disponível

Citações Citado por
9
A cognitive science approach to metametric fuzziness
A cognitive science approach to metametric fuzziness
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A cognitive science approach to metametric fuzziness

Das, A.

Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283), 2002, p.432-436

Piscataway NJ: IEEE

Texto completo disponível

Citações Citado por
10
SWIM: scalable weakly-consistent infection-style process group membership protocol
SWIM: scalable weakly-consistent infection-style process group membership protocol
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SWIM: scalable weakly-consistent infection-style process group membership protocol

Das, A. ; Gupta, I. ; Motivala, A.

Proceedings International Conference on Dependable Systems and Networks, 2002, p.303-312

Los Alamitos CA: IEEE

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (103.979)
  2. Revistas revisadas por pares (91.902)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (83.157)
  2. Anais de Congresso  (26.170)
  3. Book Chapters  (4.641)
  4. magazinearticle  (2.386)
  5. Livros  (444)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (6.288)
  2. 1988Até1994  (13.249)
  3. 1995Até2001  (23.688)
  4. 2002Até2009  (47.606)
  5. Após 2009  (26.422)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (9.183)
  2. Português  (16)
  3. Francês  (14)
  4. Chinês  (10)
  5. Espanhol  (6)
  6. Coreano  (4)
  7. Alemão  (2)
  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.