skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library Complete remover assunto: Computer Science; Control Theory; Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the (Im)possibility of Obfuscating Programs
On the (Im)possibility of Obfuscating Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the (Im)possibility of Obfuscating Programs

BARAK, Boaz ; GOLDREICH, Oded ; IMPAGLIAZZO, Russell ; RUDICH, Steven ; SAHAI, Amit ; VADHAN, Salil ; KE YANG

Journal of the ACM, 2012-04, Vol.59 (2), p.1-48 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
On Lattices, Learning with Errors, Random Linear Codes, and Cryptography
On Lattices, Learning with Errors, Random Linear Codes, and Cryptography
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Lattices, Learning with Errors, Random Linear Codes, and Cryptography

REGEV, Oded

Journal of the ACM, 2009-09, Vol.56 (6), p.1-40 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
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
4
Comprehensive Formal Verification of an OS Microkernel
Comprehensive Formal Verification of an OS Microkernel
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comprehensive Formal Verification of an OS Microkernel

KLEIN, Gerwin ; ANDRONICK, June ; ELPHINSTONE, Kevin ; MURRAY, Toby ; SEWELL, Thomas ; KOLANSKI, Rafal ; HEISER, Gernot

ACM transactions on computer systems, 2014-02, Vol.32 (1), p.1-70 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses
Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses
Material Type:
Artigo 		Adicionar ao Meu Espaço

Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses

DELL, Holger ; VAN MELKEBEEK, Dieter

Journal of the ACM, 2014-07, Vol.61 (4), p.1-27 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Synthesis and Optimization of Reversible Circuits—A Survey
Synthesis and Optimization of Reversible Circuits—A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis and Optimization of Reversible Circuits—A Survey

SAEEDI, Mehdi ; MARKOV, Igor L

ACM computing surveys, 2013-02, Vol.45 (2), p.1-34 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Game Theory Meets Network Security and Privacy
Game Theory Meets Network Security and Privacy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Game Theory Meets Network Security and Privacy

MOHAMMAD HOSSEIN MANSHAEI ; QUANYAN ZHU ; ALPCAN, Tansu ; BASAR, Tamer ; HUBAUX, Jean-Pierre

ACM computing surveys, 2013-06, Vol.45 (3), p.1-39 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Cross-Disciplinary Perspectives on Meta-Learning for Algorithm Selection
Cross-Disciplinary Perspectives on Meta-Learning for Algorithm Selection
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cross-Disciplinary Perspectives on Meta-Learning for Algorithm Selection

SMITH-MILES, Kate A

ACM computing surveys, 2008-12, Vol.41 (1), p.1-25 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes
Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes

GURUSWAMI, Venkatesan ; UMANS, Christopher ; VADHAN, Salil

Journal of the ACM, 2009-06, Vol.56 (4), p.1-34 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
Precise analysis of string expressions
Precise analysis of string expressions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Precise analysis of string expressions

Christensen, Aske Simon ; Møller, Anders ; Schwartzbach, Michael I. Cousot, Radhia

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

Berlin, Heidelberg: Springer-Verlag

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.943)
  2. Anais de Congresso  (3.074)
  3. magazinearticle  (1.955)
  4. Book Chapters  (47)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (899)
  2. 1988Até1993  (1.284)
  3. 1994Até1999  (1.762)
  4. 2000Até2006  (3.214)
  5. Após 2006  (4.894)
  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.