Resultados de 1 a 10 de 6.888 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Sigplan Notices
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android appsArzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, PatrickSIGPLAN notices, 2014-06, Vol.49 (6), p.259-269Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Ligra: a lightweight graph processing framework for shared memoryShun, Julian ; Blelloch, Guy E.SIGPLAN notices, 2013-08, Vol.48 (8), p.135-146Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
Quipper: a scalable quantum programming languageGreen, Alexander S. ; Lumsdaine, Peter LeFanu ; Ross, Neil J. ; Selinger, Peter ; Valiron, BenoîtSIGPLAN notices, 2013-06, Vol.48 (6), p.333-342Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelinesRagan-Kelley, Jonathan ; Barnes, Connelly ; Adams, Andrew ; Paris, Sylvain ; Durand, Frédo ; Amarasinghe, SamanSIGPLAN notices, 2013-06, Vol.48 (6), p.519-530Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
Paragon: QoS-aware scheduling for heterogeneous datacentersDelimitrou, Christina ; Kozyrakis, ChristosSIGPLAN notices, 2013-04, Vol.48 (4), p.77-88Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
Guided GUI testing of android apps with minimal restart and approximate learningChoi, Wontae ; Necula, George ; Sen, KoushikSIGPLAN notices, 2013-11, Vol.48 (10), p.623-640New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Targeted and depth-first exploration for systematic testing of android appsAzim, Tanzirul ; Neamtiu, IulianSIGPLAN notices, 2013-11, Vol.48 (10), p.641-660New York, NY, USA: ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Automatic patch generation by learning correct codeLong, Fan ; Rinard, MartinSIGPLAN notices, 2016-04, Vol.51 (1), p.298-312ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Predicting Program Properties from "Big Code"Raychev, Veselin ; Vechev, Martin ; Krause, AndreasSIGPLAN notices, 2015-05, Vol.50 (1), p.111-124New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Synthesizing data structure transformations from input-output examplesFeser, John K. ; Chaudhuri, Swarat ; Dillig, IsilSIGPLAN notices, 2015-08, Vol.50 (6), p.229-239Texto completo disponível |
Resultados de 1 a 10 de 6.888 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science (6.876)
- Computer Science, Software Engineering (6.874)
- Science & Technology (6.874)
- Technology (6.874)
- Software (1.315)
- Exact Sciences And Technology (1.136)
- Applied Sciences (1.133)
- Computer Science; Control Theory; Systems (1.129)
- Programming Languages (659)
- Computer Systems And Distributed Systems. User Interface (346)
- Software Engineering (302)
- Computer Graphics And Computer-Aided Design (301)
- Memory Organisation. Data Processing (185)
- Computer Systems Performance. Reliability (162)
- Memory And File Management (151)
- Theoretical Computing (150)
- Java (136)
- Language Processing And Microprogramming (134)
- Software And Its Engineering (130)
- Concurrency (115)
-
Mais opções
Data de Publicação
- Antes de1989 (809)
- 1989Até1995 (1.230)
- 1996Até2002 (1.264)
- 2003Até2010 (1.811)
- Após 2010 (1.775)
-
Mais opções
Base de Dados/Biblioteca
Nome da Publicação
- Acm Sigplan Notices (1.988)
- Proceedings Of The Conference On Object-Oriented Programming Systems, Languages, And Applications, Oopsla (63)
- Proceedings Of The Acm Sigplan Conference On Programming Language Design And Implementation (44)
- International Conference On Architectural Support For Programming Languages And Operating Systems - Asplos (40)
- Acm Sigplan 2007 Conference On Programming Language Design And Implementation; San Diego, Ca; Usa; 10-13 June 2007 (22)
- Proceedings Of The 2007 Oopsla Conference; Montreal; Canada; 21-25 Oct. 2007 (21)
- Sigplan 94: 7th Conference On Programming Language, Design And Implementation (21)
- Icfp 98: Icfp: International Conference On Functional Programming And Its Extension (20)
- Symposium On Principles Of Programming Languages; Nice; France; 17-19 Jan. 2007 (20)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 