skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Acm Sigplan Notices remover assunto: Software Engineering remover Computer Science; Control Theory; Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The spoofax language workbench: rules for declarative specification of languages and IDEs
The spoofax language workbench: rules for declarative specification of languages and IDEs
Material Type:
Artigo 		Adicionar ao Meu Espaço

The spoofax language workbench: rules for declarative specification of languages and IDEs

Kats, Lennart C.L. ; Visser, Eelco

SIGPLAN notices, 2010-10, Vol.45 (10), p.444-463

Texto completo disponível

Citações Citado por
2
Accelerating CUDA graph algorithms at maximum warp
Accelerating CUDA graph algorithms at maximum warp
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accelerating CUDA graph algorithms at maximum warp

Hong, Sungpack ; Kim, Sang Kyun ; Oguntebi, Tayo ; Olukotun, Kunle

SIGPLAN notices, 2011-08, Vol.46 (8), p.267-276

Texto completo disponível

Citações Citado por
3
Automating string processing in spreadsheets using input-output examples
Automating string processing in spreadsheets using input-output examples
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automating string processing in spreadsheets using input-output examples

Gulwani, Sumit

SIGPLAN notices, 2011-01, Vol.46 (1), p.317-330

Texto completo disponível

Citações Citado por
4
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs

Rompf, Tiark ; Odersky, Martin

SIGPLAN notices, 2011-02, Vol.46 (2), p.127-136

Texto completo disponível

Citações Citado por
5
Grammar-based whitebox fuzzing
Grammar-based whitebox fuzzing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Grammar-based whitebox fuzzing

Godefroid, Patrice ; Kiezun, Adam ; Levin, Michael Y.

SIGPLAN notices, 2008-06, Vol.43 (6), p.206-215

Texto completo disponível

Citações Citado por
6
A graph-based approach to API usage adaptation
A graph-based approach to API usage adaptation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A graph-based approach to API usage adaptation

Nguyen, Hoan Anh ; Nguyen, Tung Thanh ; Wilson, Gary ; Nguyen, Anh Tuan ; Kim, Miryung ; Nguyen, Tien N.

SIGPLAN notices, 2010-10, Vol.45 (10), p.302-321

Texto completo disponível

Citações Citado por
7
Variability-aware parsing in the presence of lexical macros and conditional compilation
Variability-aware parsing in the presence of lexical macros and conditional compilation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Variability-aware parsing in the presence of lexical macros and conditional compilation

Kästner, Christian ; Giarrusso, Paolo G. ; Rendel, Tillmann ; Erdweg, Sebastian ; Ostermann, Klaus ; Berger, Thorsten

SIGPLAN notices, 2011-10, Vol.46 (10), p.805-824

Texto completo disponível

Citações Citado por
8
Iterative context bounding for systematic testing of multithreaded programs
Iterative context bounding for systematic testing of multithreaded programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Iterative context bounding for systematic testing of multithreaded programs

Musuvathi, Madanlal ; Qadeer, Shaz

ACM SIGPLAN Notices, 2007-06, Vol.42 (6), p.446-455

Texto completo disponível

Citações Citado por
9
Copperhead: compiling an embedded data parallel language
Copperhead: compiling an embedded data parallel language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Copperhead: compiling an embedded data parallel language

Catanzaro, Bryan ; Garland, Michael ; Keutzer, Kurt

SIGPLAN notices, 2011-08, Vol.46 (8), p.47-56

Texto completo disponível

Citações Citado por
10
Types and higher-order recursion schemes for verification of higher-order programs
Types and higher-order recursion schemes for verification of higher-order programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Types and higher-order recursion schemes for verification of higher-order programs

Kobayashi, Naoki

SIGPLAN notices, 2009-01, Vol.44 (1), p.416-428

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.   

Data de Publicação 

De até
Refinar
  1. Antes de1997  (2)
  2. 1997Até1998  (2)
  3. 1999Até2006  (2)
  4. 2007Até2009  (82)
  5. Após 2009  (126)
  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.