skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Gale Academic OneFile Select remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”
Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”

Myers, Andrew

ACM transactions on programming languages and systems, 2018-08, Vol.40 (3), p.1-1, Article 11e [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8
Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8
Material Type:
Artigo 		Adicionar ao Meu Espaço

Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8

ACM transactions on programming languages and systems, 2018-12, Vol.40 (4), p.1-1, Article 18 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Automatic Storage Optimization for Arrays
Automatic Storage Optimization for Arrays
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Storage Optimization for Arrays

Bhaskaracharya, Somashekaracharya G. ; Bondhugula, Uday ; Cohen, Albert

ACM transactions on programming languages and systems, 2016-05, Vol.38 (3), p.1-23, Article 11 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16
Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16
Material Type:
Artigo 		Adicionar ao Meu Espaço

Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16

toro

ACM transactions on programming languages and systems, 2020-06, Vol.42 (2), p.1-2, Article 11 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Automatic Software Repair: A Bibliography
Automatic Software Repair: A Bibliography
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Software Repair: A Bibliography

Monperrus, Martin

ACM computing surveys, 2019-01, Vol.51 (1), p.1-24 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Bayesian Hypothesis Testing Illustrated: An Introduction for Software Engineering Researchers
Bayesian Hypothesis Testing Illustrated: An Introduction for Software Engineering Researchers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bayesian Hypothesis Testing Illustrated: An Introduction for Software Engineering Researchers

Erdogmus, Hakan

ACM computing surveys, 2023-06, Vol.55 (6), p.1-28, Article 119 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
7
A Survey of Machine Learning for Big Code and Naturalness
A Survey of Machine Learning for Big Code and Naturalness
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Machine Learning for Big Code and Naturalness

Allamanis, Miltiadis ; Barr, Earl T. ; Devanbu, Premkumar ; Sutton, Charles

ACM computing surveys, 2019-09, Vol.51 (4), p.1-37 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
CASE Tool Support for Variability Management in Software Product Lines
CASE Tool Support for Variability Management in Software Product Lines
Material Type:
Artigo 		Adicionar ao Meu Espaço

CASE Tool Support for Variability Management in Software Product Lines

Bashroush, Rabih ; Garba, Muhammad ; Rabiser, Rick ; Groher, Iris ; Botterweck, Goetz

ACM computing surveys, 2018-01, Vol.50 (1), p.1-45 [Periódico revisado por pares]

Baltimore: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Formal Methods in Railways: A Systematic Mapping Study
Formal Methods in Railways: A Systematic Mapping Study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Methods in Railways: A Systematic Mapping Study

Ferrari, Alessio ; Beek, Maurice H. Ter

ACM computing surveys, 2022-11, Vol.55 (4), p.1-37, Article 69 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
10
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests

Bondhugula, Uday ; Acharya, Aravind ; Cohen, Albert

ACM transactions on programming languages and systems, 2016-05, Vol.38 (3), p.1-32, Article 12 [Periódico revisado por pares]

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (67.173)
  2. magazinearticle  (27.537)
  3. Newsletter Articles  (4.151)
  4. Resenhas  (233)
  5. Artigos de Jornal  (124)
  6. Anais de Congresso  (66)
  7. Reports  (22)
  8. Livros  (15)
  9. Recursos Textuais  (3)
  10. Book Chapters  (3)
  11. Verbetes  (2)
  12. Web Resources  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1967  (1.573)
  2. 1967Até1980  (2.305)
  3. 1981Até1994  (9.528)
  4. 1995Até2009  (25.640)
  5. Após 2009  (60.304)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (99.203)
  2. Japonês  (4.758)
  3. Português  (413)
  4. Espanhol  (171)
  5. Alemão  (26)
  6. Norueguês  (24)
  7. Serbian  (7)
  8. Croatian  (7)
  9. Coreano  (6)
  10. Ucraniano  (6)
  11. Russo  (5)
  12. Francês  (3)
  13. Chinês  (3)
  14. Africâner  (3)
  15. Italiano  (2)
  16. Eslovaco  (1)
  17. Tcheco  (1)
  18. Árabe  (1)
  19. Turco  (1)
  20. Persa  (1)
  21. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.