skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Software Engineering remover assunto: Studies remover Software remover Computer Systems And Distributed Systems. User Interface remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Compositional Shape Analysis by Means of Bi-Abduction
Compositional Shape Analysis by Means of Bi-Abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional Shape Analysis by Means of Bi-Abduction

CALCAGNO, Cristiano ; DISTEFANO, Dino ; O'HEARN, Peter W ; YANG, Hongseok

Journal of the ACM, 2011-12, Vol.58 (6), p.1-66 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking
From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking

FAWZI, Omar ; HAYDEN, Patrick ; SEN, Pranab

Journal of the ACM, 2013-11, Vol.60 (6), p.1-61 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
Towards a Complexity Theory for Local Distributed Computing
Towards a Complexity Theory for Local Distributed Computing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a Complexity Theory for Local Distributed Computing

FRAIGNIAUD, Pierre ; KORMAN, Amos ; PELEG, David

Journal of the ACM, 2013-10, Vol.60 (5), p.1-26 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
New Techniques for Noninteractive Zero-Knowledge
New Techniques for Noninteractive Zero-Knowledge
Material Type:
Artigo 		Adicionar ao Meu Espaço

New Techniques for Noninteractive Zero-Knowledge

GROTH, Jens ; OSTROVSKY, Rafail ; SAHAI, Amit

Journal of the ACM, 2012-06, Vol.59 (3), p.1-35 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Lower Bounds for Local Approximation
Lower Bounds for Local Approximation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lower Bounds for Local Approximation

GOOS, Mika ; HIRVONEN, Juho ; SUOMELA, Jukka

Journal of the ACM, 2013-10, Vol.60 (5), p.1-23 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Learning to Distribute Vocabulary Indexing for Scalable Visual Search
Learning to Distribute Vocabulary Indexing for Scalable Visual Search
Material Type:
Artigo 		Adicionar ao Meu Espaço

Learning to Distribute Vocabulary Indexing for Scalable Visual Search

Ji, Rongrong ; Duan, Ling-Yu ; Chen, Jie ; Xie, Lexing ; Yao, Hongxun ; Gao, Wen

IEEE transactions on multimedia, 2013-01, Vol.15 (1), p.153-166 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
7
The Power of Simple Tabulation Hashing
The Power of Simple Tabulation Hashing
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Power of Simple Tabulation Hashing

PATRASCU, Mihai ; THORUP, Mikkel

Journal of the ACM, 2012-06, Vol.59 (3), p.1-50 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Material Type:
Artigo 		Adicionar ao Meu Espaço

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency

SEVCIK, Jaroslav ; VAFEIADIS, Viktor ; NARDELLI, Francesco Zappa ; JAGANNATHAN, Suresh ; SEWELL, Peter

Journal of the ACM, 2013-06, Vol.60 (3), p.1-50 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Graph Expansion and Communication Costs of Fast Matrix Multiplication
Graph Expansion and Communication Costs of Fast Matrix Multiplication
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph Expansion and Communication Costs of Fast Matrix Multiplication

BALLARD, Grey ; DEMMEL, James ; HOLTZ, Olga ; SCHWARTZ, Oded

Journal of the ACM, 2012-12, Vol.59 (6), p.1-23 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
Stable distributions, pseudorandom generators, embeddings, and data stream computation
Stable distributions, pseudorandom generators, embeddings, and data stream computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stable distributions, pseudorandom generators, embeddings, and data stream computation

INDYK, Piotr

Journal of the ACM, 2006-05, Vol.53 (3), p.307-323 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (190)
  2. magazinearticle  (131)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (9)
  2. 1993Até1996  (29)
  3. 1997Até2000  (79)
  4. 2001Até2007  (49)
  5. Após 2007  (156)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.