skip to main content
Idioma:
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps
Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps
Material Type:
Newsletter Articles 		Adicionar ao Meu Espaço

Army Conducts FVL Technology Analysis, Contractors Writing Early Software Apps

46

Helicopter News, 2014

Potomac: Access Intelligence, LLC

Texto completo disponível

Citações Citado por
2
Impact of Denial of Service Attacks on Ad Hoc Networks
Impact of Denial of Service Attacks on Ad Hoc Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impact of Denial of Service Attacks on Ad Hoc Networks

Aad, I. ; Hubaux, J.-P. ; Knightly, E.W.

IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
On adaptability issues of networked service systems
On adaptability issues of networked service systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On adaptability issues of networked service systems

Aagesen, F. A. ; Thongtra, P.

2012 Second International Conference on Digital Information and Communication Technology and it's Applications (DICTAP), 2012, p.277-282

IEEE

Texto completo disponível

Citações Citado por
7
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 J ; POON, Percy S ; THISTLE, Paul D

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

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
The threat of long-arm jurisdiction to electronic commerce
The threat of long-arm jurisdiction to electronic commerce
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

The threat of long-arm jurisdiction to electronic commerce

Aalberts, Robert J ; Townsend, Anthony M ; Whitman, Michael E

Communications of the ACM, 1998-12, Vol.41 (12), p.15-20

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Beyond processor sharing
Beyond processor sharing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Beyond processor sharing

Aalto, Samuli ; Ayesta, Urtzi ; Borst, Sem ; Misra, Vishal ; Núñez-Queija, Rudesindo

Performance evaluation review, 2007-03, Vol.34 (4), p.36-43

Texto completo disponível

Citações Citado por
10
Hardware Support for Prescient Instruction Prefetch
Hardware Support for Prescient Instruction Prefetch
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Hardware Support for Prescient Instruction Prefetch

Aamodt, T.M. ; Chow, P. ; Hammarlund, P. ; Wang, Hong ; Shen, J.P.

10th International Symposium on High Performance Computer Architecture (HPCA'04), 2004, p.84-84

Los Alamitos CA: IEEE

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (30.713)
  2. Anais de Congresso  (7.169)
  3. magazinearticle  (4.909)
  4. Book Chapters  (664)
  5. Newsletter Articles  (160)
  6. Livros  (155)
  7. Resenhas  (124)
  8. Artigos de Jornal  (27)
  9. Dissertações  (20)
  10. Reports  (11)
  11. Standards  (8)
  12. Conjunto de Dados  (7)
  13. Verbetes  (7)
  14. Recursos Textuais  (2)
  15. Produções Acadêmicas  (1)
  16. Web Resources  (1)
  17. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (81)
  2. 1964Até1978  (180)
  3. 1979Até1993  (4.593)
  4. 1994Até2009  (17.383)
  5. Após 2009  (22.007)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (43.831)
  2. Japonês  (8.049)
  3. Espanhol  (98)
  4. Português  (79)
  5. Chinês  (52)
  6. Alemão  (18)
  7. Francês  (14)
  8. Catalão  (10)
  9. Russo  (8)
  10. Letão  (5)
  11. Norueguês  (4)
  12. Italiano  (3)
  13. Africâner  (3)
  14. Tcheco  (1)
  15. Árabe  (1)
  16. Indonésio  (1)
  17. Ucraniano  (1)
  18. Sueco  (1)
  19. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.