skip to main content
Idioma:
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover Science Citation Index Expanded (Web of Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

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
2
TensorFlow: learning functions at scale
TensorFlow: learning functions at scale
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TensorFlow: learning functions at scale

Abadi, Martín

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.1-1

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol

Abdulla, Parosh ; Annichini, Aurore ; Bouajjani, Ahmed

Lecture notes in computer science, 1999, p.208-222 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
On-the-fly analysis of systems with unbounded, lossy FIFO channels
On-the-fly analysis of systems with unbounded, lossy FIFO channels
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On-the-fly analysis of systems with unbounded, lossy FIFO channels

Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Jonsson, Bengt

Computer Aided Verification, 1998, p.305-318 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Delegation Chains Secure Up to Constant Length
Delegation Chains Secure Up to Constant Length
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Delegation Chains Secure Up to Constant Length

Abe, Masayuki ; Okamoto, Tatsuaki

Information and Communication Security, 1999, p.144-156 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model
Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model

Adamopoulos, Dionisis X. ; Pavlou, George ; Papandreou, Constantine A.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Universal Access Through Client-Centred Cognitive Assessment and Personality Profiling
Universal Access Through Client-Centred Cognitive Assessment and Personality Profiling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Universal Access Through Client-Centred Cognitive Assessment and Personality Profiling

Adams, Ray

Lecture notes in computer science, 2004, p.3-15 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Using CoDeL to Rapidly Prototype Network Processsor Extensions
Using CoDeL to Rapidly Prototype Network Processsor Extensions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using CoDeL to Rapidly Prototype Network Processsor Extensions

Agarwal, Nainesh ; Dimopoulos, Nikitas J.

Computer Systems: Architectures, Modeling, and Simulation, 2004, p.333-342 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
The EM side-channel(s)
The EM side-channel(s)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The EM side-channel(s)

AGRAWAL, Dakshi ; ARCHAMBEAULT, Bruce ; RAO, Josyula R ; ROHATGI, Pankaj

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

Berlin: Springer

Texto completo disponível

Citações Citado por
10
Secure mobile computing
Secure mobile computing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Secure mobile computing

AGRAWAL, Dharma P ; HONGMEI DENG ; POOSARLA, Rajani ; SANYAL, Sugata

Lecture notes in computer science, 2003, p.265-278 [Periódico revisado por pares]

Berlin: Springer

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 (1.542)

Data de Publicação 

De até
Refinar
  1. Antes de1994  (6)
  2. 1994Até1999  (233)
  3. 2000Até2003  (787)
  4. 2004Até2011  (532)
  5. Após 2011  (45)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (27)
  2. Russo  (3)
  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.