skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concurrent Separation Logic Meets Template Games
Concurrent Separation Logic Meets Template Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Concurrent Separation Logic Meets Template Games

Melliès, Paul-André ; Stefanesco, Léo

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.742-755

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Identifying patch correctness in test-based program repair
Identifying patch correctness in test-based program repair
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Identifying patch correctness in test-based program repair

Xiong, Yingfei ; Liu, Xinyuan ; Zeng, Muhan ; Zhang, Lu ; Huang, Gang

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.789-799

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Towards practical program repair with on-demand candidate generation
Towards practical program repair with on-demand candidate generation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards practical program repair with on-demand candidate generation

Hua, Jinru ; Zhang, Mengshi ; Wang, Kaiyuan ; Khurshid, Sarfraz

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.12-23

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
PyCG: Practical Call Graph Generation in Python
PyCG: Practical Call Graph Generation in Python
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

PyCG: Practical Call Graph Generation in Python

Salis, Vitalis ; Sotiropoulos, Thodoris ; Louridas, Panos ; Spinellis, Diomidis ; Mitropoulos, Dimitris

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1646-1657

IEEE

Texto completo disponível

Citações Citado por
5
One-Path Reachability Logic
One-Path Reachability Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

One-Path Reachability Logic

Rosu, Grigore ; Stefanescu, Andrei ; Ciobâca, Stefan ; Moore, Brandon M.

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

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
6
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques

Kucuk, Yigit ; Henderson, Tim A. D. ; Podgurski, Andy

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.649-660

IEEE

Texto completo disponível

Citações Citado por
7
Local temporal reasoning
Local temporal reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Local temporal reasoning

Koskinen, Eric ; Terauchi, Tachio

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
A Cellular Howe Theorem
A Cellular Howe Theorem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Cellular Howe Theorem

Borthelle, Peio ; Hirschowitz, Tom ; Lafont, Ambroise

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.273-286

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Lindenhovius, Bert ; Mislove, Michael ; Zamdzhiev, Vladimir

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.659-668

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Scalable Quantitative Verification for Deep Neural Networks
Scalable Quantitative Verification for Deep Neural Networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scalable Quantitative Verification for Deep Neural Networks

Baluta, Teodora ; Chua, Zheng Leong ; Meel, Kuldeep S. ; Saxena, Prateek

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.312-323

IEEE

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (7.415)
  2. Artigos  (376)
  3. magazinearticle  (35)
  4. Livros  (11)
  5. Book Chapters  (9)
  6. Reports  (4)
  7. Conjunto de Dados  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (27)
  2. 1977Até1988  (394)
  3. 1989Até2000  (1.603)
  4. 2001Até2013  (4.264)
  5. Após 2013  (1.643)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7.850)
  2. Japonês  (254)
  3. Português  (2)
  4. Francês  (1)
  5. Alemão  (1)
  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.