skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Elliptic Curve Scalar Multiplier Design Using FPGAs
Elliptic Curve Scalar Multiplier Design Using FPGAs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Elliptic Curve Scalar Multiplier Design Using FPGAs

Gao, Lijun ; Shrivastava, Sarvesh ; Sobelman, Gerald E.

Cryptographic Hardware and Embedded Systems, 1999, p.257-268 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
IPA: A New Class of Power Attacks
IPA: A New Class of Power Attacks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

IPA: A New Class of Power Attacks

Fahn, Paul N. ; Pearson, Peter K.

Cryptographic Hardware and Embedded Systems, 1999, p.173-186 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Circular Compositional Reasoning about Liveness
Circular Compositional Reasoning about Liveness
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Circular Compositional Reasoning about Liveness

McMillan, K. L.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Formal Verification of Designs with Complex Control by Symbolic Simulation
Formal Verification of Designs with Complex Control by Symbolic Simulation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formal Verification of Designs with Complex Control by Symbolic Simulation

Ritter, Gerd ; Eveking, Hans ; Hinrichsen, Holger

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
A Parallel Symbolic Computation Environment: Structures and Mechanics
A Parallel Symbolic Computation Environment: Structures and Mechanics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Parallel Symbolic Computation Environment: Structures and Mechanics

Matooane, ’Mantŝika ; Norman, Arthur

Euro-Par’99 Parallel Processing, 1999, p.1492-1495 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
JAMES: A Platform of Mobile Agents for the Management of Telecommunication Networks
JAMES: A Platform of Mobile Agents for the Management of Telecommunication Networks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

JAMES: A Platform of Mobile Agents for the Management of Telecommunication Networks

Silva, Luis Moura ; Simões, Paulo ; Soares, Guilherme ; Martins, Paulo ; Batista, Victor ; Renato, Carlos ; Almeida, Leonor ; Stohr, Norbert

Intelligent Agents for Telecommunication Applications, 1999, p.76-95 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Modelling the Crypto-Processor from Design to Synthesis
Modelling the Crypto-Processor from Design to Synthesis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modelling the Crypto-Processor from Design to Synthesis

Choi, W. P. ; Cheng, L. M.

Cryptographic Hardware and Embedded Systems, 1999, p.25-36 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Probing Attacks On Tamper-Resistant Devices
Probing Attacks On Tamper-Resistant Devices
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Probing Attacks On Tamper-Resistant Devices

Handschuh, Helena ; Paillier, Pascal ; Stern, Jacques

Cryptographic Hardware and Embedded Systems, 1999, p.303-315 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Integrating Service and Network Management Components for Service Fulfilment
Integrating Service and Network Management Components for Service Fulfilment
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Integrating Service and Network Management Components for Service Fulfilment

Lewis, David ; Malbon, Chris ; Pavlou, George ; Stathopoulos, Costas ; Villoldo, Enric Jaen

Active Technologies for Network and Service Management, 1999, p.49-62 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors
Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors

Xu, Y. ; Cerny, E. ; Silburt, A. ; Coady, A. ; Liu, Y. ; Pownall, P.

Correct Hardware Design and Verification Methods, 1999, p.110-124 [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. Revistas revisadas por pares (133)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (1)
  2. 1999Até1999  (51)
  3. 2000Até2000  (3)
  4. 2001Até2002  (55)
  5. Após 2002  (28)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (10)
  2. Francês  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.