skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Convex optimization in Julia
Convex optimization in Julia
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Convex optimization in Julia

Udell, Madeleine ; Mohan, Karanveer ; Zeng, David ; Hong, Jenny ; Diamond, Steven ; Boyd, Stephen

2014 First Workshop for High Performance Technical Computing in Dynamic Languages, 2014, p.18-28

Piscataway, NJ, USA: IEEE Press

Texto completo disponível

Citações Citado por
2
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics

Durrett, Greg ; Neumann, Frank ; O'Reilly, Una-May

Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms, 2011, p.69-80

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Bottom-k and priority sampling, set similarity and subset sums with minimal independence
Bottom-k and priority sampling, set similarity and subset sums with minimal independence
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Bottom-k and priority sampling, set similarity and subset sums with minimal independence

Thorup, Mikkel

Proceedings of the forty-fifth annual ACM symposium on Theory of Computing, 2013, p.371-380 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
A foundation for GADTs and inductive families: dependent polynomial functor approach
A foundation for GADTs and inductive families: dependent polynomial functor approach
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A foundation for GADTs and inductive families: dependent polynomial functor approach

Hamana, Makoto ; Fiore, Marcelo

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011, p.59-70

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Epistemic temporal logic for information flow security
Epistemic temporal logic for information flow security
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Epistemic temporal logic for information flow security

Balliu, Musard ; Dam, Mads ; Le Guernic, Gurvan

In proc. of th 4e ACM SIGPLAN workshop on Programming Languages and Analysis for Security, 2011, p.1-12

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Efficient parallel programming in Poly/ML and Isabelle/ML
Efficient parallel programming in Poly/ML and Isabelle/ML
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient parallel programming in Poly/ML and Isabelle/ML

Matthews, David C.J. ; Wenzel, Makarius

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, 2010, p.53-62

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Techniques for traversal operation on an object structure: a comparison
Techniques for traversal operation on an object structure: a comparison
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Techniques for traversal operation on an object structure: a comparison

Mihelic, Jurij ; Rozanc, Igor

Central European Conference on Information and Intelligent Systems, 2015, p.213-213

Varazdin: Faculty of Organization and Informatics Varazdin

Texto completo disponível

Citações Citado por
8
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment

Doligez, Damien ; Jaume, Mathieu ; Rioboo, Renaud

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security, 2012, p.1-12

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Duality in Logic and Computation
Duality in Logic and Computation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Duality in Logic and Computation

Panangaden, Prakash

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.4-11

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
10
The semantics of power and ARM multiprocessor machine code
The semantics of power and ARM multiprocessor machine code
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The semantics of power and ARM multiprocessor machine code

Alglave, Jade ; Fox, Anthony ; Ishtiaq, Samin ; Myreen, Magnus O. ; Sarkar, Susmit ; Sewell, Peter ; Nardelli, Francesco Zappa

Proceedings of the 4th workshop on Declarative aspects of multicore programming, 2009, p.13-24

New York, NY, USA: ACM

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

Data de Publicação 

De até
Refinar
  1. Antes de1999  (61)
  2. 1999Até2003  (96)
  3. 2004Até2008  (228)
  4. 2009Até2014  (249)
  5. Após 2014  (49)
  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.